Module Control.monad.Reader

Reader monad and monad transformer, based on Kleisli

Imports

• import Data.wrapper.Identity as Identity
• import Control.arrow.Kleisli as Kleisli
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp

Table of Content

• Definitions

  type Reader a b = Kleisli Identity a b

  type ReaderT m a b = Kleisli m a b

  ask ∷ Monad m ⇒ ReaderT m e e

• Functions and Values by Type

Definitions

type Reader a b = Kleisli Identity a b

type ReaderT m a b = Kleisli m a b

ask ∷ Monad m ⇒ ReaderT m e e

Functions and Values by Type

Monad m ⇒ ReaderT m e e

ask