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