Funx.Monad.Either.Right
Mix.install([
{:funx,
git: "https://github.com/JKWA/funx.git",
branch: "main"
}
])
Overview
Represents the Right variant of the Either monad, used to model a success or valid result.
This module implements the following protocols:
-
Funx.Eq: Defines equality checks betweenRightand otherEithervalues. -
Funx.Foldable: Providesfold_l/3andfold_r/3to handle folding forRightvalues. -
Funx.Monad: Implements thebind/2,map/2, andap/2functions for monadic operations. -
Funx.Ord: Defines ordering logic forRightandLeftvalues.
The Right monad represents a valid result, and the contained value is propagated through operations.
Function Examples
import Funx.Monad.Either.Right
alias Funx.Monad.Either.Right
Functions
pure/1
Creates a new Right value.
The pure/1 function wraps a value in the Right monad, representing a valid result.
Examples
pure(5)