A branded type to define unique types for type-level programming.
It supports all primitive types and object types.
When using object types, the type intersect with the specified type to give easy access to its properties.
Internally, it uses the properties _$type and _$value to store the type and value. The type you provide should avoid specifying these properties.
_$type
_$value
If needed, use $O: { bare: true } to avoid the intersection.
$O: { bare: true }
8.0.0
A branded type to define unique types for type-level programming.
It supports all primitive types and object types.
When using object types, the type intersect with the specified type to give easy access to its properties.
Internally, it uses the properties
_$typeand_$valueto store the type and value. The type you provide should avoid specifying these properties.If needed, use
$O: { bare: true }to avoid the intersection.