Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Represent information about externs needed in the generation of C99 code for stream declarations and triggers.
Documentation
Representation of external variables.
forall a. External | |
|
extunion :: [External] -> [External] -> [External] Source #
Union over lists of External, we solely base the equality on the extname's.
gatherexts :: [Stream] -> [Trigger] -> [External] Source #
Collect all external variables from the streams and triggers.
Although Copilot specifications can contain also properties and theorems, the C99 backend currently only generates code for streams and triggers.