Safe Haskell	Safe
Language	Haskell98

UniqueLogic.ST.TF.System.Simple

Contents

Preparation
Posing statements
Solution

Synopsis

type Variable s a = Variable IdentityT s a
globalVariable :: C s => s (Variable s a)
type T = T IdentityT
localVariable :: C s => T s (Variable s a)
constant :: C s => a -> T s (Variable s a)
assignment2 :: (C w, C s) => (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
assignment3 :: (C w, C s) => (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
data Apply w s a
arg :: Variable w s a -> Apply w s a
runApply :: (C w, C s) => Apply w s a -> Variable w s a -> T w s ()
solve :: C s => T s a -> s a
query :: C s => Variable s a -> s (Maybe a)

Preparation

type Variable s a = Variable IdentityT s a Source #

globalVariable :: C s => s (Variable s a) Source #

Posing statements

type T = T IdentityT Source #

localVariable :: C s => T s (Variable s a) Source #

constant :: C s => a -> T s (Variable s a) Source #

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

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

data Apply w s a Source #

Instances

C s => Functor (Apply w s) Source #
Instance details 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) Source #
Instance details 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 Source #

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 () Source #

Solution

solve :: C s => T s a -> s a Source #

query :: C s => Variable s a -> s (Maybe a) Source #