View Source Funx.Monad.Identity (funx v0.1.0)

The Funx.Monad.Identity module represents the identity monad, where values are simply wrapped in a structure and operations are applied directly to those values.

This module implements the following protocols:

  • Funx.Monad: Implements the bind/2, map/2, and ap/2 functions for monadic operations.
  • Funx.Eq: Defines equality checks for Identity values.
  • Funx.Ord: Defines ordering logic for Identity values.
  • String.Chars: Converts an Identity value into a string representation.

Summary

Types

t(value)

Functions

extract(identity)

Extracts the value from an Identity.

lift_eq(custom_eq)
lift_ord(custom_ord)
pure(value)

Creates a new Identity value by wrapping a given value.

Types

Link to this type

t(value)

View Source 
@type t(value) :: %Funx.Monad.Identity{value: value}

Functions

Link to this function

extract(identity)

View Source 
@spec extract(t(value)) :: value when value: term()

Extracts the value from an Identity.

Examples 

iex> Funx.Monad.Identity.extract(Funx.Monad.Identity.pure(5))
5
Link to this function

lift_eq(custom_eq)

View Source 
@spec lift_eq(Funx.Eq.Utils.eq_map()) :: Funx.Eq.Utils.eq_map()
Link to this function

lift_ord(custom_ord)

View Source 
@spec lift_ord(Funx.Ord.Utils.ord_map()) :: Funx.Ord.Utils.ord_map()
Link to this function

pure(value)

View Source 
@spec pure(value) :: t(value) when value: term()

Creates a new Identity value by wrapping a given value.

Examples 

iex> Funx.Monad.Identity.pure(5)
%Funx.Monad.Identity{value: 5}