| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.OgmaSpec
Description
Abstract representation of an Ogma specification.
Synopsis
- data Spec a = Spec {}
- data InternalVariableDef = InternalVariableDef {
- internalVariableName :: String
- internalVariableType :: String
- internalVariableExpr :: String
- data ExternalVariableDef = ExternalVariableDef {
- externalVariableName :: String
- externalVariableType :: String
- data Requirement a = Requirement {
- requirementName :: String
- requirementExpr :: a
- requirementDescription :: String
- requirementResultType :: Maybe String
- requirementResultExpr :: Maybe a
Documentation
Abstract representation of an Ogma specification.
Constructors
| Spec | |
Fields | |
data InternalVariableDef Source #
Internal variable definition, with a given name, its type and definining expression.
Constructors
| InternalVariableDef | |
Fields
| |
Instances
| Show InternalVariableDef Source # | |
Defined in Data.OgmaSpec Methods showsPrec :: Int -> InternalVariableDef -> ShowS show :: InternalVariableDef -> String showList :: [InternalVariableDef] -> ShowS | |
data ExternalVariableDef Source #
External variable definition, with a given name and type.
The value of external variables is assigned outside Copilot, so they have no defining expression in this type.
Constructors
| ExternalVariableDef | |
Fields
| |
Instances
| Show ExternalVariableDef Source # | |
Defined in Data.OgmaSpec Methods showsPrec :: Int -> ExternalVariableDef -> ShowS show :: ExternalVariableDef -> String showList :: [ExternalVariableDef] -> ShowS | |
data Requirement a Source #
Requirement with a given name and a boolean expression.
Constructors
| Requirement | |
Fields
| |
Instances
| Show a => Show (Requirement a) Source # | |
Defined in Data.OgmaSpec Methods showsPrec :: Int -> Requirement a -> ShowS show :: Requirement a -> String showList :: [Requirement a] -> ShowS | |