asai-0.0.0.0: A minimal library for delimited continuations.

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

Control.Indexed.Prelude

Contents

Description

When using RebindableSyntax with GHC, it's possible to overload regular do-notation to use the IxMonad typeclass. See the section "Using do-notation" in the tutorial module Control.Delimited.Tutorial.

Synopsis

Redefined prelude operators

(>>=) :: IxMonad m => m t u a -> (a -> m s t b) -> m s u bSource

Indexed Prelude >>=.

(=<<) :: IxMonad m => (a -> m s t b) -> m t u a -> m s u bSource

Indexed Prelude =<<.

(>>) :: IxMonad m => m s t a -> m t u b -> m s u bSource

Indexed Prelude >>.

return :: IxMonad m => a -> m s s aSource

Indexed Prelude return.

fail :: IxMonad m => String -> m s s aSource

Indexed Prelude fail.

The prelude itself

module Prelude