TypeClass v1.2.0 TypeClass.Property.FailedCheckError exception 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

Functions

Callback implementation for Exception.exception/1

Callback implementation for Exception.message/1

Convenience constructor

Link to this section Types

Link to this type t() View Source
t() :: %TypeClass.Property.FailedCheckError{__exception__: term, datatype: module, message: String.t, property: atom, type_class: module}

Link to this section Functions

Callback implementation for Exception.exception/1.

Callback implementation for Exception.message/1.

Link to this function new(datatype, class, prop_name) View Source
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
}