Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Functor.Combinators.Biff
Description
Documentation
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) |
runPCofree :: PCofree f a b -> (a, f b)Source