asai-0.0.0.0: A minimal library for delimited continuations.
Data.Indexed.Functor
Contents
Pointed
Functor
Description
Indexed Functors and Pointed.
Synopsis
class IxPointed f whereSource
Indexed Pointed.
Methods
returnI :: a -> f s s aSource
Indexed return.
return
Instances
Delimited continuations form an IxPointed.
IxPointed
Lifts regular instances of Monad into IxPointed.
Monad
class IxFunctor f whereSource
Indexed Functors.
mapI :: (a -> b) -> f s t a -> f s t bSource
Indexed fmap.
fmap
Delimited continuations form an IxFunctor.
IxFunctor
Lifts regular instances of Monad into IxFunctor.
(<!$>) :: IxFunctor f => (a -> b) -> f s t a -> f s t bSource
Indexed <$>.
<$>