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

Types

t()

Functions

new(class)

Convenience constructor

Link to this section Types

t()

Specs

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

Link to this section Functions

new(class)

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
  "
}