UniqueLogic.ST.SystemLog

Preparation

data Variable w s a

Instances

Var Variable

globalVariable :: ST s (Variable w s a)

Posing statements

data T w s a

Instances

Monad (T w s)

Functor (T w s)

Applicative (T w s)

localVariable :: T w s (Variable w s a)

constant :: a -> T w s (Variable w s a)

assignment2 :: Monoid w => (a -> Writer w b) -> Variable w s a -> Variable w s b -> T w s ()

assignment3 :: Monoid w => (a -> b -> Writer w c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()

data Apply w s a

Instances

Monoid w => Functor (Apply w s)

Monoid w => Applicative (Apply w s)

arg :: Monoid w => Variable w s a -> Apply w s a

This function allows to generalize assignment2 and assignment3 to more arguments. You could achieve the same with nested applications of assignment3 (,).

runApply :: Monoid w => Apply w s (Writer w a) -> Variable w s a -> T w s ()

Solution

solve :: Monoid w => T w s a -> WriterT w (ST s) a

query :: Variable w s a -> ST s (Maybe a)