Generics

Items can be parameterised by generic types. Generics can in addition be bounded by type class constraints using a where clause.

Generics ::= [ Generic,+ ]

Generic ::= Name

Examples

Explicit generic function

{{#include ../../../arc-lang/examples/generic-function.arc:example}}

Inferred generic function

{{#include ../../../arc-lang/examples/inferred.arc:example}}