Creates the shape that is constrained with a narrowing predicate.
The type predicate that returns true
if value conforms the required type, or false
otherwise.
Optional
options: Message | RefineOptionsThe issue options or the issue message.
The shape that has the narrowed output.
Creates the shape that is constrained with a predicate.
The predicate that returns truthy result if value is valid, or returns falsy result otherwise.
Optional
options: Message | RefineOptionsThe issue options or the issue message.
Creates the unconstrained shape.
You can specify compile-time type to enhance type inference.
This provides no runtime type-safety!