UniqueLogic.ST.SystemLabel

Preparation

data Variable w s a

Instances

Var Variable

globalVariable :: (a -> Writer w a) -> 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 :: (Var var, Monoid w) => T w s (var w s a)

constant :: (Var var, Monoid w) => a -> T w s (var w s a)

assignment2 :: (Var var, Monoid w) => (a -> b) -> var w s a -> var w s b -> T w s ()

assignment3 :: (Var var, Monoid w) => (a -> b -> c) -> var w s a -> var w s b -> var 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 :: (Var var, Monoid w) => var w s a -> Apply w s a

runApply :: (Var var, Monoid w) => Apply w s a -> var w s a -> T w s ()

Solution

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

query :: (Var var, Monoid w) => var w s a -> ST s (Maybe a)