Safe Haskell	None
Language	GHC2021

Cubix.Language.SuiMove.RawParse

Description

AUTOGENERATED FILE - DO NOT EDIT MANUALLY

This file was generated by the gen-parser executable from cubix-tree-sitter.

To regenerate, run: cabal run gen-parser -- path-to-grammar.json --start-rule-name start-rule --module-name Cubix.Language.SuiMove.RawParse --token-map path-to-preserved_tokens.json -o output-file

See CLAUDE.md for full instructions on adding language support.

Documentation

parse' :: ReaderT TreeSitterEnv IO SomeTerm #

parse :: FilePath -> IO (ConstPtr lang) -> IO (Maybe (MoveTerm (RootSort MoveSig))) #

syntax :: FilePath -> ByteString -> ParseTable -> Node -> ReaderT TreeSitterEnv IO SomeTerm #

type SomeTerm = E MoveTerm #

type Parser t = Parser MoveSig t #

type TermParser l = Parser (MoveTerm l) #

type SomeTermParser = Parser (E MoveTerm) #

pMaybe :: Typeable l => TermParser l -> TermParser (Maybe l) #

pPair :: (Typeable l, Typeable l') => TermParser l -> TermParser l' -> TermParser (l, l') #

pSome :: Typeable l => TermParser l -> TermParser [l] #

pMany :: Typeable l => TermParser l -> TermParser [l] #

pSepBy :: Typeable l => TermParser l -> TermParser sep -> TermParser [l] #

pSepBy1 :: Typeable l => TermParser l -> TermParser sep -> TermParser [l] #

pBetween :: Typeable l => TermParser open -> TermParser close -> TermParser l -> TermParser l #

pSort :: DynCase MoveTerm l => NonEmpty Char -> TermParser l #

pSort' :: DynCase MoveTerm l => Proxy l -> NonEmpty Char -> TermParser l #

pContent :: Parser Text #

pExclamationMarkTok :: TermParser ExclamationMarkTokL #

pExclamationMarkEqualsSignTok :: TermParser ExclamationMarkEqualsSignTokL #

pNumberSignLeftSquareBracketTok :: TermParser NumberSignLeftSquareBracketTokL #

pDollarSignTok :: TermParser DollarSignTokL #

pPercentSignTok :: TermParser PercentSignTokL #

pAmpersandTok :: TermParser AmpersandTokL #

pAmpersandAmpersandTok :: TermParser AmpersandAmpersandTokL #

pApostropheTok :: TermParser ApostropheTokL #

pLeftParenthesisTok :: TermParser LeftParenthesisTokL #

pRightParenthesisTok :: TermParser RightParenthesisTokL #

pAsteriskTok :: TermParser AsteriskTokL #

pPlusSignTok :: TermParser PlusSignTokL #

pCommaTok :: TermParser CommaTokL #

pHyphenMinusTok :: TermParser HyphenMinusTokL #

pHyphenMinusGreaterThanSignTok :: TermParser HyphenMinusGreaterThanSignTokL #

pFullStopTok :: TermParser FullStopTokL #

pFullStopFullStopTok :: TermParser FullStopFullStopTokL #

pSolidusTok :: TermParser SolidusTokL #

pSolidusAsteriskTok :: TermParser SolidusAsteriskTokL #

pSolidusSolidusTok :: TermParser SolidusSolidusTokL #

pColonTok :: TermParser ColonTokL #

pColonColonTok :: TermParser ColonColonTokL #

pSemicolonTok :: TermParser SemicolonTokL #

pLessThanSignTok :: TermParser LessThanSignTokL #

pLessThanSignLessThanSignTok :: TermParser LessThanSignLessThanSignTokL #

pLessThanSignEqualsSignTok :: TermParser LessThanSignEqualsSignTokL #

pEqualsSignTok :: TermParser EqualsSignTokL #

pEqualsSignEqualsSignTok :: TermParser EqualsSignEqualsSignTokL #

pEqualsSignEqualsSignGreaterThanSignTok :: TermParser EqualsSignEqualsSignGreaterThanSignTokL #

pEqualsSignGreaterThanSignTok :: TermParser EqualsSignGreaterThanSignTokL #

pGreaterThanSignTok :: TermParser GreaterThanSignTokL #

pGreaterThanSignEqualsSignTok :: TermParser GreaterThanSignEqualsSignTokL #

pGreaterThanSignGreaterThanSignTok :: TermParser GreaterThanSignGreaterThanSignTokL #

pCommercialAtTok :: TermParser CommercialAtTokL #

pLeftSquareBracketTok :: TermParser LeftSquareBracketTokL #

pRightSquareBracketTok :: TermParser RightSquareBracketTokL #

pCircumflexAccentTok :: TermParser CircumflexAccentTokL #

pAbortTok :: TermParser AbortTokL #

pAbortsIfTok :: TermParser AbortsIfTokL #

pAbortsWithTok :: TermParser AbortsWithTokL #

pAddressTok :: TermParser AddressTokL #

pApplyTok :: TermParser ApplyTokL #

pAsTok :: TermParser AsTokL #

pAssertTok :: TermParser AssertTokL #

pAssumeTok :: TermParser AssumeTokL #

pBoolTok :: TermParser BoolTokL #

pBreakTok :: TermParser BreakTokL #

pConstTok :: TermParser ConstTokL #

pContinueTok :: TermParser ContinueTokL #

pCopyTok :: TermParser CopyTokL #

pDecreasesTok :: TermParser DecreasesTokL #

pDropTok :: TermParser DropTokL #

pElseTok :: TermParser ElseTokL #

pEnsuresTok :: TermParser EnsuresTokL #

pEntryTok :: TermParser EntryTokL #

pEnumTok :: TermParser EnumTokL #

pExceptTok :: TermParser ExceptTokL #

pExistsTok :: TermParser ExistsTokL #

pExtendTok :: TermParser ExtendTokL #

pFalseTok :: TermParser FalseTokL #

pForallTok :: TermParser ForallTokL #

pFriendTok :: TermParser FriendTokL #

pFunTok :: TermParser FunTokL #

pGlobalTok :: TermParser GlobalTokL #

pHasTok :: TermParser HasTokL #

pIfTok :: TermParser IfTokL #

pInTok :: TermParser InTokL #

pIncludeTok :: TermParser IncludeTokL #

pInternalTok :: TermParser InternalTokL #

pInvariantTok :: TermParser InvariantTokL #

pKeyTok :: TermParser KeyTokL #

pLetTok :: TermParser LetTokL #

pLocalTok :: TermParser LocalTokL #

pLoopTok :: TermParser LoopTokL #

pMacroTok :: TermParser MacroTokL #

pMatchTok :: TermParser MatchTokL #

pModifiesTok :: TermParser ModifiesTokL #

pModuleTok :: TermParser ModuleTokL #

pMoveTok :: TermParser MoveTokL #

pMutTok :: TermParser MutTokL #

pNativeTok :: TermParser NativeTokL #

pPackTok :: TermParser PackTokL #

pPackageTok :: TermParser PackageTokL #

pPhantomTok :: TermParser PhantomTokL #

pPostTok :: TermParser PostTokL #

pPragmaTok :: TermParser PragmaTokL #

pPublicTok :: TermParser PublicTokL #

pRequiresTok :: TermParser RequiresTokL #

pReturnTok :: TermParser ReturnTokL #

pSchemaTok :: TermParser SchemaTokL #

pSignerTok :: TermParser SignerTokL #

pSpecTok :: TermParser SpecTokL #

pStoreTok :: TermParser StoreTokL #

pStructTok :: TermParser StructTokL #

pSucceedsIfTok :: TermParser SucceedsIfTokL #

pToTok :: TermParser ToTokL #

pTrueTok :: TermParser TrueTokL #

pU128Tok :: TermParser U128TokL #

pU16Tok :: TermParser U16TokL #

pU256Tok :: TermParser U256TokL #

pU32Tok :: TermParser U32TokL #

pU64Tok :: TermParser U64TokL #

pU8Tok :: TermParser U8TokL #

pUnpackTok :: TermParser UnpackTokL #

pUpdateTok :: TermParser UpdateTokL #

pUseTok :: TermParser UseTokL #

pVectorLessThanSignTok :: TermParser VectorLessThanSignTokL #

pVectorLeftSquareBracketTok :: TermParser VectorLeftSquareBracketTokL #

pWhereTok :: TermParser WhereTokL #

pWhileTok :: TermParser WhileTokL #

pWithTok :: TermParser WithTokL #

pLeftCurlyBracketTok :: TermParser LeftCurlyBracketTokL #

pVerticalLineTok :: TermParser VerticalLineTokL #

pVerticalLineVerticalLineTok :: TermParser VerticalLineVerticalLineTokL #

pRightCurlyBracketTok :: TermParser RightCurlyBracketTokL #

pSourceFile :: TermParser SourceFileL #

pSourceFileInternal0 :: TermParser SourceFileInternal0L #

pModuleDefinition :: TermParser ModuleDefinitionL #

pModuleBody :: TermParser ModuleBodyL #

pModuleBodyInternal0 :: TermParser ModuleBodyInternal0L #

pModuleBodyInternal1 :: TermParser ModuleBodyInternal1L #

pHiddenEnumItem :: TermParser HiddenEnumItemL #

pEnumDefinition :: TermParser EnumDefinitionL #

pHiddenEnumSignature :: TermParser HiddenEnumSignatureL #

pHiddenEnumIdentifier :: TermParser HiddenEnumIdentifierL #

pIdentifier :: TermParser IdentifierL #

pAbilityDecls :: TermParser AbilityDeclsL #

pAbility :: TermParser AbilityL #

pTypeParameters :: TermParser TypeParametersL #

pTypeParameter :: TermParser TypeParameterL #

pHiddenTypeParameterIdentifier :: TermParser HiddenTypeParameterIdentifierL #

pEnumVariants :: TermParser EnumVariantsL #

pVariant :: TermParser VariantL #

pHiddenVariantIdentifier :: TermParser HiddenVariantIdentifierL #

pDatatypeFields :: TermParser DatatypeFieldsL #

pNamedFields :: TermParser NamedFieldsL #

pFieldAnnotation :: TermParser FieldAnnotationL #

pHiddenFieldIdentifier :: TermParser HiddenFieldIdentifierL #

pHiddenType :: TermParser HiddenTypeL #

pApplyType :: TermParser ApplyTypeL #

pModuleAccess :: TermParser ModuleAccessL #

pHiddenModuleIdentifier :: TermParser HiddenModuleIdentifierL #

pHiddenReservedIdentifier :: TermParser HiddenReservedIdentifierL #

pHiddenExists :: TermParser HiddenExistsL #

pHiddenForall :: TermParser HiddenForallL #

pModuleIdentity :: TermParser ModuleIdentityL #

pModuleIdentityInternal0 :: TermParser ModuleIdentityInternal0L #

pNumLiteral :: TermParser NumLiteralL #

pNumLiteralInternal0 :: TermParser NumLiteralInternal0L #

pTypeArguments :: TermParser TypeArgumentsL #

pFunctionType :: TermParser FunctionTypeL #

pFunctionTypeParameters :: TermParser FunctionTypeParametersL #

pPrimitiveType :: TermParser PrimitiveTypeL #

pRefType :: TermParser RefTypeL #

pHiddenReference :: TermParser HiddenReferenceL #

pImmRef :: TermParser ImmRefL #

pMutRef :: TermParser MutRefL #

pTupleType :: TermParser TupleTypeL #

pPositionalFields :: TermParser PositionalFieldsL #

pPostfixAbilityDecls :: TermParser PostfixAbilityDeclsL #

pHiddenFunctionItem :: TermParser HiddenFunctionItemL #

pFunctionDefinition :: TermParser FunctionDefinitionL #

pHiddenFunctionSignature :: TermParser HiddenFunctionSignatureL #

pHiddenFunctionIdentifier :: TermParser HiddenFunctionIdentifierL #

pFunctionParameters :: TermParser FunctionParametersL #

pFunctionParametersInternal0 :: TermParser FunctionParametersInternal0L #

pFunctionParameter :: TermParser FunctionParameterL #

pFunctionParameterInternal0 :: TermParser FunctionParameterInternal0L #

pHiddenVariableIdentifier :: TermParser HiddenVariableIdentifierL #

pMutFunctionParameter :: TermParser MutFunctionParameterL #

pModifier :: TermParser ModifierL #

pModifierInternal0 :: TermParser ModifierInternal0L #

pRetType :: TermParser RetTypeL #

pBlock :: TermParser BlockL #

pHiddenExpression :: TermParser HiddenExpressionL #

pHiddenUnaryExpression :: TermParser HiddenUnaryExpressionL #

pHiddenUnaryExpressionInternal0 :: TermParser HiddenUnaryExpressionInternal0L #

pHiddenExpressionTerm :: TermParser HiddenExpressionTermL #

pHiddenLiteralValue :: TermParser HiddenLiteralValueL #

pAddressLiteral :: TermParser AddressLiteralL #

pBoolLiteral :: TermParser BoolLiteralL #

pByteStringLiteral :: TermParser ByteStringLiteralL #

pHexStringLiteral :: TermParser HexStringLiteralL #

pStringLiteral :: TermParser StringLiteralL #

pAnnotationExpression :: TermParser AnnotationExpressionL #

pBreakExpression :: TermParser BreakExpressionL #

pLabel :: TermParser LabelL #

pCallExpression :: TermParser CallExpressionL #

pArgList :: TermParser ArgListL #

pNameExpression :: TermParser NameExpressionL #

pContinueExpression :: TermParser ContinueExpressionL #

pDotExpression :: TermParser DotExpressionL #

pExpressionList :: TermParser ExpressionListL #

pIfExpression :: TermParser IfExpressionL #

pIndexExpression :: TermParser IndexExpressionL #

pMacroCallExpression :: TermParser MacroCallExpressionL #

pMacroModuleAccess :: TermParser MacroModuleAccessL #

pMatchExpression :: TermParser MatchExpressionL #

pHiddenMatchBody :: TermParser HiddenMatchBodyL #

pMatchArm :: TermParser MatchArmL #

pBindList :: TermParser BindListL #

pHiddenBind :: TermParser HiddenBindL #

pHiddenBindInternal0 :: TermParser HiddenBindInternal0L #

pMutBindVar :: TermParser MutBindVarL #

pAtBind :: TermParser AtBindL #

pBindUnpack :: TermParser BindUnpackL #

pBindFields :: TermParser BindFieldsL #

pBindNamedFields :: TermParser BindNamedFieldsL #

pBindNamedFieldsInternal0 :: TermParser BindNamedFieldsInternal0L #

pBindField :: TermParser BindFieldL #

pHiddenSpreadOperator :: TermParser HiddenSpreadOperatorL #

pMutBindField :: TermParser MutBindFieldL #

pBindPositionalFields :: TermParser BindPositionalFieldsL #

pCommaBindList :: TermParser CommaBindListL #

pOrBindList :: TermParser OrBindListL #

pMatchCondition :: TermParser MatchConditionL #

pPackExpression :: TermParser PackExpressionL #

pFieldInitializeList :: TermParser FieldInitializeListL #

pExpField :: TermParser ExpFieldL #

pSpecBlock :: TermParser SpecBlockL #

pSpecBlockInternal0 :: TermParser SpecBlockInternal0L #

pHiddenSpecBlockTarget :: TermParser HiddenSpecBlockTargetL #

pSpecBlockTargetSchema :: TermParser SpecBlockTargetSchemaL #

pHiddenStructIdentifier :: TermParser HiddenStructIdentifierL #

pHiddenSpecFunction :: TermParser HiddenSpecFunctionL #

pNativeSpecFunction :: TermParser NativeSpecFunctionL #

pHiddenSpecFunctionSignature :: TermParser HiddenSpecFunctionSignatureL #

pUninterpretedSpecFunction :: TermParser UninterpretedSpecFunctionL #

pUsualSpecFunction :: TermParser UsualSpecFunctionL #

pSpecBody :: TermParser SpecBodyL #

pHiddenSpecBlockMemeber :: TermParser HiddenSpecBlockMemeberL #

pSpecApply :: TermParser SpecApplyL #

pSpecApplyPattern :: TermParser SpecApplyPatternL #

pSpecApplyNamePattern :: TermParser SpecApplyNamePatternL #

pSpecApplyPatternInternal0 :: TermParser SpecApplyPatternInternal0L #

pSpecCondition :: TermParser SpecConditionL #

pHiddenSpecAbortIf :: TermParser HiddenSpecAbortIfL #

pConditionProperties :: TermParser ConditionPropertiesL #

pSpecProperty :: TermParser SpecPropertyL #

pHiddenSpecAbortWithOrModifies :: TermParser HiddenSpecAbortWithOrModifiesL #

pHiddenSpecAbortWithOrModifiesInternal0 :: TermParser HiddenSpecAbortWithOrModifiesInternal0L #

pHiddenSpecCondition :: TermParser HiddenSpecConditionL #

pHiddenSpecConditionInternal0 :: TermParser HiddenSpecConditionInternal0L #

pHiddenSpecConditionKind :: TermParser HiddenSpecConditionKindL #

pSpecInclude :: TermParser SpecIncludeL #

pSpecInvariant :: TermParser SpecInvariantL #

pSpecInvariantInternal0 :: TermParser SpecInvariantInternal0L #

pSpecLet :: TermParser SpecLetL #

pSpecPragma :: TermParser SpecPragmaL #

pSpecVariable :: TermParser SpecVariableL #

pSpecVariableInternal0 :: TermParser SpecVariableInternal0L #

pUseDeclaration :: TermParser UseDeclarationL #

pUseDeclarationInternal0 :: TermParser UseDeclarationInternal0L #

pUseFun :: TermParser UseFunL #

pUseModule :: TermParser UseModuleL #

pUseModuleMember :: TermParser UseModuleMemberL #

pUseMember :: TermParser UseMemberL #

pUseModuleMembers :: TermParser UseModuleMembersL #

pUnitExpression :: TermParser UnitExpressionL #

pVectorExpression :: TermParser VectorExpressionL #

pVectorExpressionInternal0 :: TermParser VectorExpressionInternal0L #

pBorrowExpression :: TermParser BorrowExpressionL #

pDereferenceExpression :: TermParser DereferenceExpressionL #

pMoveOrCopyExpression :: TermParser MoveOrCopyExpressionL #

pMoveOrCopyExpressionInternal0 :: TermParser MoveOrCopyExpressionInternal0L #

pUnaryExpression :: TermParser UnaryExpressionL #

pUnaryOp :: TermParser UnaryOpL #

pAbortExpression :: TermParser AbortExpressionL #

pAssignExpression :: TermParser AssignExpressionL #

pBinaryExpression :: TermParser BinaryExpressionL #

pCastExpression :: TermParser CastExpressionL #

pIdentifiedExpression :: TermParser IdentifiedExpressionL #

pBlockIdentifier :: TermParser BlockIdentifierL #

pLambdaExpression :: TermParser LambdaExpressionL #

pLambdaBindings :: TermParser LambdaBindingsL #

pLambdaBinding :: TermParser LambdaBindingL #

pLoopExpression :: TermParser LoopExpressionL #

pQuantifierExpression :: TermParser QuantifierExpressionL #

pQuantifierBindings :: TermParser QuantifierBindingsL #

pQuantifierBinding :: TermParser QuantifierBindingL #

pQuantifierExpressionInternal0 :: TermParser QuantifierExpressionInternal0L #

pReturnExpression :: TermParser ReturnExpressionL #

pWhileExpression :: TermParser WhileExpressionL #

pBlockItem :: TermParser BlockItemL #

pBlockItemInternal0 :: TermParser BlockItemInternal0L #

pLetStatement :: TermParser LetStatementL #

pMacroFunctionDefinition :: TermParser MacroFunctionDefinitionL #

pHiddenMacroSignature :: TermParser HiddenMacroSignatureL #

pNativeFunctionDefinition :: TermParser NativeFunctionDefinitionL #

pHiddenStructItem :: TermParser HiddenStructItemL #

pNativeStructDefinition :: TermParser NativeStructDefinitionL #

pHiddenStructSignature :: TermParser HiddenStructSignatureL #

pStructDefinition :: TermParser StructDefinitionL #

pConstant :: TermParser ConstantL #

pFriendDeclaration :: TermParser FriendDeclarationL #

pFriendAccess :: TermParser FriendAccessL #

pModuleExtensionDefinition :: TermParser ModuleExtensionDefinitionL #

newtype ParseTable #

Constructors

SymbolTable
Fields unParseTable :: IntMap SomeTermParser

symbolMap :: Map String SomeTermParser #

mkParseTable :: Language -> IO ParseTable #