TypeClass v1.2.0 API Reference

Modules

Helpers for defining (bootstrapped, semi-)principled type classes

Helpers for setting type class dependencies

A very simple prop checker

Internal representation of a custom generator

Helpers to module attributes

Naming convention helpers to help follow TypeClass conventions

Exceptions

Information about a failed property check

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

Protocols

Data generator protocol for property checks. The more variation the better