Type Classes

Type classes are written with the class keyword.

TypeClass ::= class Name Generics? { Decl,+ }

Decl ::= def Name Generics? ( Type,+ ) ;

Examples

{{#include ../../../arc-lang/examples/type-class.arc:class}}