TypeClass v1.0.0 TypeClass.Property.UndefinedError exception

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

Summary

Functions

Callback implementation for Exception.exception/1

Callback implementation for Exception.message/1

Convenience constructor

Types

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

Functions

exception(msg)
exception(String.t) :: Exception.t
exception(Keyword.t) :: Exception.t

Callback implementation for Exception.exception/1.

message(exception)
message(Exception.t) :: String.t

Callback implementation for Exception.message/1.

new(class)
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`](TypeClass.html#properties/1) for more
  "
}