Copilot.Compile.C99.Util

Documentation

type FunEnv = ([Decln], [Ident])

statetell :: Monoid m => m -> State m ()

tell equivalent for State.

fresh :: String -> [String] -> String

Generate fresh variable name based on a given one.

names :: [Decln] -> [String]

Collect all the names from a list of C99 declarations.

streamname :: Id -> String

Turn a stream id into a suitable C variable name.

indexname :: Id -> String

Turn a stream id into the global varname for indices.

excpyname :: String -> String

Add a postfix for copies of external variables the name.

generatorname :: Id -> String

Turn stream id into name of its generator function.

guardname :: String -> String

Turn a the name of a trigger into a guard generator.

argname :: String -> Int -> String

Turn a trigger name into a an trigger argument name.

argnames :: String -> [String]

Enumerate all argument names based on trigger name.

funcall :: Ident -> [Expr] -> Expr