Contents

Methods

method K<M, A> Local <M, Env, A> (this K<M, A> ma, Func<Env, Env> f) Source #

where M : Readable<M, Env>

Methods

method K<M, Env> ask <M, Env> () Source #

where M : Readable<M, Env>

method K<M, A> asks <M, Env, A> (Func<Env, A> f) Source #

where M : Readable<M, Env>

method K<M, A> asksM <M, Env, A> (Func<Env, K<M, A>> f) Source #

where M : Readable<M, Env>, Monad<M>

method K<M, A> local <M, Env, A> (Func<Env, Env> f, K<M, A> ma) Source #

where M : Readable<M, Env>

Methods

method Ask<Env, Env> ask <Env> () Source #

Retrieves the reader monad environment.

Parameters

type	Env	Environment
returns	Reader monad with the environment in as the bound value

method Ask<Env, A> asks <Env, A> (Func<Env, A> f) Source #

Retrieves a function of the current environment.

Parameters

type	Env	Environment
type	A	Bound and mapped value type
returns	Reader monad with the mapped environment in as the bound value

interface Readable <M, Env> Source #

where M : Readable<M, Env>

Properties

property K<M, Env> Ask Source #

Methods

method K<M, A> Asks <A> (Func<Env, A> f) Source #

method K<M, A> Local <A> ( Func<Env, Env> f, K<M, A> ma) Source #