# destack:types

`import destack:types`

## Newtypes

- [Function](/docs/language/standard-library/modules/types/newtype/function/) — Callable value type, repeatable by default and affine when invoked once.

## Newtype interfaces

- [ThisType](/docs/language/standard-library/modules/types/newtype-interface/this-type/) — Marker for contextual object this typing.

## Type aliases

- [Awaited](/docs/language/standard-library/modules/types/type-alias/awaited/) — Recursively unwrap promise-like values.
- [Capitalize](/docs/language/standard-library/modules/types/type-alias/capitalize/) — Map each string in S to capitalize its first character.
- [ConstructorParameters](/docs/language/standard-library/modules/types/type-alias/constructor-parameters/) — Extract the parameter tuple from a constructor type.
- [Exclude](/docs/language/standard-library/modules/types/type-alias/exclude/) — Remove union members of T assignable to U.
- [Extract](/docs/language/standard-library/modules/types/type-alias/extract/) — Keep union members of T assignable to U.
- [InstanceType](/docs/language/standard-library/modules/types/type-alias/instance-type/) — Extract the instance type from a constructor type.
- [Lowercase](/docs/language/standard-library/modules/types/type-alias/lowercase/) — Map each string in S to its lowercase form.
- [MutableFields](/docs/language/standard-library/modules/types/type-alias/mutable-fields/) — Make each field of T mutable.
- [NoInfer](/docs/language/standard-library/modules/types/type-alias/no-infer/) — Block inference from this use of T.
- [NonNullable](/docs/language/standard-library/modules/types/type-alias/non-nullable/) — Remove null and undefined from T.
- [Omit](/docs/language/standard-library/modules/types/type-alias/omit/) — Remove fields K from T.
- [OmitThisParameter](/docs/language/standard-library/modules/types/type-alias/omit-this-parameter/) — Remove the explicit receiver from a callable type.
- [Parameters](/docs/language/standard-library/modules/types/type-alias/parameters/) — Extract the parameter tuple from a callable type.
- [Partial](/docs/language/standard-library/modules/types/type-alias/partial/) — Make each field of T optional.
- [Pick](/docs/language/standard-library/modules/types/type-alias/pick/) — Keep fields K from T.
- [PropertyKey](/docs/language/standard-library/modules/types/type-alias/property-key/) — Type of valid object property keys.
- [Readonly](/docs/language/standard-library/modules/types/type-alias/readonly/) — Make T deeply readonly.
- [Record](/docs/language/standard-library/modules/types/type-alias/record/) — Object type with keys K and values V.
- [Required](/docs/language/standard-library/modules/types/type-alias/required/) — Make each field of T required.
- [ReturnType](/docs/language/standard-library/modules/types/type-alias/return-type/) — Extract the return type from a callable type.
- [ThisParameterType](/docs/language/standard-library/modules/types/type-alias/this-parameter-type/) — Extract the explicit receiver from a callable type.
- [Uncapitalize](/docs/language/standard-library/modules/types/type-alias/uncapitalize/) — Map each string in S to uncapitalize its first character.
- [Uppercase](/docs/language/standard-library/modules/types/type-alias/uppercase/) — Map each string in S to its uppercase form.