UniqueLogic.ST.System

Preparation

data Variable s a

globalVariable :: ST s (Variable s a)

Posing statements

data M s a

Instances

Monad (M s)

Functor (M s)

Applicative (M s)

localVariable :: M s (Variable s a)

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

assignment2 :: String -> (a -> b) -> Variable s a -> Variable s b -> M s ()

assignment3 :: String -> (a -> b -> c) -> Variable s a -> Variable s b -> Variable s c -> M s ()

data Apply s a

Instances

Functor (Apply s)

Applicative (Apply s)

arg :: Variable s a -> Apply s a

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

runApply :: String -> Apply s a -> Variable s a -> M s ()

Solution

solve :: M s a -> ST s a

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