asai-0.0.0.0: A minimal library for delimited continuations.

Portabilityportable
Stabilityexperimental
Maintainermad.one@gmail.com
Safe HaskellSafe-Inferred

Data.Indexed.Functor

Contents

Description

Indexed Functors and Pointed.

Synopsis

Indexed Pointed

class IxPointed f whereSource

Indexed Pointed.

Methods

returnI :: a -> f s s aSource

Indexed return.

Instances

IxPointed Delim

Delimited continuations form an IxPointed.

Monad m => IxPointed (MW m)

Lifts regular instances of Monad into IxPointed.

Indexed Functor

class IxFunctor f whereSource

Indexed Functors.

Methods

mapI :: (a -> b) -> f s t a -> f s t bSource

Indexed fmap.

Instances

IxFunctor Delim

Delimited continuations form an IxFunctor.

Monad m => IxFunctor (MW m)

Lifts regular instances of Monad into IxFunctor.

Operators

(<!$>) :: IxFunctor f => (a -> b) -> f s t a -> f s t bSource

Indexed <$>.