Copyright	(c) Nobuo Yamashita 2011-2016
License	BSD3
Safe Haskell	None
Language	Haskell2010

Data.OI.Internal

Contents

Types
Primitive operators on OI
Assign operator
Splitters against OI datatype
Interaction driver
IO converters

Description

Author : Nobuo Yamashita Maintainer : nobsun@sampou.org Stability : experimental

Synopsis

Types

data OI a Source

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 Source
Functor OI Source
Applicative OI Source
Comonad OI Source

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

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

Primitive operators on OI

(??) :: OI a -> a Source

Dereference operator

(##) :: a -> OI a Source

Reference operator

Assign operator

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

Assign Operator

Splitters against `OI` datatype

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

Decomposer for pair

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

Decomposer for list

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

Decomposer for triple

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

Decomposer for 4-tuple

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

Decomposer for 5-tuple

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

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) Source

Decomposer for 7-tuple

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

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

Interaction driver

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

Drive interaction

IO converters

data IOResult a Source

IOResult for error handling

Constructors

Success
Fields result :: a
Failure
Fields errmsg :: String

Instances

Functor IOResult Source
Show a => Show (IOResult a) Source

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

Convert IO to interaction

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