oi-0.3.1: Library for purely functional lazy interactions with the outer world.

Safe HaskellNone

Data.OI.IFun

Contents

Synopsis

Type of function with interaction

type IFun p a b = a -> p :-> bSource

IFun combinator

(|::|) :: IFun p a c -> IFun q b d -> IFun (p, q) (a, b) (c, d)Source

(|->|) :: IFun p a (b', c) -> IFun q (b', b) d -> IFun (p, q) (a, b) (c, d)Source

(|<>|) :: IFun p (a', a) (b', c) -> IFun q (b', b) (a', d) -> IFun (p, q) (a, b) (c, d)Source