View Source Funx.Monad.Either.Dsl.Step (funx v0.3.0)

Step types for the Either DSL pipeline.

Following Spark's Entity pattern, each step type is a distinct struct. This provides strong typing, clearer pattern matching, and compile-time guarantees.

These are internal implementation details - the user-facing API remains unchanged.

Summary

Types

t()

Union type representing any Step type in the Either DSL pipeline.

Types

Link to this type

t()

View Source 
@type t() ::
  Funx.Monad.Either.Dsl.Step.Bind.t()
  | Funx.Monad.Either.Dsl.Step.Map.t()
  | Funx.Monad.Either.Dsl.Step.Ap.t()
  | Funx.Monad.Either.Dsl.Step.EitherFunction.t()
  | Funx.Monad.Either.Dsl.Step.BindableFunction.t()
  | Funx.Monad.Either.Dsl.Step.ProtocolFunction.t()

Union type representing any Step type in the Either DSL pipeline.

Each step type is a distinct struct with enforced fields and type checking.