Safe Haskell	Safe
Language	Haskell2010

Copilot.Compile.C99.External

Description

Represent information about externs needed in the generation of C99 code for stream declarations and triggers.

Synopsis

data External = forall a. External {
- extname :: String
- extcpyname :: String
- exttype :: Type a
}
extunion :: [External] -> [External] -> [External]
gatherexts :: [Stream] -> [Trigger] -> [External]

Documentation

Representation of external variables.

Constructors

forall a. External
Fields extname :: String extcpyname :: String exttype :: Type a

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.