TypeClass v1.0.0-alpha4 TypeClass.Property

A very simple prop checker

Summary

Functions

Run all properties for the type class

Macros

Ensure that the type class has defined properties

Functions

run!(datatype, class, prop_name, times \\ 100)
run!(module, module, atom, non_neg_integer) :: no_return

Run all properties for the type class

Macros

ensure!()
ensure!(term) :: no_return

Ensure that the type class has defined properties