Safe Haskell	Safe
Language	Haskell98

UniqueLogic.ST.TF.Example.Verify

Description

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

Documentation

data Assign Source #

Constructors

Assign Name (TrackedNumber Rational)

Instances

Show Assign Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods showsPrec :: Int -> Assign -> ShowS # show :: Assign -> String # showList :: [Assign] -> ShowS #

type Assigns = [Assign] Source #

data TrackedNumber a Source #

Constructors

TrackedNumber T a

Instances

Functor TrackedNumber Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods fmap :: (a -> b) -> TrackedNumber a -> TrackedNumber b # (<$) :: a -> TrackedNumber b -> TrackedNumber a #
Fractional a => Fractional (TrackedNumber a) Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods (/) :: TrackedNumber a -> TrackedNumber a -> TrackedNumber a # recip :: TrackedNumber a -> TrackedNumber a # fromRational :: Rational -> TrackedNumber a #
Num a => Num (TrackedNumber a) Source #
Instance details Defined in UniqueLogic.ST.TF.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 #
Show a => Show (TrackedNumber a) Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods showsPrec :: Int -> TrackedNumber a -> ShowS # show :: TrackedNumber a -> String # showList :: [TrackedNumber a] -> ShowS #
C a => C (TrackedNumber a) Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods multiply :: TrackedNumber a -> Maybe (TrackedNumber a) Source # divide :: TrackedNumber a -> TrackedNumber a -> Maybe (TrackedNumber a) Source #
Real a => ToTrackedNumber (TrackedNumber a) Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods toTrackedNumber :: TrackedNumber a -> TrackedNumber Rational Source #

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

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

class ToTrackedNumber a where Source #

Methods

toTrackedNumber :: a -> TrackedNumber Rational Source #

Instances

Real a => ToTrackedNumber (TrackedNumber a) Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods toTrackedNumber :: TrackedNumber a -> TrackedNumber Rational Source #

newtype Track m a Source #

Constructors

Track
Fields runTrack :: ExceptT Exception (WriterT Assigns m) a

Instances

MonadTrans Track Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods lift :: Monad m => m a -> Track m a #
C Track Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods point :: Monad m => a -> Track m a Source # bind :: Monad m => Track m a -> (a -> Track m b) -> Track m b Source #
C Track Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods update :: (Value Track a, C s) => Updater Track s a Source #
ToTrackedNumber tn => Value Track tn Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Associated Types data ValueConstraint Track tn :: Type Source # Methods valueConstraint :: T s (Updates Track s) -> T s (Maybe tn) -> ValueConstraint Track tn Source #
Monad m => Monad (Track m) Source #
Instance details Defined in UniqueLogic.ST.TF.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 # fail :: String -> Track m a #
Monad m => Functor (Track m) Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods fmap :: (a -> b) -> Track m a -> Track m b # (<$) :: a -> Track m b -> Track m a #
Monad m => Applicative (Track m) Source #
Instance details Defined in UniqueLogic.ST.TF.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 #
data ValueConstraint Track tn Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify data ValueConstraint Track tn where VerifyConstraint :: forall tn. ToTrackedNumber tn => ValueConstraint Track tn

data Exception Source #

Constructors

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

Instances

Show Exception Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Verify Methods showsPrec :: Int -> Exception -> ShowS # show :: Exception -> String # showList :: [Exception] -> ShowS #

type Variable s = Variable Track s (TrackedNumber Rational) Source #

globalVariable :: C s => Name -> s (Variable s) Source #

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

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

logUpdate :: (Real a, C s) => Name -> MaybeT s (TrackedNumber a) -> MaybeT (Wrap Track s) (TrackedNumber a) Source #

example :: (Either Exception (Maybe (TrackedNumber Rational), Maybe (TrackedNumber Rational)), Assigns) Source #