1 files changed, 14 insertions, 3 deletions

diff --git a/src/Types.hs b/src/Types.hs
index 10cea7a..a90e5fe 100644
--- a/src/Types.hs
+++ b/src/Types.hs
@@ -8,6 +8,7 @@ module Types
        , Alteration(..)
        , Sequence
        , History
+       , Context(..)
        , SequenceM
        ) where
 
@@ -15,6 +16,7 @@ import Data.PQueue.Prio.Max (MaxPQueue)
 import qualified Data.PQueue.Prio.Max as MaxPQueue (empty)
 
 import Data.Sequence (Seq)
+import qualified Data.Sequence as Seq (empty)
 
 import Data.Text (Text)
 
@@ -46,12 +48,21 @@ type Sequence = MaxPQueue SequenceValue Entity
 
 type History = Seq (Alteration, Comment)
 
-type SequenceM m = (MonadWriter History m, MonadState Sequence m, MonadIO m)
+data Context = Context
+               { ctxSequence :: Sequence
+               , ctxHistory  :: History
+               }
+             deriving (Show)
+
+type SequenceM m = (MonadState Context m, MonadIO m)
 
 instance MonadState s m => MonadState s (InputT m) where
   get = lift get
   put = lift . put
   state = lift . state
 
-instance Default (MaxPQueue k v) where
-  def = MaxPQueue.empty
+instance Default Context where
+  def = Context
+        { ctxSequence = MaxPQueue.empty
+        , ctxHistory  = Seq.empty
+        }