Parser.Common

Documentation

class ParseFromSource a where

Methods

sourceParser :: CompileErrorM m => ParserE m a

Instances

ParseFromSource MacroName

Defined in Parser.Pragma

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m MacroName

ParseFromSource TypeFilter

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m TypeFilter

ParseFromSource TypeInstanceOrParam

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m TypeInstanceOrParam

ParseFromSource DefinesInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m DefinesInstance

ParseFromSource TypeInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m TypeInstance

ParseFromSource ParamName

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m ParamName

ParseFromSource CategoryName

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m CategoryName

ParseFromSource ValueType

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m ValueType

ParseFromSource GeneralInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m GeneralInstance

ParseFromSource FunctionName

Defined in Parser.TypeCategory

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m FunctionName

ParseFromSource VariableName

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m VariableName

ParseFromSource (AnyCategory SourcePos)

Defined in Parser.TypeCategory

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (AnyCategory SourcePos)

ParseFromSource (ValueOperation SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (ValueOperation SourcePos)

ParseFromSource (ValueLiteral SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (ValueLiteral SourcePos)

ParseFromSource (ExpressionStart SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (ExpressionStart SourcePos)

ParseFromSource (FunctionSpec SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (FunctionSpec SourcePos)

ParseFromSource (InstanceOrInferred SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (InstanceOrInferred SourcePos)

ParseFromSource (FunctionQualifier SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (FunctionQualifier SourcePos)

ParseFromSource (Expression SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (Expression SourcePos)

ParseFromSource (ScopedBlock SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (ScopedBlock SourcePos)

ParseFromSource (WhileLoop SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (WhileLoop SourcePos)

ParseFromSource (IfElifElse SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (IfElifElse SourcePos)

ParseFromSource (VoidExpression SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (VoidExpression SourcePos)

ParseFromSource (Assignable SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (Assignable SourcePos)

ParseFromSource (Statement SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (Statement SourcePos)

ParseFromSource (Procedure SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (Procedure SourcePos)

ParseFromSource (TestProcedure SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (TestProcedure SourcePos)

ParseFromSource (OutputValue SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (OutputValue SourcePos)

ParseFromSource (InputValue SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (InputValue SourcePos)

ParseFromSource (ReturnValues SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (ReturnValues SourcePos)

ParseFromSource (ArgValues SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (ArgValues SourcePos)

ParseFromSource (ExecutableProcedure SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (ExecutableProcedure SourcePos)

ParseFromSource (DefinedMember SourcePos)

Defined in Parser.DefinedCategory

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (DefinedMember SourcePos)

ParseFromSource (DefinedCategory SourcePos)

Defined in Parser.DefinedCategory

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (DefinedCategory SourcePos)

ParseFromSource (IntegrationTest SourcePos)

Defined in Parser.IntegrationTest

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (IntegrationTest SourcePos)

ParseFromSource (IntegrationTestHeader SourcePos)

Defined in Parser.IntegrationTest

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (IntegrationTestHeader SourcePos)

type ParserE = ParsecT String ()

anyComment :: Monad m => ParserE m String

assignOperator :: Monad m => ParserE m ()

blockComment :: Monad m => ParserE m String

builtinValues :: Monad m => ParserE m String

categorySymbolGet :: CompileErrorM m => ParserE m ()

char_ :: Monad m => Char -> ParserE m ()

endOfDoc :: Monad m => ParserE m ()

escapeStart :: Monad m => ParserE m ()

inferredParam :: Monad m => ParserE m ()

infixFuncEnd :: Monad m => ParserE m ()

infixFuncStart :: Monad m => ParserE m ()

keyword :: Monad m => String -> ParserE m ()

kwAll :: Monad m => ParserE m ()

kwAllows :: Monad m => ParserE m ()

kwAny :: Monad m => ParserE m ()

kwBreak :: Monad m => ParserE m ()

kwCategory :: Monad m => ParserE m ()

kwCleanup :: Monad m => ParserE m ()

kwConcrete :: Monad m => ParserE m ()

kwContinue :: Monad m => ParserE m ()

kwDefine :: Monad m => ParserE m ()

kwDefines :: Monad m => ParserE m ()

kwElif :: Monad m => ParserE m ()

kwElse :: Monad m => ParserE m ()

kwEmpty :: Monad m => ParserE m ()

kwFail :: Monad m => ParserE m ()

kwFalse :: Monad m => ParserE m ()

kwIf :: Monad m => ParserE m ()

kwIgnore :: Monad m => ParserE m ()

kwIn :: Monad m => ParserE m ()

kwInterface :: Monad m => ParserE m ()

kwOptional :: Monad m => ParserE m ()

kwPresent :: Monad m => ParserE m ()

kwReduce :: Monad m => ParserE m ()

kwRefines :: Monad m => ParserE m ()

kwRequire :: Monad m => ParserE m ()

kwRequires :: Monad m => ParserE m ()

kwReturn :: Monad m => ParserE m ()

kwScoped :: Monad m => ParserE m ()

kwSelf :: Monad m => ParserE m ()

kwStrong :: Monad m => ParserE m ()

kwTestcase :: Monad m => ParserE m ()

kwTrue :: Monad m => ParserE m ()

kwType :: Monad m => ParserE m ()

kwTypename :: Monad m => ParserE m ()

kwTypes :: Monad m => ParserE m ()

kwUnittest :: Monad m => ParserE m ()

kwUpdate :: Monad m => ParserE m ()

kwValue :: Monad m => ParserE m ()

kwWeak :: Monad m => ParserE m ()

kwWhile :: Monad m => ParserE m ()

labeled :: Monad m => String -> ParserE m a -> ParserE m a

lineComment :: Monad m => ParserE m String

lineEnd :: Monad m => ParserE m ()

merge2 :: (Foldable f, Monoid a, Monoid b) => f (a, b) -> (a, b)

merge3 :: (Foldable f, Monoid a, Monoid b, Monoid c) => f (a, b, c) -> (a, b, c)

noKeywords :: Monad m => ParserE m ()

notAllowed :: ParserE m a -> String -> ParserE m ()

nullParse :: Monad m => ParserE m ()

operator :: Monad m => String -> ParserE m String

optionalSpace :: Monad m => ParserE m ()

parseAny2 :: Monad m => ParserE m a -> ParserE m b -> ParserE m ([a], [b])

parseAny3 :: Monad m => ParserE m a -> ParserE m b -> ParserE m c -> ParserE m ([a], [b], [c])

parseBin :: Monad m => ParserE m Integer

parseDec :: Monad m => ParserE m Integer

parseHex :: Monad m => ParserE m Integer

parseOct :: Monad m => ParserE m Integer

parseSubOne :: Monad m => ParserE m (Integer, Integer)

parseErrorM :: CompileErrorM m => SourcePos -> String -> ParserE m a

pragmaArgsEnd :: Monad m => ParserE m ()

pragmaArgsStart :: Monad m => ParserE m ()

pragmaEnd :: Monad m => ParserE m ()

pragmaStart :: Monad m => ParserE m ()

put12 :: (Functor m, Monad m) => m a -> m ([a], [b])

put13 :: (Functor m, Monad m) => m a -> m ([a], [b], [c])

put22 :: (Functor m, Monad m) => m b -> m ([a], [b])

put23 :: (Functor m, Monad m) => m b -> m ([a], [b], [c])

put33 :: (Functor m, Monad m) => m c -> m ([a], [b], [c])

quotedString :: Monad m => ParserE m String

regexChar :: Monad m => ParserE m String

requiredSpace :: Monad m => ParserE m ()

runParserE :: CompileErrorM m => ParserE m a -> String -> String -> m a

sepAfter :: Monad m => ParserE m a -> ParserE m a

sepAfter1 :: Monad m => ParserE m a -> ParserE m a

sepAfter_ :: Monad m => ParserE m a -> ParserE m ()

statementEnd :: Monad m => ParserE m ()

statementStart :: Monad m => ParserE m ()

stringChar :: Monad m => ParserE m Char

string_ :: Monad m => String -> ParserE m ()

typeSymbolGet :: CompileErrorM m => ParserE m ()

valueSymbolGet :: Monad m => ParserE m ()