Data.OI.Base

Interaction datatypes

data OI a

Datatype for intermediating interaction

Instances

Monad OI

Functor OI

Comonad OI

Extend OI

type :-> a b = OI a -> b

Interaction type

Drive an interaction

run :: (OI a -> b) -> IO b

Drive interaction

Primitive operators on OI

(=:) :: a -> OI a -> a

Assign operator

(??) :: OI a -> a

Dereference operator

Splitter against OI

dePair :: OI (a, b) -> (OI a, OI b)

Decomposer for pair

deList :: OI [a] -> Maybe (OI a, OI [a])

Decomposer for list

deTriple :: OI (a, b, c) -> (OI a, OI b, OI c)

Decomposer for triple

deTuple4 :: OI (a, b, c, d) -> (OI a, OI b, OI c, OI d)

Decomposer for 4-tuple

deTuple5 :: OI (a, b, c, d, e) -> (OI a, OI b, OI c, OI d, OI e)

Decomposer for 5-tuple

deTuple6 :: OI (a, b, c, d, e, f) -> (OI a, OI b, OI c, OI d, OI e, OI f)

Decomposer for 6-tuple

deTuple7 :: OI (a, b, c, d, e, f, g) -> (OI a, OI b, OI c, OI d, OI e, OI f, OI g)

Decomposer for 7-tuple

deLeft :: OI (Either a b) -> Either (OI a) (OI b)

deRight :: OI (Either a b) -> Either (OI a) (OI b)

Convert IO to interaction

data IOResult a

Constructors

Success a

Failure String

Instances

Functor IOResult

Show a => Show (IOResult a)

iooi :: IO a -> OI a -> a

Convert IO to interaction

iooi' :: IO a -> OI (IOResult a) -> IOResult a

Forcing

forces :: [()] -> ()

Forcing utilities

force :: a -> ()

split :: a -> (a, ())