category-extras-0.52.0: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Combinators.Biff

Description

 

Documentation

newtype Biff p f g a b Source

Constructors

Biff 

Fields

runBiff :: p (f a) (g b)
 

Instances

(Functor f, Symmetric Hask p) => Symmetric Hask (Biff p f f) 
(Functor f, Braided Hask p) => Braided Hask (Biff p f f) 
(Bizip p, Zip f, Zip g) => Bizip (Biff p f g) 
(QFunctor q Hask Hask, Functor g) => QFunctor (Biff q f g) Hask Hask 
(Functor f, PFunctor p Hask Hask) => PFunctor (Biff p f g) Hask Hask 
(Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask 
(Bizap p q, Zap f g, Zap i j) => Bizap (Biff p f i) (Biff q g j) 
(Functor f, Bifunctor p Hask Hask Hask, Functor g) => Functor (Biff p f g a) 

type On p f = Biff p f fSource

runOn :: On p f a b -> p (f a) (f b)Source

mkOn :: p (f a) (f b) -> On p f a bSource

runPAp :: PFunctor p Hask Hask => PAp p f a b -> p a (f b)Source

mkPAp :: PFunctor p Hask Hask => p a (f b) -> PAp p f a bSource

runPCofree :: PCofree f a b -> (a, f b)Source

pcofree :: (a, f b) -> PCofree f a bSource

runPFree :: PFree f a b -> Either a (f b)Source

pfree :: Either a (f b) -> PFree f a bSource