Data.OI.Internal

Author : Nobuo Yamashita Maintainer : [e-mail] Stability : experimental

Types

data OI a

Datatype for intermediating interaction: OI has two states (programmer cannot distinguish), non-expressed and exressed. `Non-expressed' indicates that no computation is assigned. In other words, it's value is never denotated by any expression. So, if you refer the value then the process will be suspended until other process determins the value. Non-expressed value can be determined to become expressed for a value by a expression at most once. Expressed indicates that some computation is assigned for the value. Once expressed, the value never be back to non-expressed nor be changed.

Instances

Monad OI

Functor OI

Applicative OI

Comonad OI

type (:->) a b = OI a -> b infixr 0

Interaction (a function from a intermediating type to another type) type

Primitive operators on OI

(??) :: OI a -> a

Dereference operator

(##) :: a -> OI a

Reference operator

Assign operator

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

Assign Operator

Splitters against OI datatype

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)

Interaction driver

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

Drive interaction

IO converters

data IOResult a

IOResult for error handling

Constructors

Success

Fields

result :: a

Failure

Fields

errmsg :: 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