Compiled: Wed Dec 05 00:09:55 PST 2012 from source file: ./frege/control/monad/Reader.fr
Package Documentation
Table of Content
Imports
-
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 Reader e a
-
Constructors
-
Reader {run :: e -> a}
-
Member Functions
-
run :: Reader α β -> α -> β
-
access field run
-
ask :: Reader e e
-
-
run :: Reader e a -> e -> a
-
-
α -> 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
