UniqueLogic.ST.Example.Verify

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

Documentation

data Assign

Constructors

Assign Name T

Instances

Show Assign

Defined in UniqueLogic.ST.Example.Verify

Methods

showsPrec :: Int -> Assign -> ShowS

show :: Assign -> String

showList :: [Assign] -> ShowS

type Assigns = [Assign]

data TrackedNumber a

Constructors

TrackedNumber T a

Instances

Num a => Num (TrackedNumber a)

Defined in UniqueLogic.ST.Example.Verify

Methods

(+) :: TrackedNumber a -> TrackedNumber a -> TrackedNumber a

(-) :: TrackedNumber a -> TrackedNumber a -> TrackedNumber a

(*) :: TrackedNumber a -> TrackedNumber a -> TrackedNumber a

negate :: TrackedNumber a -> TrackedNumber a

abs :: TrackedNumber a -> TrackedNumber a

signum :: TrackedNumber a -> TrackedNumber a

fromInteger :: Integer -> TrackedNumber a

Fractional a => Fractional (TrackedNumber a)

Defined in UniqueLogic.ST.Example.Verify

Methods

(/) :: TrackedNumber a -> TrackedNumber a -> TrackedNumber a

recip :: TrackedNumber a -> TrackedNumber a

fromRational :: Rational -> TrackedNumber a

Show a => Show (TrackedNumber a)

Defined in UniqueLogic.ST.Example.Verify

Methods

showsPrec :: Int -> TrackedNumber a -> ShowS

show :: TrackedNumber a -> String

showList :: [TrackedNumber a] -> ShowS

Eq a => C (TrackedNumber a)

Defined in UniqueLogic.ST.Example.Verify

Methods

accept :: TrackedNumber a -> TrackedNumber a -> Bool

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

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

newtype Track m a

Constructors

Track

Fields

• runTrack :: ExceptionalT Exception (WriterT Assigns m) a

Instances

MonadTrans Track

Defined in UniqueLogic.ST.Example.Verify

Methods

lift :: Monad m => m a -> Track m a

C Track

Defined in UniqueLogic.ST.Example.Verify

Methods

point :: forall (m :: Type -> Type) a. Monad m => a -> Track m a

bind :: forall (m :: Type -> Type) a b. Monad m => Track m a -> (a -> Track m b) -> Track m b

C Track

Defined in UniqueLogic.ST.Example.Verify

Methods

doUpdate :: C a => Updater Track s a

Monad m => Applicative (Track m)

Defined in UniqueLogic.ST.Example.Verify

Methods

pure :: a -> Track m a

(<*>) :: Track m (a -> b) -> Track m a -> Track m b

liftA2 :: (a -> b -> c) -> Track m a -> Track m b -> Track m c

(*>) :: Track m a -> Track m b -> Track m b

(<*) :: Track m a -> Track m b -> Track m a

Monad m => Functor (Track m)

Defined in UniqueLogic.ST.Example.Verify

Methods

fmap :: (a -> b) -> Track m a -> Track m b

(<$) :: a -> Track m b -> Track m a

Monad m => Monad (Track m)

Defined in UniqueLogic.ST.Example.Verify

Methods

(>>=) :: Track m a -> (a -> Track m b) -> Track m b

(>>) :: Track m a -> Track m b -> Track m b

return :: a -> Track m a

data Exception

Constructors

Exception Name (TrackedNumber Rational) (TrackedNumber Rational)

AnonymousException

Instances

Show Exception

Defined in UniqueLogic.ST.Example.Verify

Methods

showsPrec :: Int -> Exception -> ShowS

show :: Exception -> String

showList :: [Exception] -> ShowS

type Variable s = Variable Track s (TrackedNumber Rational)

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

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

update :: Name -> MaybeT (ST s) (TrackedNumber a) -> MaybeT (Wrap Track (ST s)) (TrackedNumber a)

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