fun_land v0.10.0

FunLand.Traversable behaviour (fun_land v0.10.0)

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

Link to this section Summary

Types

traversable(a)

Functions

traverse(traversable, result_module_or_datatype, fun)

The Module argument is there to know what kind of Applicative structure to return in the case the traversable that is passed is empty (meaning that fun is never called). As many definitions of traverse are recursive, this case frequently occurs.

Callbacks

traverse(traversable, module, function)

Link to this section Types

Link to this type

traversable(a)

Specs

traversable(a) :: FunLand.adt(a)

Link to this section Functions

Link to this function

traverse(traversable, result_module_or_datatype, fun)

The Module argument is there to know what kind of Applicative structure to return in the case the traversable that is passed is empty (meaning that fun is never called). As many definitions of traverse are recursive, this case frequently occurs.

Thus: result_module should be the same name as the name of thing you return from fun.

Link to this section Callbacks

Link to this callback

traverse(traversable, module, function)

Specs

traverse(traversable(a), module(), (a -> FunLand.Applicative.applicative(b))) ::
  FunLand.Applicative.applicative(traversable(b))
when a: any(), b: any()