Package frege.control.monad.Reader

Compiled: Wed Dec 05 00:09:55 PST 2012 from source file: ./frege/control/monad/Reader.fr

Package Documentation

Table of Content

Imports

Instances

instance Monad Reader e

Member Functions

*> :: Reader β γ -> Reader β α -> Reader β α

inherited from Applicative.*>

<* :: Reader β γ -> Reader β α -> Reader β γ

inherited from Applicative.<*

<*> :: Reader β (γ->α) -> Reader β γ -> Reader β α

inherited from Monad.<*>

>> :: Reader β γ -> Reader β α -> Reader β α

inherited from Monad.>>

>>= :: Reader β γ -> (γ->Reader β α) -> Reader β α
fmap :: (γ->α) -> Reader β γ -> Reader β α

inherited from Monad.fmap

join :: Reader α (Reader α β) -> Reader α β

inherited from Monad.join

return :: α -> Reader β α

Data Types

data Reader e a

Constructors

Reader {run :: e -> a}

Member Functions

run :: Reader α β -> α -> β

access field run

Functions and Values

ask :: Reader e e
run :: Reader e a -> e -> a

Functions and Values by Type

α -> Bool

Reader.has$run

Reader e e

ask

(e -> a) -> Reader e a

Reader.Reader

Reader e a -> e -> a

run

Reader α (Reader α β) -> Reader α β

Monad_Reader.join

Reader α β -> α -> β

Reader.run

α -> Reader β α

Monad_Reader.return

Reader β (γ->α) -> Reader β γ -> Reader β α

Monad_Reader.<*>

Reader β γ -> Reader β α -> Reader β α

Monad_Reader.*>, Monad_Reader.>>

Reader β γ -> Reader β α -> Reader β γ

Monad_Reader.<*

Reader β γ -> (γ->Reader β α) -> Reader β α

Monad_Reader.>>=

(γ->α) -> Reader β γ -> Reader β α

Monad_Reader.fmap

Reader β α -> (γ->δ) -> Reader γ δ

Reader.upd$run

Reader β γ -> (-> β γ->δ->α) -> Reader δ α

Reader.chg$run

Valid HTML 4.01 Strict