unique-logic-tf-0.5.1: 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

data Assign Source #

Instances
Show Assign Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Verify

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

Num a => Num (TrackedNumber a) Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Verify

Show a => Show (TrackedNumber a) Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Verify

C a => C (TrackedNumber a) Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Verify

Real a => ToTrackedNumber (TrackedNumber a) Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Verify

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