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

Data.OI.IFun

Contents

Synopsis

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

(|::|) :: 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