# destack:decorator

`import destack:decorator`

## Newtypes

- [allow](/docs/language/standard-library/modules/decorator/newtype/allow/) — Suppress a diagnostic.
- [capture](/docs/language/standard-library/modules/decorator/newtype/capture/) — Configure closure capture modes for a lambda.
- [cold](/docs/language/standard-library/modules/decorator/newtype/cold/) — Hint that a function is on a cold path.
- [deny](/docs/language/standard-library/modules/decorator/newtype/deny/) — Report a diagnostic as an error.
- [deprecated](/docs/language/standard-library/modules/decorator/newtype/deprecated/) — Marks a declaration as deprecated.
- [derive](/docs/language/standard-library/modules/decorator/newtype/derive/) — Derive provider dispatcher.
- [expect](/docs/language/standard-library/modules/decorator/newtype/expect/) — Expect a diagnostic.
- [experimental](/docs/language/standard-library/modules/decorator/newtype/experimental/) — Marks a declaration as experimental.
- [extern](/docs/language/standard-library/modules/decorator/newtype/extern/) — Marks a declaration as externally linked.
- [forbid](/docs/language/standard-library/modules/decorator/newtype/forbid/) — Forbid overriding a diagnostic error.
- [hot](/docs/language/standard-library/modules/decorator/newtype/hot/) — Hint that a function is on a hot path.
- [inline](/docs/language/standard-library/modules/decorator/newtype/inline/) — Inline hint for generated code.
- [intrinsic](/docs/language/standard-library/modules/decorator/newtype/intrinsic/) — Compiler intrinsic marker.
- [languageItem](/docs/language/standard-library/modules/decorator/newtype/language-item/) — Compiler language item marker.
- [likely](/docs/language/standard-library/modules/decorator/newtype/likely/) — Hint that a branch is likely to be taken.
- [mustUse](/docs/language/standard-library/modules/decorator/newtype/must-use/) — Warn when a return value is ignored.
- [noAliasingMutableBorrows](/docs/language/standard-library/modules/decorator/newtype/no-aliasing-mutable-borrows/) — Ban aliasing mutable borrows.
- [noDynamicDispatch](/docs/language/standard-library/modules/decorator/newtype/no-dynamic-dispatch/) — Forbid dynamic dispatch.
- [noHeap](/docs/language/standard-library/modules/decorator/newtype/no-heap/) — Forbid heap allocation.
- [noImplicitReceivers](/docs/language/standard-library/modules/decorator/newtype/no-implicit-receivers/) — Ban implicit method receivers.
- [noinline](/docs/language/standard-library/modules/decorator/newtype/noinline/) — No-inline hint for generated code.
- [noManaged](/docs/language/standard-library/modules/decorator/newtype/no-managed/) — Forbid managed values and managed allocation.
- [noReflection](/docs/language/standard-library/modules/decorator/newtype/no-reflection/) — Forbid runtime reflection.
- [noRuntime](/docs/language/standard-library/modules/decorator/newtype/no-runtime/) — Forbid runtime-dependent language features.
- [noUnsafe](/docs/language/standard-library/modules/decorator/newtype/no-unsafe/) — Forbid unsafe operations.
- [noUnwind](/docs/language/standard-library/modules/decorator/newtype/no-unwind/) — Forbid unwinding.
- [pure](/docs/language/standard-library/modules/decorator/newtype/pure/) — Mark a function as free of observable side effects.
- [repr](/docs/language/standard-library/modules/decorator/newtype/repr/) — Specify the representation for a declaration.
- [safe](/docs/language/standard-library/modules/decorator/newtype/safe/) — Marks a declaration as containing unsafe implementation details behind a safe API.
- [sink](/docs/language/standard-library/modules/decorator/newtype/sink/) — Marks a declaration as a boundary where tainted data leaves.
- [source](/docs/language/standard-library/modules/decorator/newtype/source/) — Marks a declaration as a boundary where tainted data enters.
- [tailcall](/docs/language/standard-library/modules/decorator/newtype/tailcall/) — Hint that a function should use a tail call.
- [taint](/docs/language/standard-library/modules/decorator/newtype/taint/) — Marks data as carrying one taint.
- [unlikely](/docs/language/standard-library/modules/decorator/newtype/unlikely/) — Hint that a branch is unlikely to be taken.
- [unroll](/docs/language/standard-library/modules/decorator/newtype/unroll/) — Loop unroll hint for generated code.
- [unsafe](/docs/language/standard-library/modules/decorator/newtype/unsafe/) — Marks an API, expression, or block as crossing an unsafe boundary.
- [untaint](/docs/language/standard-library/modules/decorator/newtype/untaint/) — Marks a declaration as removing taints for one boundary domain.
- [warn](/docs/language/standard-library/modules/decorator/newtype/warn/) — Report a diagnostic as a warning.

## Type aliases

- [CaptureDirective](/docs/language/standard-library/modules/decorator/type-alias/capture-directive/) — Capture directive value for the capture decorator.
- [CaptureMode](/docs/language/standard-library/modules/decorator/type-alias/capture-mode/) — Capture mode for closure bindings.
- [DiagnosticControlOptions](/docs/language/standard-library/modules/decorator/type-alias/diagnostic-control-options/) — Options for scoped diagnostic controls.
- [DiagnosticId](/docs/language/standard-library/modules/decorator/type-alias/diagnostic-id/) — A canonical diagnostic id.
- [InlineHint](/docs/language/standard-library/modules/decorator/type-alias/inline-hint/) — Inline policy for a function.
- [Representation](/docs/language/standard-library/modules/decorator/type-alias/representation/) — Representation policy for a declaration.
- [RepresentationOptions](/docs/language/standard-library/modules/decorator/type-alias/representation-options/) — Representation options for a declaration.
- [SinkOptions](/docs/language/standard-library/modules/decorator/type-alias/sink-options/) — Options for sink boundaries.
- [SourceOptions](/docs/language/standard-library/modules/decorator/type-alias/source-options/) — Options for source boundaries.
- [TaintDomain](/docs/language/standard-library/modules/decorator/type-alias/taint-domain/) — Boundary domain where tainted data enters or leaves.
- [TaintTag](/docs/language/standard-library/modules/decorator/type-alias/taint-tag/) — Taint label carried by a value.
- [UntaintOptions](/docs/language/standard-library/modules/decorator/type-alias/untaint-options/) — Options for untaint boundaries.