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 TrackedNumber a Source #
Constructors
TrackedNumber T a |
Instances
Functor TrackedNumber Source # | |
Fractional a => Fractional (TrackedNumber a) Source # | |
Num a => Num (TrackedNumber a) Source # | |
Show a => Show (TrackedNumber a) Source # | |
C a => C (TrackedNumber a) Source # | |
Real a => ToTrackedNumber (TrackedNumber a) 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 #
Minimal complete definition
Methods
toTrackedNumber :: a -> TrackedNumber Rational Source #
Instances
Real a => ToTrackedNumber (TrackedNumber a) Source # | |
Constructors
Exception (Maybe Name) (TrackedNumber Rational) (TrackedNumber Rational) |
match :: Eq a => TrackedNumber a -> TrackedNumber a -> Bool Source #
inconsistency :: Monad m => Maybe Name -> TrackedNumber Rational -> TrackedNumber Rational -> Wrap Track m () Source #