Data.OI.Combinator

Interaction Combinators

(|:|) :: (a :-> c) -> (b :-> d) -> (a, b) :-> (c, d)

Connect two interactions into an interaction

(|>|) :: (a :-> (p, c)) -> (b :-> (p -> d)) -> (a, b) :-> (c, d)

(|/|) :: (a :-> c) -> (c -> b :-> d) -> (a, b) :-> d

(|><|) :: (a :-> (p -> (q, c))) -> (b :-> (q -> (p, d))) -> (a, b) :-> (c, d)

Iteration

sequenceOI :: [a :-> b] -> [a] :-> [b]

foldOI :: (a :-> (b -> b)) -> b -> [a] :-> b

Iteration

mapOI :: (a :-> b) -> [a] :-> [b]

zipWithOI :: (a -> b :-> c) -> [a] -> [b] :-> [c]

zipWithOI' :: (a :-> (b -> c)) -> [a] :-> ([b] -> [c])

Conditional Choice

ifOI :: Bool -> (a :-> c) -> (b :-> c) -> Either a b :-> c

Conditional branching

choiceOI :: (a :-> c) -> (b :-> c) -> Bool -> Either a b :-> c

choiceOIOn :: (t -> a :-> c) -> (t -> b :-> c) -> (t -> Bool) -> t -> Either a b :-> c

Sequencing

seqsOI :: [a :-> b] -> [a] :-> ()

Sequencing

seqsOI' :: [a] :-> ([a :-> b] -> ())