On this page:
Brand
brander
.brand
.test

2.7 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.