Data.OI.Combinator

Utility functions

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

choice :: a -> a -> Bool -> a

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

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

Iteration

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

Sequencing

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

Sequencing

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