The result of running an effect: a ValueTask of a FSharpResult.

The eff computation expression, and mkEffect.

Effects for reading and cancelling the environment's CancellationTokenSource.

An IRandomGenerator backed by a Random.

Functions for running, combining, recovering and repeating effects.

Creates effects. Effect.Create turns a function of an environment into an effect, and is how effects are made from the interfaces that describe side effects. The function may return a plain value, a Result, a Task, a ValueTask or an Async, of a value or of a Result; returning a Result lets the effect fail.

Describes an effect that can either succeed with , or fail with . The effect is 'cold', and only starts when run with an .

The function an Effect wraps: given an environment, it starts the effect.

An effect that produces a list, as built by the effList computation expression.

The effList computation expression.

The function an EffSeq wraps: given an environment, it creates the sequence.

Creates effect sequences, EffSeq.

An effectful stream: like Effect, it requires an environment to start, but it produces a sequence of over time, as an async enumerable, and can fail with . Written with the effSeq computation expression.

The effSeq computation expression.

Effects for generating Guids through an IGuidGenProvider.

Provides an IMemoryCache to effects, as part of an environment.

Provides a CancellationTokenSource to effects, as part of an environment.

Generates Guids. An effect interface, so that code creating ids can be run with a deterministic generator in tests.

Provides an IGuidGenerator to effects, as part of an environment.

Provides an ILogger to effects, as part of an environment.

A marker for an environment that provides an effect of type . An interface marked with [<GenRunner>] from Orsak.Myriad lists the effects its environment provides by inheriting this.

Generates random numbers. An effect interface, so that code using randomness can be run with a seeded or fixed generator in tests.

An alias of IRandom.

Provides an IRandomGenerator to effects, as part of an environment.

An alias of IRandomGeneratorProvider.

Provides a TimeProvider to effects, as part of an environment. Using TimeProvider.System in production and a fake time provider in tests makes time-dependent effects testable.

Effects for caching values in the environment's IMemoryCache.

Effects for generating random numbers through an IRandomProvider.

Effects for reading the time through an ITimeProvider.