Data.OI.Internal

Types

data OI a

type a :-> b

Primitive operators on OI

(??)

(##)

Assign operator

(=:)

Splitters against OI datatype

dePair

deList

deTriple

deTuple4

deTuple5

deTuple6

deTuple7

deLeft

deRight

Interaction driver

runInteraction

IO converters

data IOResult a

iooi

iooi'