Interface.TV.OFun

Output transformations, as a deep arrow.

Documentation

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

Output functions.

data OFun dom ran a b

Output functions as a DeepArrow

Instances

Arrow (OFun dom ran)

DeepArrow (OFun dom ran)

Category (OFun dom ran)

FunArr (OFun dom ran) (Output dom ran)

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

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