Parsing

Documentation

data AppState

Constructors

AppState

Fields

• modulesReference :: !(IORef [Module])
• currentImportsReference :: !(IORef [Import])
• currentDeclarationNamesReference :: !(IORef (Set ModuleName))
• currentDefinitionsReference :: !(IORef [TypeDefinition])
• currentDefinitionNameReference :: !(IORef (Maybe DefinitionName))

type Parser = ParsecT Void Text (RIO AppState)

parseModules :: [FilePath] -> IO (Either [String] [Module])

run :: AppState -> Text -> Parser a -> IO (Either (ParseErrorBundle Text Void) a)

test :: Show a => AppState -> Text -> Parser a -> IO ()

moduleP :: ModuleName -> FilePath -> Parser Module

addImports :: [Import] -> Parser ()

addDeclarationName :: ModuleName -> Parser ()

getDeclarationNames :: Parser (Set ModuleName)

clearDeclarationNames :: Parser ()

importP :: Parser Import

getModule :: String -> Parser (Maybe Module)

addModule :: Module -> IORef [Module] -> IO ()

typeDefinitionP :: Parser TypeDefinition

declarationP :: Parser TypeDefinition

untaggedUnionP :: Parser TypeDefinition

untaggedUnionCasesP :: Parser [FieldType]

untaggedUnionCaseP :: Parser FieldType

tagTypeP :: Parser TagType

readCurrentDefinitionName :: Parser DefinitionName

structP :: Parser TypeDefinition

genericStructP :: DefinitionName -> [TypeVariable] -> Parser TypeDefinition

plainStructP :: DefinitionName -> Parser TypeDefinition

constructorsP :: [TypeVariable] -> Parser [Constructor]

constructorP :: [TypeVariable] -> Parser Constructor

constructorNameP :: Parser Text

unionP :: FieldName -> Parser TypeDefinition

embeddedUnionP :: FieldName -> Parser TypeDefinition

genericUnionP :: FieldName -> DefinitionName -> [TypeVariable] -> Parser TypeDefinition

embeddedUnionStructConstructorsP :: [TypeVariable] -> Parser [EmbeddedConstructor]

embeddedUnionStructConstructorP :: [TypeVariable] -> Parser EmbeddedConstructor

structReferenceP :: [TypeVariable] -> Parser DefinitionReference

embeddedConstructorNameP :: Parser Text

enumerationP :: Parser TypeDefinition

enumerationValuesP :: Parser [EnumerationValue]

enumerationValueP :: Parser EnumerationValue

plainUnionP :: FieldName -> DefinitionName -> Parser TypeDefinition

typeVariablesP :: Parser [Text]

pascalWordP :: Parser Text

fieldsP :: [TypeVariable] -> Parser [StructField]

fieldP :: [TypeVariable] -> Parser StructField

fieldNameP :: Parser FieldName

definitionNameP :: Parser DefinitionName

setCurrentDefinitionName :: DefinitionName -> Parser ()

recursiveReferenceP :: Parser DefinitionName

definitionReferenceP :: [TypeVariable] -> Parser DefinitionReference

getDefinitions :: Parser [TypeDefinition]

getDefinition :: DefinitionName -> Parser (Maybe TypeDefinition)

addDefinition :: TypeDefinition -> Parser ()

clearDefinitions :: Parser ()

hasDefinition :: TypeDefinition -> [TypeDefinition] -> Bool

fieldTypeP :: [TypeVariable] -> Parser FieldType

typeVariableReferenceP :: [TypeVariable] -> Parser TypeVariable

importedReferenceP :: [TypeVariable] -> Parser DefinitionReference

getImports :: Parser [Import]

getImport :: Text -> Parser (Maybe Import)

reportError :: String -> Parser a

basicTypeValueP :: Parser BasicTypeValue

complexTypeP :: [TypeVariable] -> Parser ComplexTypeValue

sliceTypeP :: [TypeVariable] -> Parser ComplexTypeValue

arrayTypeP :: [TypeVariable] -> Parser ComplexTypeValue

optionalTypeP :: [TypeVariable] -> Parser ComplexTypeValue

pointerTypeP :: [TypeVariable] -> Parser ComplexTypeValue

precededBy :: Parser ignored -> Parser a -> Parser a

integerSizes :: [Int]

integerTypeParsers :: Text -> [Parser Text]

uintP :: Parser BasicTypeValue

intP :: Parser BasicTypeValue

floatP :: Parser BasicTypeValue

booleanP :: Parser BasicTypeValue

basicStringP :: Parser BasicTypeValue

literalP :: Parser LiteralTypeValue

literalStringP :: Parser LiteralTypeValue

stringCharacterP :: Parser Char

literalIntegerP :: Parser LiteralTypeValue

literalFloatP :: Parser LiteralTypeValue

literalBooleanP :: Parser LiteralTypeValue

trueP :: Parser Bool

falseP :: Parser Bool

partialFromRight :: Either l r -> r

partialFromLeft :: Either l r -> l