category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Functor.Combinators.Biff
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
newtype Biff p f g a b Source
Constructors
Biff
runBiff :: p (f a) (g b)
show/hide Instances
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
type PAp p = Biff p IdentitySource
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
type PCofree = PAp (,)Source
runPCofree :: PCofree f a b -> (a, f b)Source
pcofree :: (a, f b) -> PCofree f a bSource
type PFree = PAp EitherSource
runPFree :: PFree f a b -> Either a (f b)Source
pfree :: Either a (f b) -> PFree f a bSource
Produced by Haddock version 2.4.2