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

Warning if a type class is missing properties. Properties are required for all type classes.

Link to this section Summary

Functions

Convenience constructor

Link to this section Types

Specs

t() :: %TypeClass.Property.UndefinedError{
  __exception__: term(),
  message: String.t(),
  type_class: module()
}

Link to this section Functions

Specs

new(module()) :: t()

Convenience constructor

Examples

iex> TypeClass.Property.UndefinedError.new(CoolClass)
%TypeClass.Property.UndefinedError{
  type_class: CoolClass,
  message: ~S"
  CoolClass has not defined any properties, but they are required.

  See `TypeClass.properties/1` for more
  "
}