Data.OI.IFun

Type of function with interaction

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

IFun combinator

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

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

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