category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Functor.Indexed Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class IxFunctor f where Source

Methods imap :: (a -> b) -> f j k a -> f j k b Source Instances IxFunctor IxCont IxFunctor IxState Functor f => IxFunctor (LiftIx f) IxFunctor (IxContT m)

newtype LiftIx m i j a Source

Constructors LiftIx lowerIx :: m a Instances Functor f => IxFunctor (LiftIx f) Comonad w => IxComonad (LiftIx w) (Functor m, Monad m) => IxMonad (LiftIx m)

newtype LowerIx m i a Source

Constructors LowerIx liftIx :: m i i a Instances IxMonad m => Monad (LowerIx m i) IxFunctor f => Functor (LowerIx f i)

Produced by Haddock version 2.1.0