Namespace t

Namespaces

Functor

Interfaces

bottom
Free
has
invalid
nonnullable
ReadonlyArray
top

Type Aliases

Boundable
BoundableTag
Entry
F
Fixpoint
IndexedFunctor
Leaf
Nullary
NullaryTag
Predicate
Tag
TypeName
typeof
Unary
UnaryTag
UnaryTypeName

Variables

fold
foldWithIndex
Functor
IndexedFunctor
isPredicate
key
nonnullable
readonlyArray
tags
unfold

Functions

filter
has
isBoundable
isBoundableTag
isCore
isLeaf
isNullary
isNullaryTag
isUnary

References

any → t_any
array → t_array
bigint → t_bigint
boolean → t_boolean
enum → t_enum
eq → t_eq
integer → t_integer
intersect → t_intersect
LowerBound → t_LowerBound
never → t_never
null → t_null
null_ → t_null
number → t_number
object → t_object
of → t_of
optional → t_optional
record → t_record
recurse → recurse
Schema → t_Schema
string → t_string
symbol → t_symbol
tuple → t_tuple
undefined → t_undefined
undefined_ → t_undefined
union → t_union
unknown → t_unknown
void → t_void
void_ → t_void