UniqueLogic.ST.System

Preparation

data Variable w s a

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

Handle duplicates

class C w => C w

Minimal complete definition

doUpdate

Instances

C Track

Defined in UniqueLogic.ST.Example.Verify

Methods

doUpdate :: C a => Updater Track s a

Inconsistency e => C (ExceptionalT e)

Defined in UniqueLogic.ST.System

Methods

doUpdate :: C a => Updater (ExceptionalT e) s a

C (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in UniqueLogic.ST.System

Methods

doUpdate :: C a => Updater IdentityT s a

Monoid w => C (WriterT w)

Defined in UniqueLogic.ST.System

Methods

doUpdate :: C a => Updater (WriterT w) s a

doUpdate :: (C w, C a) => Updater w s a

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

updateIfNew :: (C w, C a) => Updater w s a

updateAndCheck :: (C w, C a) => (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)

Defined in UniqueLogic.ST.System

Methods

break :: forall (m :: Type -> Type) a. Monad m => Wrap (ExceptionalT e) m a

Posing statements

data T w s a

Instances

Applicative (T w s)

Defined in UniqueLogic.ST.System

Methods

pure :: a -> T w s a

(<*>) :: T w s (a -> b) -> T w s a -> T w s b

liftA2 :: (a -> b -> c) -> T w s a -> T w s b -> T w s c

(*>) :: T w s a -> T w s b -> T w s b

(<*) :: T w s a -> T w s b -> T w s a

Functor (T w s)

Defined in UniqueLogic.ST.System

Methods

fmap :: (a -> b) -> T w s a -> T w s b

(<$) :: a -> T w s b -> T w s a

Monad (T w s)

Defined in UniqueLogic.ST.System

Methods

(>>=) :: T w s a -> (a -> T w s b) -> T w s b

(>>) :: T w s a -> T w s b -> T w s b

return :: a -> T w s a

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

constant :: (C w, C 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

Applicative (Apply w s)

Defined in UniqueLogic.ST.System

Methods

pure :: a -> Apply w s a

(<*>) :: Apply w s (a -> b) -> Apply w s a -> Apply w s b

liftA2 :: (a -> b -> c) -> Apply w s a -> Apply w s b -> Apply w s c

(*>) :: Apply w s a -> Apply w s b -> Apply w s b

(<*) :: Apply w s a -> Apply w s b -> Apply w s a

Functor (Apply w s)

Defined in UniqueLogic.ST.System

Methods

fmap :: (a -> b) -> Apply w s a -> Apply w s b

(<$) :: a -> Apply w s b -> Apply w s a

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

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

queryForbid :: Variable w s (Forbid a) -> ST s (Maybe a)

queryIgnore :: Variable w s (Ignore a) -> ST s (Maybe a)

queryVerify :: Variable w s (Verify a) -> ST s (Maybe a)