category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Functor.Indexed
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
class IxFunctor f whereSource
Methods
imap :: (a -> b) -> f j k a -> f j k bSource
show/hide Instances
class IxFunctor w => IxCopointed w whereSource
Methods
iextract :: w i i a -> aSource
class IxFunctor m => IxPointed m whereSource
Methods
ireturn :: a -> m i i aSource
show/hide Instances
class IxPointed m => IxApplicative m whereSource
Methods
iap :: m i j (a -> b) -> m j k a -> m i k bSource
show/hide Instances
Produced by Haddock version 2.4.2