| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.JSONSpec.Parser
Description
Parser for Ogma specs stored in JSON files.
Synopsis
- data JSONFormat = JSONFormat {
- specInternalVars :: Maybe String
- specInternalVarId :: String
- specInternalVarExpr :: String
- specInternalVarType :: Maybe String
- specExternalVars :: Maybe String
- specExternalVarId :: String
- specExternalVarType :: Maybe String
- specRequirements :: String
- specRequirementId :: FieldSource
- specRequirementDesc :: Maybe String
- specRequirementExpr :: String
- specRequirementResultType :: Maybe String
- specRequirementResultExpr :: Maybe String
- data FieldSource
- data JSONFormatInternal = JSONFormatInternal {
- jfiInternalVars :: Maybe [JSONPathElement]
- jfiInternalVarId :: [JSONPathElement]
- jfiInternalVarExpr :: [JSONPathElement]
- jfiInternalVarType :: Maybe [JSONPathElement]
- jfiExternalVars :: Maybe [JSONPathElement]
- jfiExternalVarId :: [JSONPathElement]
- jfiExternalVarType :: Maybe [JSONPathElement]
- jfiRequirements :: [JSONPathElement]
- jfiRequirementId :: FieldSourceInternal
- jfiRequirementDesc :: Maybe [JSONPathElement]
- jfiRequirementExpr :: [JSONPathElement]
- jfiRequirementResultType :: Maybe [JSONPathElement]
- jfiRequirementResultExpr :: Maybe [JSONPathElement]
- data FieldSourceInternal
- = FSIJSONPath [JSONPathElement]
- | FSIFileName
- | FSIBaseName
- parseJSONFormat :: JSONFormat -> Either String JSONFormatInternal
- parseJSONSpec :: (String -> IO (Either String a)) -> JSONFormat -> FilePath -> Value -> IO (Either String (Spec a))
- valueToString :: String -> Value -> Either String String
- listToEither :: String -> [a] -> Either String a
- parseJSONPath :: Text -> Either String [JSONPathElement]
- showErrors :: Show a => Either a b -> Either String b
- showErrorsM :: Show a => Maybe (Either a b) -> Either String (Maybe b)
- except :: forall (m :: Type -> Type) e a. Monad m => Either e a -> ExceptT e m a
- maybeEither :: Maybe (Either a b) -> Either a (Maybe b)
Documentation
data JSONFormat Source #
Constructors
Instances
| Read JSONFormat Source # | |
Defined in Language.JSONSpec.Parser | |
data FieldSource Source #
Source used to populate the value of a field in a spec.
Constructors
| JSONPath String | JSON path |
| FileName | Filename with extension |
| BaseName | Filename without extension |
Instances
| Read FieldSource Source # | Custom instance to read a |
Defined in Language.JSONSpec.Parser | |
| Show FieldSource Source # | |
Defined in Language.JSONSpec.Parser | |
data JSONFormatInternal Source #
Constructors
| JSONFormatInternal | |
Fields
| |
data FieldSourceInternal Source #
Internal representation of the source used to populate the value of a field in a spec.
Constructors
| FSIJSONPath [JSONPathElement] | JSON path |
| FSIFileName | Filename with extension |
| FSIBaseName | Filename without extension |
Instances
| Show FieldSourceInternal Source # | |
Defined in Language.JSONSpec.Parser | |
parseJSONSpec :: (String -> IO (Either String a)) -> JSONFormat -> FilePath -> Value -> IO (Either String (Spec a)) Source #
parseJSONPath :: Text -> Either String [JSONPathElement] Source #
Parse a JSONPath expression, returning its element components.