Language.JSONSpec.Parser

Parser for Ogma specs stored in JSON files.

Documentation

data JSONFormat

Constructors

JSONFormat

Fields

• specInternalVars :: Maybe String
• specInternalVarId :: String
• specInternalVarExpr :: String
• specInternalVarType :: Maybe String
• specExternalVars :: Maybe String
• specExternalVarId :: String
• specExternalVarType :: Maybe String
• specRequirements :: String
• specRequirementId :: String
• specRequirementDesc :: Maybe String
• specRequirementExpr :: String

Instances

Read JSONFormat

Defined in Language.JSONSpec.Parser

Methods

readsPrec :: Int -> ReadS JSONFormat

readList :: ReadS [JSONFormat]

readPrec :: ReadPrec JSONFormat

readListPrec :: ReadPrec [JSONFormat]

data JSONFormatInternal

Constructors

JSONFormatInternal

Fields

• jfiInternalVars :: Maybe [JSONPathElement]
• jfiInternalVarId :: [JSONPathElement]
• jfiInternalVarExpr :: [JSONPathElement]
• jfiInternalVarType :: Maybe [JSONPathElement]
• jfiExternalVars :: Maybe [JSONPathElement]
• jfiExternalVarId :: [JSONPathElement]
• jfiExternalVarType :: Maybe [JSONPathElement]
• jfiRequirements :: [JSONPathElement]
• jfiRequirementId :: [JSONPathElement]
• jfiRequirementDesc :: Maybe [JSONPathElement]
• jfiRequirementExpr :: [JSONPathElement]

parseJSONFormat :: JSONFormat -> Either String JSONFormatInternal

parseJSONSpec :: (String -> IO (Either String a)) -> JSONFormat -> Value -> IO (Either String (Spec a))

valueToString :: String -> Value -> Either String String

listToEither :: String -> [a] -> Either String a

parseJSONPath :: Text -> Either String [JSONPathElement]

Parse a JSONPath expression, returning its element components.

showErrors :: Show a => Either a b -> Either String b

showErrorsM :: Show a => Maybe (Either a b) -> Either String (Maybe b)

except :: Monad m => Either e a -> ExceptT e m a

Wrap an Either value in an ExceptT m monad.