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)

ArrowApply a => Applicative (Alg a i)