LanguageExt.Core ► Monads ► State and Environment Monads ► State ► StateT

Contents

StateT <S, M, A> (Func<S, K<M, (A Value, S State)>> runState)

Pure (A value)
Modify (Func<S, S> f)
ModifyM (Func<S, K<M, S>> f)
Put (S value)
State (A value, S state)
State ((A value, S state) ma)
Get
Gets (Func<S, A> f)
GetsM (Func<S, K<M, A>> f)
Lift (Pure<A> monad)
Lift (K<M, A> monad)
Lift (Func<A> f)
LiftIO (IO<A> ma)
MapT <M1, B> (Func<K<M, (A Value, S State)>, K<M1, (B Value, S State)>> f)
MapM (Func<K<M, A>, K<M, B>> f)
Map (Func<A, B> f)
Select (Func<A, B> f)
Bind (Func<A, K<StateT<S, M>, B>> f)
Bind (Func<A, StateT<S, M, B>> f)
Bind (Func<A, Gets<S, B>> f)
Bind (Func<A, Put<S>> f)
Bind (Func<A, Modify<S>> f)
Bind (Func<A, IO> f)
Bind (Func<A, K<IO, B>> f)
SelectMany <B, C> (Func<A, K<StateT<S, M>, B>> bind, Func<A, B, C> project)
SelectMany <B, C> (Func<A, StateT<S, M, B>> bind, Func<A, B, C> project)
SelectMany <B, C> (Func<A, K<M, B>> bind, Func<A, B, C> project)
SelectMany <B, C> (Func<A, Pure> bind, Func<A, B, C> project)
SelectMany <C> (Func<A, Put<S>> bind, Func<A, Unit, C> project)
SelectMany <B, C> (Func<A, Gets<S, B>> bind, Func<A, B, C> project)
SelectMany <C> (Func<A, Modify<S>> bind, Func<A, Unit, C> project)
SelectMany <B, C> (Func<A, IO> bind, Func<A, B, C> project)
SelectMany <B, C> (Func<A, K<IO, B>> bind, Func<A, B, C> project)
>> (StateT<S, M, A> lhs, StateT<S, M, A> rhs)
>> (StateT<S, M, A> lhs, K<StateT<S, M>, A> rhs)
>> (StateT<S, M, A> lhs, StateT<S, M, Unit> rhs)
>> (StateT<S, M, A> lhs, K<StateT<S, M>, Unit> rhs)
Run (S state)

StateT <S>

lift <M, A> (K<M, A> ma)

StateT <S, M>

pure <A> (A value)
liftIO <A> (IO<A> effect)

StateT

pure <S, M, A> (A value)
lift <S, M, A> (K<M, A> ma)
liftIO <S, M, A> (IO<A> effect)
get <M, S> ()
gets <M, S, A> (Func<S, A> f)
getsM <M, S, A> (Func<S, K<M, A>> f)
put <M, S> (S state)
modify <M, S> (Func<S, S> f)
modifyM <M, S> (Func<S, K<M, S>> f)

Sub modules

Extensions

Operators

Trait

record StateT <S, M, A> (Func<S, K<M, (A Value, S State)>> runState) Source #

where M : Monad<M>

StateT monad transformer, which adds a modifiable state to a given monad.

Parameters

type	S	State type
type	M	Given monad trait
type	A	Bound value type
param	runState	Function that represents the transformer operation

Properties

property StateT<S, M, S> Get Source #

Extracts the state value and returns it as the bound value

Parameters

returns

StateT

Methods

method StateT<S, M, A> Pure (A value) Source #

Lift a pure value into the monad-transformer

Parameters

param	value	Value to lift
returns	`StateT`

method StateT<S, M, Unit> Modify (Func<S, S> f) Source #

Extracts the state value, maps it, and then puts it back into the monadic state.

Parameters

param	f	State mapping function
returns	`StateT`

method StateT<S, M, Unit> ModifyM (Func<S, K<M, S>> f) Source #

Extracts the state value, maps it, and then puts it back into the monadic state.

Parameters

param	f	State mapping function
returns	`StateT`

method StateT<S, M, Unit> Put (S value) Source #

Writes the value into the monadic state

Parameters

returns

StateT

method StateT<S, M, A> State (A value, S state) Source #

Writes a value and state into the monad

Parameters

returns

StateT

method StateT<S, M, A> State ((A value, S state) ma) Source #

Writes a value and state into the monad

Parameters

returns

StateT

method StateT<S, M, A> Gets (Func<S, A> f) Source #

Extracts the state value and maps it to the bound value

Parameters

param	f	State mapping function
returns	`StateT`

method StateT<S, M, A> GetsM (Func<S, K<M, A>> f) Source #

Extracts the state value and maps it to the bound value

Parameters

param	f	State mapping function
returns	`StateT`

method StateT<S, M, A> Lift (Pure<A> monad) Source #

Lifts a given monad into the transformer

Parameters

param	monad	Monad to lift
returns	`StateT`

method StateT<S, M, A> Lift (K<M, A> monad) Source #

Lifts a given monad into the transformer

Parameters

param	monad	Monad to lift
returns	`StateT`

method StateT<S, M, A> Lift (Func<A> f) Source #

Lifts a function into the transformer

Parameters

param	f	Function to lift
returns	`StateT`

method StateT<S, M, A> LiftIO (IO<A> ma) Source #

Lifts an IO monad into the monad

NOTE: If the IO monad isn't the innermost monad of the transformer stack then this will throw an exception.

Parameters

param	ma	IO monad to lift
returns	`StateT`

method StateT<S, M1, B> MapT <M1, B> (Func<K<M, (A Value, S State)>, K<M1, (B Value, S State)>> f) Source #

where M1 : Monad<M1>, Choice<M1>

Maps the given monad

Parameters

type	M1	Trait of the monad to map to
param	f	Mapping function
returns	`StateT`

method StateT<S, M, B> MapM (Func<K<M, A>, K<M, B>> f) Source #

Maps the given monad

Parameters

param	f	Mapping function
returns	`StateT`

method StateT<S, M, B> Map (Func<A, B> f) Source #

Maps the bound value

Parameters

type	B	Target bound value type
param	f	Mapping function
returns	`StateT`

method StateT<S, M, B> Select (Func<A, B> f) Source #

Maps the bound value

Parameters

type	B	Target bound value type
param	f	Mapping transducer
returns	`StateT`

method StateT<S, M, B> Bind (Func<A, K<StateT<S, M>, B>> f) Source #

Monad bind operation

Parameters

type	B	Target bound value type
param	f	Mapping function
returns	`StateT`

method StateT<S, M, B> Bind (Func<A, StateT<S, M, B>> f) Source #

Monad bind operation

Parameters

type	B	Target bound value type
param	f	Mapping function
returns	`StateT`

method StateT<S, M, B> Bind (Func<A, Gets<S, B>> f) Source #

Monad bind operation

Parameters

type	B	Target bound value type
param	f	Mapping function
returns	`StateT`

method StateT<S, M, Unit> Bind (Func<A, Put<S>> f) Source #

Monad bind operation

Parameters

type	B	Target bound value type
param	f	Mapping function
returns	`StateT`

method StateT<S, M, Unit> Bind (Func<A, Modify<S>> f) Source #

Monad bind operation

Parameters

type	B	Target bound value type
param	f	Mapping function
returns	`StateT`

method StateT<S, M, B> Bind (Func<A, IO> f) Source #

Monad bind operation

Parameters

type	B	Target bound value type
param	f	Mapping function
returns	`StateT`

method StateT<S, M, B> Bind (Func<A, K<IO, B>> f) Source #

Monad bind operation

Parameters

type	B	Target bound value type
param	f	Mapping function
returns	`StateT`

method StateT<S, M, C> SelectMany <B, C> (Func<A, K<StateT<S, M>, B>> bind, Func<A, B, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method StateT<S, M, C> SelectMany <B, C> (Func<A, StateT<S, M, B>> bind, Func<A, B, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method StateT<S, M, C> SelectMany <B, C> (Func<A, K<M, B>> bind, Func<A, B, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method StateT<S, M, C> SelectMany <B, C> (Func<A, Pure> bind, Func<A, B, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method StateT<S, M, C> SelectMany <C> (Func<A, Put<S>> bind, Func<A, Unit, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method StateT<S, M, C> SelectMany <B, C> (Func<A, Gets<S, B>> bind, Func<A, B, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method StateT<S, M, C> SelectMany <C> (Func<A, Modify<S>> bind, Func<A, Unit, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method StateT<S, M, C> SelectMany <B, C> (Func<A, IO> bind, Func<A, B, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method StateT<S, M, C> SelectMany <B, C> (Func<A, K<IO, B>> bind, Func<A, B, C> project) Source #

Monad bind operation

Parameters

type	B	Intermediate bound value type
type	C	Target bound value type
param	bind	Monadic bind function
param	project	Projection function
returns	`StateT`

method K<M, (A Value, S State)> Run (S state) Source #

Run the state monad

Parameters

param	state	Initial state
returns	Bound monad

Operators

operator >> (StateT<S, M, A> lhs, StateT<S, M, A> rhs) Source #

Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.

Parameters

param	lhs	First action to run
param	rhs	Second action to run
returns	Result of the second action

operator >> (StateT<S, M, A> lhs, K<StateT<S, M>, A> rhs) Source #

Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.

Parameters

param	lhs	First action to run
param	rhs	Second action to run
returns	Result of the second action

operator >> (StateT<S, M, A> lhs, StateT<S, M, Unit> rhs) Source #

Sequentially compose two actions. The second action is a unit returning action, so the result of the first action is propagated.

Parameters

param	lhs	First action to run
param	rhs	Second action to run
returns	Result of the first action

operator >> (StateT<S, M, A> lhs, K<StateT<S, M>, Unit> rhs) Source #

Sequentially compose two actions. The second action is a unit returning action, so the result of the first action is propagated.

Parameters

param	lhs	First action to run
param	rhs	Second action to run
returns	Result of the first action

class StateT <S> Source #

Methods

method StateT<S, M, A> lift <M, A> (K<M, A> ma) Source #

where M : Monad<M>

class StateT <S, M> Source #

Methods

method StateT<S, M, A> pure <A> (A value) Source #

method StateT<S, M, A> liftIO <A> (IO<A> effect) Source #

Lifts a given monad into the transformer

Parameters

param	effect	Monad to lift
returns	`StateT`

class StateT Source #

Methods

method StateT<S, M, A> pure <S, M, A> (A value) Source #

where M : Monad<M>

method StateT<S, M, A> lift <S, M, A> (K<M, A> ma) Source #

where M : Monad<M>

method StateT<S, M, A> liftIO <S, M, A> (IO<A> effect) Source #

where M : Monad<M>

Lifts a given monad into the transformer

Parameters

param	effect	Monad to lift
returns	`StateT`

method StateT<S, M, S> get <M, S> () Source #

where M : Monad<M>

method StateT<S, M, A> gets <M, S, A> (Func<S, A> f) Source #

where M : Monad<M>

method StateT<S, M, A> getsM <M, S, A> (Func<S, K<M, A>> f) Source #

where M : Monad<M>

method StateT<S, M, Unit> put <M, S> (S state) Source #

where M : Monad<M>

method StateT<S, M, Unit> modify <M, S> (Func<S, S> f) Source #

where M : Monad<M>

method StateT<S, M, Unit> modifyM <M, S> (Func<S, K<M, S>> f) Source #

where M : Monad<M>