Movatterモバイル変換

Contents

Methods

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

where M : Readable<M, Env>

Methods

methodK<M,Env>ask<M,Env>()Source #

where M : Readable<M, Env>

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

where M : Readable<M, Env>

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

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

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

where M : Readable<M, Env>

Methods

methodAsk<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

methodAsk<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

interfaceReadable<M,Env>Source #

where M : Readable<M, Env>

Properties

propertyK<M,Env>Ask Source #

Methods

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

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