💀 deprecated since 8.0.0: use $Error instead.
$Error
A failed type with message.
This is analogous to the Error class in JavaScript.
Error
It can be used in type-level programming to failed an error message.
If you want to add additional type information, use FailedT or create your own failed type instead.
FailedT
type T = Failed<'error message'> Copy
type T = Failed<'error message'>
Deprecated
💀 deprecated since 8.0.0: use
$Error
instead.A failed type with message.
This is analogous to the
Error
class in JavaScript.It can be used in type-level programming to failed an error message.
If you want to add additional type information, use
FailedT
or create your own failed type instead.