Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Command.FPrimeApp
Description
Create FPrime components that subscribe to obtain data and call Copilot when new values arrive.
Synopsis
- command :: CommandOptions -> IO (Result ErrorCode)
- data CommandOptions = CommandOptions {
- commandInputFile :: Maybe FilePath
- commandTargetDir :: FilePath
- commandTemplateDir :: Maybe FilePath
- commandVariables :: Maybe FilePath
- commandVariableDB :: Maybe FilePath
- commandHandlers :: Maybe FilePath
- commandFormat :: String
- commandPropFormat :: String
- commandPropVia :: Maybe String
- commandExtraVars :: Maybe FilePath
- type ErrorCode = Int
Documentation
Arguments
:: CommandOptions | Options to the ROS backend. |
-> IO (Result ErrorCode) |
Generate a new FPrime component connected to Copilot.
data CommandOptions Source #
Options used to customize the conversion of specifications to F' applications.
Constructors
CommandOptions | |
Fields
|