exchema v0.2.0 Exchema.Type behaviour
This is the contract of a type module.
To implement your own type you should just implement
the ___type__/1
callback which receives a tuple with
your type arguments. If you have a concrete type,
then it should match on receiving an empty tuple {}
.
Link to this section Summary
Link to this section Types
Link to this type
predicate_result()
predicate_result() :: predicate_failure() | predicate_success()
Link to this section Functions
Link to this function
resolve_type(type)
resolve_type(Type.type_reference()) :: Type.t() | Type.refined_type()