Brand
module Brand
| |
|---|
| Assembly | Xantham.Fable.Core |
Crossing the brand boundary. Every operation here is an erased cast: it changes what the type checker will accept and nothing about the value.
Functions and values
tagBool<'m> (value: bool) : bool<'m>
Apply a brand to a raw bool.
tagChar<'m> (value: char) : char<'m>
Apply a brand to a raw char.
tagString<'m> (value: string) : string<'m>
Apply a brand to a raw string.
untagBool<'m> (value: bool<'m>) : bool
Drop the brand from a bool, recovering the primitive.
untagChar<'m> (value: char<'m>) : char
Drop the brand from a char, recovering the primitive.
untagString<'m> (value: string<'m>) : string
Drop the brand from a string, recovering the primitive.