Copilot.Language.Operators.Label

Label a stream with additional information.

Documentation

label :: Typed a => String -> Stream a -> Stream a

This function allows you to label a stream with a tag, which can be used by different backends to provide additional information either in error messages or in the generated code (e.g., for traceability purposes).

Semantically, a labelled stream is just the stream inside it. The use of label should not affect the observable behavior of the monitor, and how it is used in the code generated is a decision specific to each backend.