Control.Functor.Polyvariant.Provariant

Documentation

class Provariant t where

Minimal complete definition

promap

Methods

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

Instances

Provariant Straight

Defined in Data.Functor.Arrow.Straight

Methods

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