Data.OI.Combinator

Contents

• Interaction Combinators
• Iteration
• Conditional Choice
• Sequencing

Description

Synopsis

• (|:|) :: (a :-> c) -> (b :-> d) -> (a, b) :-> (c, d)
• (|>|) :: (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)
• sequenceOI :: [a :-> b] -> [a] :-> [b]
• foldOI :: (a :-> (b -> b)) -> b -> [a] :-> b
• mapOI :: (a :-> b) -> [a] :-> [b]
• zipWithOI :: (a -> b :-> c) -> [a] -> [b] :-> [c]
• zipWithOI' :: (a :-> (b -> c)) -> [a] :-> ([b] -> [c])
• ifOI :: Bool -> (a :-> c) -> (b :-> c) -> Either a b :-> c
• choiceOI :: (a :-> c) -> (b :-> c) -> Bool -> Either a b :-> c
• choiceOIOn :: (t -> a :-> c) -> (t -> b :-> c) -> (t -> Bool) -> t -> Either a b :-> c
• seqsOI :: [a :-> b] -> [a] :-> ()
• seqsOI' :: [a] :-> ([a :-> b] -> ())

Interaction Combinators

Iteration

Conditional Choice

Sequencing