Data.OI.IFun

Contents

• Type of function with interaction
• IFun combinator

Description

Synopsis

• type IFun p a b = a -> p :-> b
• (|::|) :: 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)

Type of function with interaction

IFun combinator