Safe Haskell | Safe-Infered |
---|

- 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

(|<|<) :: (c -> d :-> e) -> (a -> b :-> c) -> a -> (b, d) :-> eSource

Connect two interactions into an interaction

mapOI' :: (a :-> b) -> [a] :-> (OI [a], [b])Source

Map interaction function on an interaction list (return results and remainings)

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

Zip a list and an interaction list (return results and remainings)

sequenceOI :: [a :-> b] -> [a] :-> ()Source

Sequencing interaction functions

sequenceOI' :: [a :-> b] -> [a] :-> OI [a]Source

Sequencing interaction functions (return remainings)