libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.

CSPM.Evaluator.Monad

Documentation

newtype LazyEvalMonad s a Source

Constructors

LazyEvalMonad 

Fields

unLazyEvalMonad :: s -> a
 

Instances

gets :: (s -> a) -> LazyEvalMonad s aSource

modify :: (s -> s) -> LazyEvalMonad s a -> LazyEvalMonad s aSource