UniqueLogic.ST.TF.System

Preparation

data Variable w s a

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

Handle duplicates

class C w => C w

Minimal complete definition

update

Instances

C Track

Defined in UniqueLogic.ST.TF.Example.Verify

Methods

update :: (Value Track a, C s) => Updater Track s a

Monoid w => C (WriterT w)

Defined in UniqueLogic.ST.TF.System

Methods

update :: (Value (WriterT w) a, C s) => Updater (WriterT w) s a

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

Defined in UniqueLogic.ST.TF.System

Methods

update :: (Value IdentityT a, C s) => Updater IdentityT s a

Inconsistency e => C (ExceptT e)

Defined in UniqueLogic.ST.TF.System

Methods

update :: (Value (ExceptT e) a, C s) => Updater (ExceptT e) s a

update :: (C w, Value w a, C s) => Updater w s a

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

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

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

class C t => Fragile t where

Methods

break :: Monad m => Wrap t m a

Instances

Inconsistency e => Fragile (ExceptT e)

Defined in UniqueLogic.ST.TF.System

Methods

break :: Monad m => Wrap (ExceptT e) m a

class C w => Value w a

Minimal complete definition

valueConstraint

Instances

ToTrackedNumber tn => Value Track tn

Defined in UniqueLogic.ST.TF.Example.Verify

Associated Types

data ValueConstraint Track tn :: Type

Methods

valueConstraint :: T s (Updates Track s) -> T s (Maybe tn) -> ValueConstraint Track tn

Monoid w => Value (WriterT w) a

Defined in UniqueLogic.ST.TF.System

Associated Types

data ValueConstraint (WriterT w) a :: Type

Methods

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

Value (IdentityT :: (Type -> Type) -> Type -> Type) a

Defined in UniqueLogic.ST.TF.System

Associated Types

data ValueConstraint IdentityT a :: Type

Methods

valueConstraint :: T s (Updates IdentityT s) -> T s (Maybe a) -> ValueConstraint IdentityT a

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

Defined in UniqueLogic.ST.TF.System

Associated Types

data ValueConstraint (ExceptT e) a :: Type

Methods

valueConstraint :: T s (Updates (ExceptT e) s) -> T s (Maybe a) -> ValueConstraint (ExceptT e) a

data family ValueConstraint w a :: *

Instances

data ValueConstraint Track tn

Defined in UniqueLogic.ST.TF.Example.Verify

data ValueConstraint Track tn where

• VerifyConstraint :: forall tn. ToTrackedNumber tn => ValueConstraint Track tn

data ValueConstraint (WriterT w) a

Defined in UniqueLogic.ST.TF.System

data ValueConstraint (WriterT w) a = WriterConstraint

data ValueConstraint (IdentityT :: (Type -> Type) -> Type -> Type) a

Defined in UniqueLogic.ST.TF.System

data ValueConstraint (IdentityT :: (Type -> Type) -> Type -> Type) a = IdentityConstraint

data ValueConstraint (ExceptT e) a

Defined in UniqueLogic.ST.TF.System

data ValueConstraint (ExceptT e) a where

• ExceptionConstraint :: forall e a. Eq a => ValueConstraint (ExceptT e) a

valueConstraint :: Value w a => T s (Updates w s) -> T s (Maybe a) -> ValueConstraint w a

Posing statements

data T w s a

Instances

C s => Monad (T w s)

Defined in UniqueLogic.ST.TF.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

fail :: String -> T w s a

C s => Functor (T w s)

Defined in UniqueLogic.ST.TF.System

Methods

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

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

C s => Applicative (T w s)

Defined in UniqueLogic.ST.TF.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

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

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

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

assignment2 f a b = runApply (f <$> arg a) b

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

assignment3 f a b c = runApply (liftA2 f (arg a) (arg b)) c

data Apply w s a

Instances

C s => Functor (Apply w s)

Defined in UniqueLogic.ST.TF.System

Methods

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

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

C s => Applicative (Apply w s)

Defined in UniqueLogic.ST.TF.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

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

runApplyMaybe :: (C w, C s) => Apply w s (Maybe a) -> Variable w s a -> T w s ()

runApplyM :: (C w, C s) => Apply w s (s a) -> Variable w s a -> T w s ()

Solution

solve :: (C w, C s) => T w s a -> w s a

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

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

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