ogma-core-1.7.0: Ogma: Helper tool to interoperate between Copilot and other languages.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Command.FPrimeApp

Description

Create FPrime components that subscribe to obtain data and call Copilot when new values arrive.

Synopsis

Documentation

command Source #

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

type ErrorCode = Int Source #

Encoding of reasons why the command can fail.