croma v0.2.0

Utility module to import croma macros

Module that represents the Elixir’s built-in atom type. Intended to be used with other parts of croma to express atom variables

Module that represents the Elixir’s built-in bitstring type. Intended to be used with other parts of croma to express bitstring variables

Module that represents the Elixir’s built-in boolean type. Intended to be used with other parts of croma to express boolean variables

Module that provides Croma.Defpt.defpt/2 macro

Module that provides Croma.Defun.defun/2 macro

Module that represents the Elixir’s built-in float type. Intended to be used with other parts of croma to express float variables

Module that represents the Elixir’s built-in function type. Intended to be used with other parts of croma to express function variables

Module that represents the Elixir’s built-in integer type. Intended to be used with other parts of croma to express integer variables

Module that represents the Elixir’s built-in list type. Intended to be used with other parts of croma to express list variables

Implementation of Croma.Monad interface for built-in lists

Module that represents the Elixir’s built-in map type. Intended to be used with other parts of croma to express map variables

This module defines an interface for monad

Module that represents the Elixir’s built-in pid type. Intended to be used with other parts of croma to express pid variables

Module that represents the Elixir’s built-in port type. Intended to be used with other parts of croma to express port variables

Module that represents the Elixir’s built-in reference type. Intended to be used with other parts of croma to express reference variables

A simple data structure to represent a result of computation that can either succeed or fail, in the form of {:ok, any} or {:error, any}

Module that represents the Elixir’s built-in String.t type. Intended to be used with other parts of croma to express String.t variables

Utility module to define structs and some helper functions

This module provides a new syntax with ~> operator for calls to functions that take structs as 1st arguments

Helper module to define a type whose members are a fixed set of atoms. The following members are generated by use Croma.SubtypeOfAtom:

Helper module to define a float-based type. The following members are generated by use Croma.SubtypeOfFloat:

Helper module to define an integer-based type. The following members are generated by use Croma.SubtypeOfInt:

Helper module to define a list-based type. The following members are generated by use Croma.SubtypeOfList:

Helper module to define a string-based type. The following members are generated by use Croma.SubtypeOfString:

Module that represents the Elixir’s built-in tuple type. Intended to be used with other parts of croma to express tuple variables

Module that defines macros for ad-hoc module definitions