UniqueLogic.ST.TF.System.Simple

Preparation

type Variable s a = Variable IdentityT s a

globalVariable :: ST s (Variable s a)

Posing statements

type T = T IdentityT

localVariable :: T s (Variable s a)

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

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

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

data Apply w s a

Instances

Functor (Apply w s)

Applicative (Apply w s)

arg :: 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 :: C w => Apply w s a -> Variable w s a -> T w s ()

Solution

solve :: T s a -> ST s a

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