copilot-language-3.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Language.Operators.Struct
(#) :: (KnownSymbol s, Typed t, Typed a, Struct a) => Stream a -> (a -> Field s t) -> Stream t Source #