2.5 Brands

Usage:

include brands

import brands as ...

Brands are a mostly internal language concept, useful for implementing custom datatypes.

brander :: () -> Brand<a>

Creates a new brand.

.brand :: (arg :: Any) -> a

Produce a copy of the value with this brand.

.test :: (arg :: Any) -> Boolean

Test if the value has this brand.