UniqueLogic.ST.TF.Example.Verify

Warning: This module is intended for documentation purposes. Do not import it!

Documentation

data Assign

Constructors

Assign Name (TrackedNumber Rational)

Instances

Show Assign

type Assigns = [Assign]

data TrackedNumber a

Constructors

TrackedNumber T a

Instances

Functor TrackedNumber

Fractional a => Fractional (TrackedNumber a)

Num a => Num (TrackedNumber a)

Show a => Show (TrackedNumber a)

Real a => ToTrackedNumber (TrackedNumber a)

tn1 :: (T -> T) -> (a -> b) -> TrackedNumber a -> TrackedNumber b

tn2 :: (T -> T -> T) -> (a -> b -> c) -> TrackedNumber a -> TrackedNumber b -> TrackedNumber c

class ToTrackedNumber a where

Methods

toTrackedNumber :: a -> TrackedNumber Rational

Instances

Real a => ToTrackedNumber (TrackedNumber a)

newtype Track m a

Constructors

Track

Fields

runTrack :: ExceptionalT Exception (WriterT Assigns m) a

Instances

MonadTrans Track

C Track

C Track

ToTrackedNumber tn => Value Track tn

Monad m => Monad (Track m)

Monad m => Functor (Track m)

Monad m => Applicative (Track m)

data Exception

Constructors

Exception (Maybe Name) (TrackedNumber Rational) (TrackedNumber Rational)

Instances

Show Exception

type Variable s = Variable Track s (TrackedNumber Rational)

globalVariable :: Name -> ST s (Variable s)

match :: Eq a => TrackedNumber a -> TrackedNumber a -> Bool

inconsistency :: Monad m => Maybe Name -> TrackedNumber Rational -> TrackedNumber Rational -> Wrap Track m ()

logUpdate :: Real a => Name -> MaybeT (ST s) (TrackedNumber a) -> MaybeT (Wrap Track (ST s)) (TrackedNumber a)

example :: (Exceptional Exception (Maybe (TrackedNumber Rational), Maybe (TrackedNumber Rational)), Assigns)