Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Warning: This module is intended for documentation purposes. Do not import it!
Documentation
data TrackedNumber a Source
Functor TrackedNumber Source | |
Fractional a => Fractional (TrackedNumber a) Source | |
Num a => Num (TrackedNumber a) Source | |
Show a => Show (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
toTrackedNumber :: a -> TrackedNumber Rational Source
Real a => ToTrackedNumber (TrackedNumber a) Source |
MonadTrans Track Source | |
C Track Source | |
C Track Source | |
ToTrackedNumber tn => Value Track tn Source | |
Monad m => Monad (Track m) Source | |
Monad m => Functor (Track m) Source | |
Monad m => Applicative (Track m) Source | |
data ValueConstraint Track where
|
globalVariable :: Name -> ST 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 => Name -> MaybeT (ST s) (TrackedNumber a) -> MaybeT (Wrap Track (ST s)) (TrackedNumber a) Source
example :: (Exceptional Exception (Maybe (TrackedNumber Rational), Maybe (TrackedNumber Rational)), Assigns) Source