exchema v0.4.0 API Reference

Modules

Exchema is a library for defining data structures using refinement types

A DSL for defining types

Exschema default predicates library

This is the contract of a type module

Represents an atom

Represents a boolean

Represents Date struct

Represents DateTime struct

Represents a float

Represents a negative float

Represents a non negative float

Represents a non positive float

Represents a positive float

Represents an integer

Represents a negative integer

Represents a non negative integer

Represents a non positive integer

Represents a positive integer

Represent a List and its element types

Represents a Map with given key and value types

Represents NaiveDateTime struct

Represents a number, either a float or an integer

Represents a negative number

Represents a non negative number

Represents a non positive number

Represents a positive number

Represents one of the given types. Also known as a sum type

This is a specification of the Exchema.Types.OneOf type

Represents a value which can be nil

Represents any string/binary

Represents a specific struct with some field constraints

Represents Time struct

Represents a tuple of any size