src/Utils.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

{-# LANGUAGE ViewPatterns, OverloadedStrings, FlexibleContexts #-}

module Utils
       ( showEntity
       , apply, apply'
       , entities
       ) where

import Data.Text (Text)
import qualified Data.Text as Text

import Data.PQueue.Prio.Max (MaxPQueue)
import qualified Data.PQueue.Prio.Max as MaxPQueue

import Data.Monoid (Monoid(..), (<>))

import Control.Monad.State.Class
import Control.Monad.Writer.Class

import Data.Set (Set)
import qualified Data.Set as Set

import Types

showEntity :: Entity -> Text
showEntity (Entity name number)
  | (Just (show -> n)) <- number = name <> " № " <> Text.pack n
  | otherwise = name

apply' :: (MonadState Sequence m, MonadWriter History m) => Alteration -> m ()
apply' alteration = do
  (newSt, hist) <- apply alteration <$> get
  tell hist
  put newSt

apply :: Alteration -> Sequence -> (Sequence, History)
apply alteration seq = undefined

entities :: MonadState Sequence m => m (Set Entity)
entities = Set.fromList . MaxPQueue.elems <$> get