Control.Arrow.Machine.Misc.Discrete

Discrete

This module should be imported manually.

data T a

updates :: T a -> Event ()

value :: T a -> a

arr :: ArrowApply a => (b -> c) -> ProcessA a (T b) (T c)

arr2 :: ArrowApply a => (b1 -> b2 -> c) -> ProcessA a (T b1, T b2) (T c)

arr3 :: ArrowApply a => (b1 -> b2 -> b3 -> c) -> ProcessA a (T b1, T b2, T b3) (T c)

arr4 :: ArrowApply a => (b1 -> b2 -> b3 -> b4 -> c) -> ProcessA a (T b1, T b2, T b3, T b4) (T c)

arr5 :: ArrowApply a => (b1 -> b2 -> b3 -> b4 -> b5 -> c) -> ProcessA a (T b1, T b2, T b3, T b4, T b5) (T c)

constant :: ArrowApply a => c -> ProcessA a b (T c)

hold :: ArrowApply a => b -> ProcessA a (Event b) (T b)

accum :: ArrowApply a => b -> ProcessA a (Event (b -> b)) (T b)

fromEq :: (ArrowApply a, Eq b) => ProcessA a b (T b)

edge :: ArrowApply a => ProcessA a (T b) (Event b)

asUpdater :: ArrowApply a => a b c -> ProcessA a (T b) (Event c)

data Alg a i o

Instances

ArrowApply a => Functor (Alg a i)

Methods

fmap :: (a -> b) -> Alg a i a -> Alg a i b

(<$) :: a -> Alg a i b -> Alg a i a

ArrowApply a => Applicative (Alg a i)

Methods

pure :: a -> Alg a i a

(<*>) :: Alg a i (a -> b) -> Alg a i a -> Alg a i b

(*>) :: Alg a i a -> Alg a i b -> Alg a i b

(<*) :: Alg a i a -> Alg a i b -> Alg a i a