unique-logic-tf-0.5: Solve simple simultaneous equations

Safe HaskellSafe
LanguageHaskell98

UniqueLogic.ST.TF.Example.Verify

Description

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

Documentation

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

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

newtype Track m a Source #

Constructors

Track 

Instances

MonadTrans Track Source # 

Methods

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

C Track Source # 

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 # 

Methods

update :: (Value Track a, C s) => Updater Track s a Source #

ToTrackedNumber tn => Value Track tn Source # 

Associated Types

data ValueConstraint (Track :: (* -> *) -> * -> *) tn :: * Source #

Methods

valueConstraint :: T s (Updates Track s) -> T s (Maybe tn) -> ValueConstraint Track tn Source #

Monad m => Monad (Track m) Source # 

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 # 

Methods

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

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

Monad m => Applicative (Track m) Source # 

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 Source #