morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Polyvariant.Provariant

Documentation

class Provariant t where Source #

Minimal complete definition

promap

Methods

promap :: (a -> b) -> (c -> d) -> t b c -> t a d Source #

Instances
Provariant Straight Source # 
Instance details

Defined in Data.Functor.Arrow.Straight

Methods

promap :: (a -> b) -> (c -> d) -> Straight b c -> Straight a d Source #