UniqueLogic.ST.TF.System

Preparation

data Variable w s a

globalVariable :: (C w, Value w a) => SimpleUpdater w s a -> ST s (Variable w s a)

Handle duplicates

class C w => C w where

Methods

update :: Value w a => Updater w s a

Instances

C IdentityT

C Track

Inconsistency e => C (ExceptionalT e)

Monoid w => C (WriterT w)

simpleUpdate :: (C w, Value w a) => SimpleUpdater w s a

updateIfNew :: C w => Updater w s a

updateAndCheck :: C w => (a -> a -> Wrap w (ST s) ()) -> Updater w s a

class C t => Fragile t where

Methods

break :: Monad m => Wrap t m a

Instances

Inconsistency e => Fragile (ExceptionalT e)

class C w => Value w a where

Associated Types

data ValueConstraint w a :: *

Methods

valueConstraint :: STRef s (Updates w s) -> STRef s (Maybe a) -> ValueConstraint w a

Instances

Value IdentityT a

ToTrackedNumber tn => Value Track tn

(Inconsistency e, Eq a) => Value (ExceptionalT e) a

Monoid w => Value (WriterT w) a

Posing statements

data T w s a

Instances

Monad (T w s)

Functor (T w s)

Applicative (T w s)

localVariable :: (C w, Value w a) => T w s (Variable w s a)

constant :: (C w, Value w a) => a -> T w s (Variable w 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 :: C w => T w s a -> w (ST s) a

solveDepthFirst :: C w => T w s a -> w (ST s) a

solveBreadthFirst :: C w => T w s a -> w (ST s) a

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