LanguageExt.Core

LanguageExt.Core Traits Coreadable

Contents

class CoreadableExtensions Source #

Methods

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

where M : Coreadable<M>

class Coreadable Source #

Methods

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

where M : Coreadable<M>

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

where M : Coreadable<M>

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

where M : Coreadable<M>, Bimonad<M>

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

where M : Coreadable<M>

interface Coreadable <M> Source #

where M : Coreadable<M>

Methods

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

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

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