TypeClass.Property.FailedCheckError exception (TypeClass v1.2.8) View Source

Information about a failed property check

Examples

%TypeClass.Property.FailedCheckError{
  message:  "List does not conform to property CoolClass.associative",
  datatype: List,
  property: :associative,
  class:    CoolClass
}

Link to this section Summary

Types

t()

Functions

new(datatype, class, prop_name)

Convenience constructor

Link to this section Types

t()

Specs

t() :: %TypeClass.Property.FailedCheckError{
  __exception__: term(),
  datatype: module(),
  message: String.t(),
  property: atom(),
  type_class: module()
}

Link to this section Functions

new(datatype, class, prop_name)

Specs

new(module(), module(), atom()) :: t()

Convenience constructor

Examples

iex> TypeClass.Property.FailedCheckError.new(List, CoolClass, :associative)
%TypeClass.Property.FailedCheckError{
  message:  "List does not conform to property CoolClass.associative",
  datatype: List,
  property: :associative,
  class:    CoolClass
}