View Source Funx.Monad.Identity (funx v0.3.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.

Functions

pure/1: Wraps a value in the Identity monad.
extract/1: Extracts the wrapped value from an Identity.

Protocols

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.
Funx.Tappable: Executes side effects on the wrapped value via Funx.Tappable.tap/2.
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

t(value)

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

Functions

extract(identity)

@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

lift_eq(custom_eq)

@spec lift_eq(Funx.Eq.Utils.eq_map()) :: Funx.Eq.Utils.eq_map()

lift_ord(custom_ord)

@spec lift_ord(Funx.Ord.Utils.ord_map()) :: Funx.Ord.Utils.ord_map()

pure(value)

@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}