Data.OI

Contents

• Data type
• Converter an IO to an interaction function
• Drive an interaction function
• Primitive operators on the interaction data
• Category class methods on (:->)
• Arrow class methods on (:->)
• Embeding interaction data in data structure
• Interaction combinators

Synopsis

• data OI a
• type :-> a b = OI a -> b
• iooi :: IO a -> a :-> a
• run :: (a :-> b) -> IO b
• (=:) :: a -> a :-> a
• (?) :: a :-> a
• (#) :: a -> OI a
• idA :: a :-> a
• (<.>) :: (b :-> c) -> (a :-> b) -> a :-> c
• arrA :: (a -> b) -> a :-> b
• firstA :: (a :-> b) -> (a, c) :-> (b, c)
• deTuple :: OI (a, b) -> (OI a, OI b)
• deTriple :: (a, b, c) :-> (OI a, OI b, OI c)
• deList :: [a] :-> Maybe (OI a, OI [a])
• (>|>|) :: (a -> b :-> c) -> (c -> d :-> e) -> a -> (b, d) :-> e
• (|<|<) :: (c -> d :-> e) -> (a -> b :-> c) -> a -> (b, d) :-> e
• (>|->|) :: (a -> b :-> c) -> (a' -> b' :-> c') -> (a, a') -> (b, b') :-> (c, c')
• (|-|) :: (a :-> b) -> (a' :-> b') -> (a, a') :-> (b, b')
• (|<|) :: (b -> c :-> d) -> (a :-> b) -> (a, c) :-> d
• (|>|) :: (a :-> b) -> (b -> c :-> d) -> (a, c) :-> d
• (<|) :: (b -> c) -> (a :-> b) -> a :-> c
• (|>) :: (a :-> b) -> (b -> c) -> a :-> c
• (|><|) :: (q -> a :-> (p, c)) -> (p -> b :-> (q, d)) -> (a, b) :-> (c, d)
• mapOI :: (a :-> b) -> [a] :-> [b]
• mapOI' :: (a :-> b) -> [a] :-> (OI [a], [b])
• zipWithOI :: (a -> b :-> c) -> [a] -> [b] :-> [c]
• zipWithOI' :: (a -> b :-> c) -> [a] -> [b] :-> (OI [b], [c])
• sequenceOI :: [a :-> b] -> [a] :-> ()
• sequenceOI' :: [a :-> b] -> [a] :-> OI [a]
• mergeOI :: [a] -> [a] -> [a] :-> [a]

Data type

Converter an IO to an interaction function

Drive an interaction function

Primitive operators on the interaction data

Category class methods on (:->)

Arrow class methods on (:->)

Embeding interaction data in data structure

Interaction combinators