Contents

Pure <A> (A Value)

Map (Func<A, B> f)
Bind (Func<A, Pure> f)
Bind <L> (Func<A, Fail<L>> f)
Bind (Func<A, IO> f)
SelectMany <B, C> (Func<A, Pure> bind, Func<A, B, C> project)
SelectMany <L, C> (Func<A, Fail<L>> bind, Func<A, Unit, C> project)
SelectMany <B, C> (Func<A, IO> bind, Func<A, B, C> project)
ToOption ()
ToThese <X> ()
ToEither <L> ()
ToFin ()
ToTry ()
ToIO ()
ToEff <RT> ()
ToEff ()
Bind <L, B> (Func<A, Either<L, B>> bind)
Bind (Func<A, Fin> bind)
Bind <RT, B> (Func<A, Eff<RT, B>> bind)
Bind (Func<A, Eff> bind)
Bind <M, B> (Func<A, K<M, B>> bind)
Bind <Env, B> (Func<A, Reader<Env, B>> bind)
Bind <Env, M, B> (Func<A, ReaderT<Env, M, B>> bind)
Bind <S, B> (Func<A, State<S, B>> bind)
Bind <S, M, B> (Func<A, StateT<S, M, B>> bind)
Bind <M, B> (Func<A, OptionT<M, B>> bind)
Bind (Func<A, Option> bind)
SelectMany <L, B, C> (Func<A, Either<L, B>> bind, Func<A, B, C> project)
SelectMany <B, C> (Func<A, Fin> bind, Func<A, B, C> project)
SelectMany <RT, B, C> (Func<A, Eff<RT, B>> bind, Func<A, B, C> project)
SelectMany <B, C> (Func<A, Eff> bind, Func<A, B, C> project)
SelectMany <M, B, C> (Func<A, K<M, B>> bind, Func<A, B, C> project)
SelectMany <Env, B, C> (Func<A, Reader<Env, B>> bind, Func<A, B, C> project)
SelectMany <Env, B, C> (Func<A, K<Reader<Env>, B>> bind, Func<A, B, C> project)
SelectMany <Env, M, B, C> (Func<A, ReaderT<Env, M, B>> bind, Func<A, B, C> project)
SelectMany <Env, M, B, C> (Func<A, K<ReaderT<Env, M>, B>> bind, Func<A, B, C> project)
SelectMany <S, B, C> (Func<A, State<S, B>> bind, Func<A, B, C> project)
SelectMany <S, B, C> (Func<A, K<State<S>, B>> bind, Func<A, B, C> project)
SelectMany <S, M, B, C> (Func<A, StateT<S, M, B>> bind, Func<A, B, C> project)
SelectMany <S, M, B, C> (Func<A, K<StateT<S, M>, B>> bind, Func<A, B, C> project)
SelectMany <M, B, C> (Func<A, OptionT<M, B>> bind, Func<A, B, C> project)
SelectMany <M, B, C> (Func<A, K<OptionT<M>, B>> bind, Func<A, B, C> project)
SelectMany <B, C> (Func<A, Option> bind, Func<A, B, C> project)

PureExtensions

>> (Pure<A> px, Lower _)

record Pure <A> (A Value) Source #

Represents a pure value. Usually understood to be the 'success' value.

On its own this doesn't do much, but allows other monads to convert from it and provide binding extensions that mean it can be lifted into other monads without specifying lots of extra generic arguments.

Parameters

type	A	Bound value type
param	Value	Bound value

Methods

method Pure Map (Func<A, B> f) Source #

Functor map

Parameters

type	B	Result bound value type
param	f	Mapping function
returns	Result of the applying the mapping function to the `Pure` value

method Pure Bind (Func<A, Pure> f) Source #

Monadic bind

Parameters

type	B	Result bound value type
param	f	Bind function
returns	Result of the applying the bind function to the `Pure` value

method Either<L, A> Bind <L> (Func<A, Fail<L>> f) Source #

Monadic bind

Parameters

type	L	Result bound value type
param	f	Bind function
returns	Result of the applying the bind function to the `Pure` value

method IO Bind (Func<A, IO> f) Source #

Monadic bind

Parameters

type	B	Result bound value type
param	f	Bind function
returns	Result of the applying the bind function to the `Pure` value

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

Monadic bind and project

Parameters

type	B	Result of the bind operation bound value type
type	C	Result of the mapping operation bound value type
param	bind	Bind function
param	project	Project function
returns	Result of the applying the bind and mapping function to the `Pure` value

method Either<L, C> SelectMany <L, C> (Func<A, Fail<L>> bind, Func<A, Unit, C> project) Source #

Monadic bind and project

Parameters

type	L	Result of the bind operation bound value type
type	C	Result of the mapping operation bound value type
param	bind	Bind function
param	project	Project function
returns	Result of the applying the bind and mapping function to the `Pure` value

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

Monadic bind and project

Parameters

type	B	Result of the bind operation bound value type
type	C	Result of the mapping operation bound value type
param	bind	Bind function
param	project	Project function
returns	Result of the applying the bind and mapping function to the `Pure` value

method Option<A> ToOption () Source #

method These<X, A> ToThese <X> () Source #

method Either<L, A> ToEither <L> () Source #

method Fin<A> ToFin () Source #

method Try<A> ToTry () Source #

method IO<A> ToIO () Source #

method Eff<RT, A> ToEff <RT> () Source #

method Eff<A> ToEff () Source #

method Either<L, B> Bind <L, B> (Func<A, Either<L, B>> bind) Source #

method Fin Bind (Func<A, Fin> bind) Source #

method Eff<RT, B> Bind <RT, B> (Func<A, Eff<RT, B>> bind) Source #

method Eff Bind (Func<A, Eff> bind) Source #

method K<M, B> Bind <M, B> (Func<A, K<M, B>> bind) Source #

where M : Monad<M>

method Reader<Env, B> Bind <Env, B> (Func<A, Reader<Env, B>> bind) Source #

method ReaderT<Env, M, B> Bind <Env, M, B> (Func<A, ReaderT<Env, M, B>> bind) Source #

where M : Monad<M>, Alternative<M>

method State<S, B> Bind <S, B> (Func<A, State<S, B>> bind) Source #

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

where M : Monad<M>, Alternative<M>

method OptionT<M, B> Bind <M, B> (Func<A, OptionT<M, B>> bind) Source #

where M : Monad<M>

method Option Bind (Func<A, Option> bind) Source #

method Either<L, C> SelectMany <L, B, C> (Func<A, Either<L, B>> bind, Func<A, B, C> project) Source #

method Fin<C> SelectMany <B, C> (Func<A, Fin> bind, Func<A, B, C> project) Source #

method Eff<RT, C> SelectMany <RT, B, C> (Func<A, Eff<RT, B>> bind, Func<A, B, C> project) Source #

method Eff<C> SelectMany <B, C> (Func<A, Eff> bind, Func<A, B, C> project) Source #

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

where M : Monad<M>

method Reader<Env, C> SelectMany <Env, B, C> (Func<A, Reader<Env, B>> bind, Func<A, B, C> project) Source #

method Reader<Env, C> SelectMany <Env, B, C> (Func<A, K<Reader<Env>, B>> bind, Func<A, B, C> project) Source #

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

where M : Monad<M>, Alternative<M>

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

where M : Monad<M>, Alternative<M>

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

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

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

where M : Monad<M>, Alternative<M>

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

where M : Monad<M>, Alternative<M>

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

where M : Monad<M>

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

where M : Monad<M>

method Option<C> SelectMany <B, C> (Func<A, Option> bind, Func<A, B, C> project) Source #

class PureExtensions Source #

Operators

operator >> (Pure<A> px, Lower _) Source #

Value extraction