Safe Haskell | None |
---|
UniqueLogic.ST.TF.Example.Verify
Description
Deprecated: This module is intended for documentation purposes. Do not import it!
Documentation
data TrackedNumber a Source
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 bSource
tn2 :: (T -> T -> T) -> (a -> b -> c) -> TrackedNumber a -> TrackedNumber b -> TrackedNumber cSource
Constructors
Exception (Maybe Name) (TrackedNumber Rational) (TrackedNumber Rational) |
globalVariable :: Name -> ST s (Variable s)Source
match :: Eq a => TrackedNumber a -> TrackedNumber a -> BoolSource
inconsistency :: Monad m => Maybe Name -> TrackedNumber Rational -> TrackedNumber Rational -> Wrap Track m ()Source