API Reference fun_land v0.10.0

FunLand defines many different Algebraic Data Types.

Something is Appliable if you can apply one of it (containing one or multiple functions) with another.

Delegation module to be invoked when one of the FunLand behaviour-specifications is called with an Atom as argument.

Delegation module to be invoked when one of the FunLand behaviour-specifications is called with a Float as argument.

Delegation module to be invoked when one of the FunLand behaviour-specifications is called with an Integer as argument.

Maps are Mappable, because we can map over {k, v}-tuples to create new values. ( Note that different from the Map implementation of Enum.map, the result should be a new value, and not a new {key, value}-tuple. There is no way to alter the key while mapping over a Map, as the key is part of the structure, rather than its contents! )

Delegation module to be invoked when one of the FunLand behaviour-specifications is called with a PID as argument.

Delegation module to be invoked when one of the FunLand behaviour-specifications is called with a Port as argument.

Delegation module to be invoked when one of the FunLand behaviour-specifications is called with a Reference as argument.

Uses {:ok, value} | :error | {:error, error} as representation of the Either type

Defines a 'chain' operation to apply a function that takes a simple value and outputs a new Chainable to a value inside a Chainable.

If an operation is can combine two elements, and there is a clearly defined empty empty version that can be used to keep the same element when used on an element.

Things that are both combinable and a monad.

FunLand Helper functions for some common Algorithmic Data Type implementations.

Something is Mappable if there is a way to map a function over it.

A Monad: a sequence of operations inside a context.

Anything that implements the Reducible behaviour, can be reduced to a single value, when given a combinable (or combining-function + base value).

An operation is Semiombinable if you can combine two values using it, but there is no clearly defined neutral thing which you can combine with an element to obtain itself.

WARNING: This module is not completely stable yet, and should therefore not be used in practice yet.