refinery v0.2.0 Refinery
Refinery is an Elixir DSL for defining refinement types.
Definitions
A refinement is a unary predicate function: a function that accepts one argument and returns a boolean.
A type is a named, ordered collection of refinements that describe a set of Elixir terms.
An object is a collection of types, similar to an Elixir struct. Each key in an object has a type. An object can also have refinements that accept the object as an argument.
An algebra is a grouping of related types and objects.
Link to this section Summary
Link to this section Functions
Link to this function
cast(term, list)