type¶
type type < functionType of all types. Every type contains a set of named exports, which allows them to be used as modules.
fun type(Value: any): typeReturns the type of
Value.meth (Type: type) :: (Name: string): any | errorReturns the value of
Nameexported fromType. Returns an error ifNameis not present. This allows types to behave as modules.meth (Type₁: type) * (Type₂: type): typeReturns the closest common parent type of
Type₁andType₂.meth (Type₁: type) < (Type₂: type): type or nilReturns
Type₂ifType₂is a strict parent ofType₁, otherwise returnsnil.meth (Type₁: type) <= (Type₂: type): type or nilReturns
Type₂ifType₂is a parent ofType₁, otherwise returnsnil.meth (Type₁: type) > (Type₂: type): type or nilReturns
Type₂ifType₂is a strict sub-type ofType₁, otherwise returnsnil.meth (Type₁: type) >= (Type₂: type): type or nilReturns
Type₂ifType₂is a sub-type ofType₁, otherwise returnsnil.meth ?(Type: type): typeReturns a union interface of
Typeandtype(nil).meth (Base: type)[Type₁, : type, ...]: typeReturns the generic type
Base[Type₁, ..., Typeₙ].meth (Type: type):constructor: functionReturns the constructor for
Type.meth (Type: type):exports: mapReturns a map of all the exports from
Type.meth (Type: type):name: stringReturns the name of
Type.meth (Type: type):parents: listReturns a list of the parent types of
Type.meth (Type: type):rank: integerReturns the rank of
Type, i.e. the depth of its inheritence tree.meth (Type₁: type) | (Type₂: type): typeReturns a union interface of
Type₁andType₂.meth (Type₁: type) | (Type₂: type::union): typeReturns a union interface of
Type₁andType₂.meth (Buffer: string::buffer):append(Value: type)Appends a representation of
ValuetoBuffer.type type::generic < typeTBD
meth (Arg₁: type::generic):argsTBD
type type::union < typeTBD
meth ?(Type: type::union): typeReturns a union interface of
Type₁andType₂.meth (Type₁: type::union) | (Type₂: type): typeReturns a union interface of
Type₁andType₂.meth (Ref: weak::ref):get: any | nilTBD
type weakrefTBD
fun weakref(Value: any): weakrefTBD