Data.OI.IFun

Contents

Description

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

Synopsis

Type of function with interaction

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

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