Control.Functor.Combinators.Biff

Documentation

newtype Biff p f g a b

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 f

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

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

type PAp p = Biff p Identity

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

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

type PCofree = PAp (,)

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

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

type PFree = PAp Either

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

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