TV-0.4.7: Tangible Values -- composable interfaces

Interface.TV.OFun

Description

Output transformations, as a deep arrow.

Output

Synopsis

type OX dom ran a b = Output dom ran a -> Output dom ran bSource

Output functions.

data OFun dom ran a b Source

Output functions as a DeepArrow

DeepArrow

Instances

wrapO :: (Functor dom, Cofunctor ran) => (b' -> b) -> (a -> a') -> OX dom ran (a -> b) (a' -> b')Source

Like wrapF, but for outputs and reversed orientation. Specialization of wrapAO.

wrapF

wrapAO