Attributes
Members list
Type members
Types
Maps a tuple of DoneOperations to the corresponding tuple of handler function types. Each operation with no parameters maps to () => OutputType; each operation with parameters maps to (p1: T1, p2: T2, ...) => OutputType (a named-tuple function).
Maps a tuple of DoneOperations to the corresponding tuple of handler function types. Each operation with no parameters maps to () => OutputType; each operation with parameters maps to (p1: T1, p2: T2, ...) => OutputType (a named-tuple function).
Attributes
Givens
Givens
Derives a Done mirror for T at compile time.
Derives a Done mirror for T at compile time.
Each field member and declared method of T becomes a DoneOperation in the resulting Done.Operations tuple. Methods with multiple parameter lists are flattened into a single DoneOperation.InputElems tuple.
Attributes
- See also
Extensions
Extensions
Type-safe entry point for DoneOperation.apply — enforces at compile time that op was derived from the same mirror (its DoneOperation.OuterType equals the mirror's Done.Type).
Type-safe entry point for DoneOperation.apply — enforces at compile time that op was derived from the same mirror (its DoneOperation.OuterType equals the mirror's Done.Type).