Safe Haskell	None
Language	Haskell2010

TreeSitter

Contents

ABI Versioning
Types
Parser
Tree
Node
TreeCursor
Query
Language
Lookahead Iterator

Synopsis

type TREE_SITTER_LANGUAGE_VERSION = 14
type TREE_SITTER_MIN_COMPATIBLE_LANGUAGE_VERSION = 13
newtype Symbol = WrapTSSymbol {
- unWrapTSSymbol :: TSSymbol
}
newtype StateId = WrapTSStateId {
- unWrapTSStateId :: TSStateId
}
newtype GrammarType = WrapTSGrammarType {
- unWrapTSGrammarType :: ByteString
}
newtype FieldId = WrapTSFieldId {
- unWrapTSFieldId :: TSFieldId
}
newtype FieldName = WrapTSFieldName {
- unWrapTSFieldName :: ByteString
}
newtype CaptureName = WrapTSCaptureName {
- unWrapTSCaptureName :: ByteString
}
newtype CaptureIndex = WrapTSCaptureIndex {
- unWrapTSCaptureIndex :: Word32
}
newtype PatternIndex = WrapTSPatternIndex {
- unWrapTSPatternIndex :: Word32
}
data Language
data Parser
data Tree
data Query
data QueryCursor
data LookaheadIterator
data InputEncoding where
- pattern InputEncodingUTF8 :: InputEncoding
- pattern InputEncodingUTF16 :: InputEncoding
data SymbolType where
- pattern SymbolTypeRegular :: SymbolType
- pattern SymbolTypeAnonymous :: SymbolType
- pattern SymbolTypeSupertype :: SymbolType
- pattern SymbolTypeAuxiliary :: SymbolType
data Point where
- pattern Point :: Word32 -> Word32 -> Point
data Range where
- pattern Range :: Point -> Point -> Word32 -> Word32 -> Range
type Input = Word32 -> Point -> IO ByteString
data LogType where
- pattern LogTypeLex :: LogType
- pattern LogTypeParse :: LogType
data InputEdit where
- pattern InputEdit :: Word32 -> Word32 -> Word32 -> Point -> Point -> Point -> InputEdit
data Node
newtype NodeId = WrapTSNodeId {
- unWrapTSNodeId :: Int
}
nodeId :: Node -> NodeId
data TreeCursor
newtype TreeCursorId = WrapTSTreeCursorId {
- unWrapTSTreeCursorId :: Word
}
data QueryCapture
data Quantifier
data QueryMatch
data QueryPredicateStepType
data QueryPredicateStep
data QueryErrorType where
- pattern QueryErrorTypeSyntax :: QueryErrorType
- pattern QueryErrorTypeNodeType :: QueryErrorType
- pattern QueryErrorTypeField :: QueryErrorType
- pattern QueryErrorTypeCapture :: QueryErrorType
- pattern QueryErrorTypeStructure :: QueryErrorType
- pattern QueryErrorTypeLanguage :: QueryErrorType
data QueryError = QueryError {
- queryErrorOffset :: !Word32
- queryErrorPoint :: !Point
- queryErrorMessage :: !String
- queryErrorType :: !QueryErrorType
}
parserNew :: IO Parser
unsafeParserDelete :: Parser -> IO ()
withParser :: (Parser -> IO a) -> IO a
parserSetLanguage :: Parser -> Language -> IO Bool
parserLanguage :: Parser -> IO Language
parserSetIncludedRanges :: Parser -> [Range] -> IO Bool
parserIncludedRanges :: Parser -> IO [Range]
parserSetLogger :: Parser -> Log -> IO ()
parserLogger :: Parser -> IO (Maybe Log)
parserHasLogger :: Parser -> IO Bool
parserRemoveLogger :: Parser -> IO (Maybe Log)
parserParse :: Parser -> Maybe Tree -> Input -> InputEncoding -> IO (Maybe Tree)
parserParseString :: Parser -> Maybe Tree -> String -> IO (Maybe Tree)
parserParseByteString :: Parser -> Maybe Tree -> ByteString -> IO (Maybe Tree)
parserParseByteStringWithEncoding :: Parser -> Maybe Tree -> ByteString -> InputEncoding -> IO (Maybe Tree)
parserReset :: Parser -> IO ()
newtype Microsecond = Microsecond {
- unMicrosecond :: Word64
}
parserSetTimeoutMicros :: Parser -> Microsecond -> IO ()
parserTimeoutMicros :: Parser -> IO Microsecond
data CancellationFlag where
- pattern Cancel :: CancellationFlag
- pattern Continue :: CancellationFlag
data CancellationFlagRef
getCancellationFlag :: CancellationFlagRef -> IO CancellationFlag
putCancellationFlag :: CancellationFlagRef -> CancellationFlag -> IO ()
parserSetCancellationFlag :: Parser -> CancellationFlagRef -> IO ()
parserCancellationFlag :: Parser -> IO CancellationFlagRef
parserPrintDotGraphs :: Parser -> Handle -> IO ()
treeCopy :: Tree -> IO Tree
unsafeTreeDelete :: Tree -> IO ()
treeRootNode :: Tree -> IO Node
treeRootNodeWithOffset :: Tree -> Word32 -> Point -> IO Node
treeLanguage :: Tree -> IO Language
treeIncludedRanges :: Tree -> IO [Range]
treeEdit :: Tree -> InputEdit -> IO ()
treeGetChangedRanges :: Tree -> Tree -> IO [Range]
treePrintDotGraph :: Tree -> Handle -> IO ()
nodeType :: Node -> IO ByteString
nodeTypeAsString :: Node -> IO String
nodeSymbol :: Node -> IO Symbol
nodeLanguage :: Node -> IO Language
nodeGrammarType :: Node -> IO GrammarType
nodeGrammarTypeAsString :: Node -> IO String
nodeGrammarSymbol :: Node -> IO Symbol
nodeRange :: Node -> IO Range
nodeStartByte :: Node -> IO Word32
nodeStartPoint :: Node -> IO Point
nodeEndByte :: Node -> IO Word32
nodeEndPoint :: Node -> IO Point
showNode :: Node -> IO ByteString
showNodeAsString :: Node -> IO String
nodeIsNull :: Node -> IO Bool
nodeIsNamed :: Node -> IO Bool
nodeIsMissing :: Node -> IO Bool
nodeIsExtra :: Node -> IO Bool
nodeHasChanges :: Node -> IO Bool
nodeHasError :: Node -> IO Bool
nodeIsError :: Node -> IO Bool
nodeParseState :: Node -> IO StateId
nodeNextParseState :: Node -> IO StateId
nodeParent :: Node -> IO Node
nodeChildWithDescendant :: Node -> Node -> IO Node
nodeChild :: Node -> Word32 -> IO Node
nodeFieldNameForChild :: Node -> Word32 -> IO FieldName
nodeFieldNameForChildAsString :: Node -> Word32 -> IO String
nodeFieldNameForNamedChild :: Node -> Word32 -> IO FieldName
nodeFieldNameForNamedChildAsString :: Node -> Word32 -> IO String
nodeChildCount :: Node -> IO Word32
nodeNamedChild :: Node -> Word32 -> IO Node
nodeNamedChildCount :: Node -> IO Word32
nodeChildByFieldName :: Node -> FieldName -> IO Node
nodeChildByFieldId :: Node -> FieldId -> IO Node
nodeNextSibling :: Node -> IO Node
nodePrevSibling :: Node -> IO Node
nodeNextNamedSibling :: Node -> IO Node
nodePrevNamedSibling :: Node -> IO Node
nodeFirstChildForByte :: Node -> Word32 -> IO Node
nodeFirstNamedChildForByte :: Node -> Word32 -> IO Node
nodeDescendantCount :: Node -> IO Word32
nodeDescendantForByteRange :: Node -> Word32 -> Word32 -> IO Node
nodeDescendantForPointRange :: Node -> Point -> Point -> IO Node
nodeNamedDescendantForByteRange :: Node -> Word32 -> Word32 -> IO Node
nodeNamedDescendantForPointRange :: Node -> Point -> Point -> IO Node
nodeEdit :: Node -> InputEdit -> IO ()
nodeEq :: Node -> Node -> IO Bool
treeCursorNew :: Node -> IO TreeCursor
unsafeTreeCursorDelete :: TreeCursor -> IO ()
treeCursorReset :: TreeCursor -> Node -> IO ()
treeCursorResetTo :: TreeCursor -> TreeCursor -> IO ()
treeCursorCurrentNode :: TreeCursor -> IO Node
treeCursorCurrentFieldName :: TreeCursor -> IO (Maybe ByteString)
treeCursorCurrentFieldId :: TreeCursor -> IO (Maybe FieldId)
treeCursorGotoParent :: TreeCursor -> IO Bool
treeCursorGotoNextSibling :: TreeCursor -> IO Bool
treeCursorGotoPreviousSibling :: TreeCursor -> IO Bool
treeCursorGotoFirstChild :: TreeCursor -> IO Bool
treeCursorGotoLastChild :: TreeCursor -> IO Bool
treeCursorGotoDescendant :: TreeCursor -> Word32 -> IO ()
treeCursorCurrentDescendantIndex :: TreeCursor -> IO Word32
treeCursorCurrentDepth :: TreeCursor -> IO Word32
treeCursorGotoFirstChildForByte :: TreeCursor -> Word32 -> IO Int64
treeCursorGotoFirstChildForPoint :: TreeCursor -> Point -> IO Int64
treeCursorCopy :: TreeCursor -> IO TreeCursor
queryNew :: Language -> ByteString -> IO Query
unsafeQueryDelete :: Query -> IO ()
queryPatternCount :: Query -> IO Word32
queryCaptureCount :: Query -> IO Word32
queryStringCount :: Query -> IO Word32
queryStartByteForPattern :: Query -> PatternIndex -> IO Word32
queryEndByteForPattern :: Query -> PatternIndex -> IO Word32
queryPredicatesForPattern :: Query -> Word32 -> IO [QueryPredicateStep]
queryIsPatternRooted :: Query -> PatternIndex -> IO Bool
queryIsPatternNonLocal :: Query -> PatternIndex -> IO Bool
queryIsPatternGuaranteedAtStep :: Query -> Word32 -> IO Bool
queryCaptureNameForIndex :: Query -> CaptureIndex -> IO CaptureName
queryCaptureQuantifierForIndex :: Query -> PatternIndex -> CaptureIndex -> IO Quantifier
queryStringValueForIndex :: Query -> CaptureIndex -> IO ByteString
queryDisableCapture :: Query -> CaptureName -> IO ()
queryDisablePattern :: Query -> PatternIndex -> IO ()
queryCursorNew :: IO QueryCursor
unsafeQueryCursorDelete :: QueryCursor -> IO ()
queryCursorExec :: QueryCursor -> Query -> Node -> IO ()
queryCursorDidExceedMatchLimit :: QueryCursor -> IO Bool
queryCursorMatchLimit :: QueryCursor -> IO Word32
queryCursorSetMatchLimit :: QueryCursor -> Word32 -> IO ()
queryCursorSetTimeoutMicros :: QueryCursor -> Microsecond -> IO ()
queryCursorTimeoutMicros :: QueryCursor -> IO Microsecond
queryCursorSetByteRange :: QueryCursor -> Word32 -> Word32 -> IO ()
queryCursorSetPointRange :: QueryCursor -> Point -> Point -> IO ()
queryCursorNextMatch :: QueryCursor -> IO (Maybe QueryMatch)
queryCursorRemoveMatch :: QueryCursor -> CaptureIndex -> IO ()
queryCursorNextCapture :: QueryCursor -> IO (Maybe (CaptureIndex, QueryMatch))
queryCursorSetMaxStartDepth :: QueryCursor -> Word32 -> IO ()
unsafeToLanguage :: ConstPtr tsLanguage -> IO Language
unsafeLanguageDelete :: Language -> IO ()
languageCopy :: Language -> IO Language
languageSymbolCount :: Language -> IO Word32
languageStateCount :: Language -> IO Word32
languageSymbolName :: Language -> Symbol -> IO ByteString
languageSymbolForGrammarType :: Language -> ByteString -> Bool -> IO Symbol
languageFieldCount :: Language -> IO Word32
languageFieldNameForId :: Language -> FieldId -> IO ByteString
languageFieldIdForName :: Language -> ByteString -> IO FieldId
languageSymbolType :: Language -> Symbol -> IO SymbolType
languageVersion :: Language -> IO Word32
languageNextState :: Language -> StateId -> Symbol -> IO StateId
withLookaheadIteratorAsTSLookaheadIteratorPtr :: LookaheadIterator -> (ConstPtr TSLookaheadIterator -> IO a) -> IO a
lookaheadIteratorNew :: Language -> StateId -> IO LookaheadIterator
unsafeLookaheadIteratorDelete :: LookaheadIterator -> IO ()
lookaheadIteratorResetState :: LookaheadIterator -> StateId -> IO Bool
lookaheadIteratorReset :: LookaheadIterator -> Language -> StateId -> IO Bool
lookaheadIteratorLanguage :: LookaheadIterator -> IO Language
lookaheadIteratorNext :: LookaheadIterator -> IO Bool
lookaheadIteratorCurrentSymbol :: LookaheadIterator -> IO Symbol
lookaheadIteratorCurrentSymbolName :: LookaheadIterator -> IO ByteString

ABI Versioning

type TREE_SITTER_LANGUAGE_VERSION = 14 #

The latest ABI version that is supported by the current version of the library. When Languages are generated by the Tree-sitter CLI, they are assigned an ABI version number that corresponds to the current CLI version. The Tree-sitter library is generally backwards-compatible with languages generated using older CLI versions, but is not forwards-compatible.

#define TREE_SITTER_LANGUAGE_VERSION 14

type TREE_SITTER_MIN_COMPATIBLE_LANGUAGE_VERSION = 13 #

The earliest ABI version that is supported by the current version of the library.

#define TREE_SITTER_MIN_COMPATIBLE_LANGUAGE_VERSION 13

Types

newtype Symbol #

Constructors

WrapTSSymbol
Fields unWrapTSSymbol :: TSSymbol

Instances

Instances details

Enum Symbol
Instance details Defined in TreeSitter.Internal Methods succ :: Symbol -> Symbol # pred :: Symbol -> Symbol # toEnum :: Int -> Symbol # fromEnum :: Symbol -> Int # enumFrom :: Symbol -> [Symbol] # enumFromThen :: Symbol -> Symbol -> [Symbol] # enumFromTo :: Symbol -> Symbol -> [Symbol] # enumFromThenTo :: Symbol -> Symbol -> Symbol -> [Symbol] #
Num Symbol
Instance details Defined in TreeSitter.Internal Methods (+) :: Symbol -> Symbol -> Symbol # (-) :: Symbol -> Symbol -> Symbol # (*) :: Symbol -> Symbol -> Symbol # negate :: Symbol -> Symbol # abs :: Symbol -> Symbol # signum :: Symbol -> Symbol # fromInteger :: Integer -> Symbol #
Read Symbol
Instance details Defined in TreeSitter.Internal Methods readsPrec :: Int -> ReadS Symbol # readList :: ReadS [Symbol] # readPrec :: ReadPrec Symbol # readListPrec :: ReadPrec [Symbol] #
Integral Symbol
Instance details Defined in TreeSitter.Internal Methods quot :: Symbol -> Symbol -> Symbol # rem :: Symbol -> Symbol -> Symbol # div :: Symbol -> Symbol -> Symbol # mod :: Symbol -> Symbol -> Symbol # quotRem :: Symbol -> Symbol -> (Symbol, Symbol) # divMod :: Symbol -> Symbol -> (Symbol, Symbol) # toInteger :: Symbol -> Integer #
Real Symbol
Instance details Defined in TreeSitter.Internal Methods toRational :: Symbol -> Rational #
Show Symbol
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #
Eq Symbol
Instance details Defined in TreeSitter.Internal Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol
Instance details Defined in TreeSitter.Internal Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #

newtype StateId #

Constructors

WrapTSStateId
Fields unWrapTSStateId :: TSStateId

Instances

Instances details

Enum StateId
Instance details Defined in TreeSitter.Internal Methods succ :: StateId -> StateId # pred :: StateId -> StateId # toEnum :: Int -> StateId # fromEnum :: StateId -> Int # enumFrom :: StateId -> [StateId] # enumFromThen :: StateId -> StateId -> [StateId] # enumFromTo :: StateId -> StateId -> [StateId] # enumFromThenTo :: StateId -> StateId -> StateId -> [StateId] #
Num StateId
Instance details Defined in TreeSitter.Internal Methods (+) :: StateId -> StateId -> StateId # (-) :: StateId -> StateId -> StateId # (*) :: StateId -> StateId -> StateId # negate :: StateId -> StateId # abs :: StateId -> StateId # signum :: StateId -> StateId # fromInteger :: Integer -> StateId #
Read StateId
Instance details Defined in TreeSitter.Internal Methods readsPrec :: Int -> ReadS StateId # readList :: ReadS [StateId] # readPrec :: ReadPrec StateId # readListPrec :: ReadPrec [StateId] #
Integral StateId
Instance details Defined in TreeSitter.Internal Methods quot :: StateId -> StateId -> StateId # rem :: StateId -> StateId -> StateId # div :: StateId -> StateId -> StateId # mod :: StateId -> StateId -> StateId # quotRem :: StateId -> StateId -> (StateId, StateId) # divMod :: StateId -> StateId -> (StateId, StateId) # toInteger :: StateId -> Integer #
Real StateId
Instance details Defined in TreeSitter.Internal Methods toRational :: StateId -> Rational #
Show StateId
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> StateId -> ShowS # show :: StateId -> String # showList :: [StateId] -> ShowS #
Eq StateId
Instance details Defined in TreeSitter.Internal Methods (==) :: StateId -> StateId -> Bool # (/=) :: StateId -> StateId -> Bool #
Ord StateId
Instance details Defined in TreeSitter.Internal Methods compare :: StateId -> StateId -> Ordering # (<) :: StateId -> StateId -> Bool # (<=) :: StateId -> StateId -> Bool # (>) :: StateId -> StateId -> Bool # (>=) :: StateId -> StateId -> Bool # max :: StateId -> StateId -> StateId # min :: StateId -> StateId -> StateId #

newtype GrammarType #

Constructors

WrapTSGrammarType
Fields unWrapTSGrammarType :: ByteString

Instances

Instances details

Read GrammarType
Instance details Defined in TreeSitter.Internal Methods readsPrec :: Int -> ReadS GrammarType # readList :: ReadS [GrammarType] # readPrec :: ReadPrec GrammarType # readListPrec :: ReadPrec [GrammarType] #
Show GrammarType
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> GrammarType -> ShowS # show :: GrammarType -> String # showList :: [GrammarType] -> ShowS #
Eq GrammarType
Instance details Defined in TreeSitter.Internal Methods (==) :: GrammarType -> GrammarType -> Bool # (/=) :: GrammarType -> GrammarType -> Bool #
Ord GrammarType
Instance details Defined in TreeSitter.Internal Methods compare :: GrammarType -> GrammarType -> Ordering # (<) :: GrammarType -> GrammarType -> Bool # (<=) :: GrammarType -> GrammarType -> Bool # (>) :: GrammarType -> GrammarType -> Bool # (>=) :: GrammarType -> GrammarType -> Bool # max :: GrammarType -> GrammarType -> GrammarType # min :: GrammarType -> GrammarType -> GrammarType #

newtype FieldId #

Constructors

WrapTSFieldId
Fields unWrapTSFieldId :: TSFieldId

Instances

Instances details

Enum FieldId
Instance details Defined in TreeSitter.Internal Methods succ :: FieldId -> FieldId # pred :: FieldId -> FieldId # toEnum :: Int -> FieldId # fromEnum :: FieldId -> Int # enumFrom :: FieldId -> [FieldId] # enumFromThen :: FieldId -> FieldId -> [FieldId] # enumFromTo :: FieldId -> FieldId -> [FieldId] # enumFromThenTo :: FieldId -> FieldId -> FieldId -> [FieldId] #
Num FieldId
Instance details Defined in TreeSitter.Internal Methods (+) :: FieldId -> FieldId -> FieldId # (-) :: FieldId -> FieldId -> FieldId # (*) :: FieldId -> FieldId -> FieldId # negate :: FieldId -> FieldId # abs :: FieldId -> FieldId # signum :: FieldId -> FieldId # fromInteger :: Integer -> FieldId #
Read FieldId
Instance details Defined in TreeSitter.Internal Methods readsPrec :: Int -> ReadS FieldId # readList :: ReadS [FieldId] # readPrec :: ReadPrec FieldId # readListPrec :: ReadPrec [FieldId] #
Integral FieldId
Instance details Defined in TreeSitter.Internal Methods quot :: FieldId -> FieldId -> FieldId # rem :: FieldId -> FieldId -> FieldId # div :: FieldId -> FieldId -> FieldId # mod :: FieldId -> FieldId -> FieldId # quotRem :: FieldId -> FieldId -> (FieldId, FieldId) # divMod :: FieldId -> FieldId -> (FieldId, FieldId) # toInteger :: FieldId -> Integer #
Real FieldId
Instance details Defined in TreeSitter.Internal Methods toRational :: FieldId -> Rational #
Show FieldId
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> FieldId -> ShowS # show :: FieldId -> String # showList :: [FieldId] -> ShowS #
Eq FieldId
Instance details Defined in TreeSitter.Internal Methods (==) :: FieldId -> FieldId -> Bool # (/=) :: FieldId -> FieldId -> Bool #
Ord FieldId
Instance details Defined in TreeSitter.Internal Methods compare :: FieldId -> FieldId -> Ordering # (<) :: FieldId -> FieldId -> Bool # (<=) :: FieldId -> FieldId -> Bool # (>) :: FieldId -> FieldId -> Bool # (>=) :: FieldId -> FieldId -> Bool # max :: FieldId -> FieldId -> FieldId # min :: FieldId -> FieldId -> FieldId #

newtype FieldName #

Constructors

WrapTSFieldName
Fields unWrapTSFieldName :: ByteString

Instances

Instances details

Read FieldName
Instance details Defined in TreeSitter.Internal Methods readsPrec :: Int -> ReadS FieldName # readList :: ReadS [FieldName] # readPrec :: ReadPrec FieldName # readListPrec :: ReadPrec [FieldName] #
Show FieldName
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> FieldName -> ShowS # show :: FieldName -> String # showList :: [FieldName] -> ShowS #
Eq FieldName
Instance details Defined in TreeSitter.Internal Methods (==) :: FieldName -> FieldName -> Bool # (/=) :: FieldName -> FieldName -> Bool #
Ord FieldName
Instance details Defined in TreeSitter.Internal Methods compare :: FieldName -> FieldName -> Ordering # (<) :: FieldName -> FieldName -> Bool # (<=) :: FieldName -> FieldName -> Bool # (>) :: FieldName -> FieldName -> Bool # (>=) :: FieldName -> FieldName -> Bool # max :: FieldName -> FieldName -> FieldName # min :: FieldName -> FieldName -> FieldName #

newtype CaptureName #

Constructors

WrapTSCaptureName
Fields unWrapTSCaptureName :: ByteString

Instances

Instances details

Read CaptureName
Instance details Defined in TreeSitter.Internal Methods readsPrec :: Int -> ReadS CaptureName # readList :: ReadS [CaptureName] # readPrec :: ReadPrec CaptureName # readListPrec :: ReadPrec [CaptureName] #
Show CaptureName
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> CaptureName -> ShowS # show :: CaptureName -> String # showList :: [CaptureName] -> ShowS #
Eq CaptureName
Instance details Defined in TreeSitter.Internal Methods (==) :: CaptureName -> CaptureName -> Bool # (/=) :: CaptureName -> CaptureName -> Bool #
Ord CaptureName
Instance details Defined in TreeSitter.Internal Methods compare :: CaptureName -> CaptureName -> Ordering # (<) :: CaptureName -> CaptureName -> Bool # (<=) :: CaptureName -> CaptureName -> Bool # (>) :: CaptureName -> CaptureName -> Bool # (>=) :: CaptureName -> CaptureName -> Bool # max :: CaptureName -> CaptureName -> CaptureName # min :: CaptureName -> CaptureName -> CaptureName #

newtype CaptureIndex #

Constructors

WrapTSCaptureIndex
Fields unWrapTSCaptureIndex :: Word32

newtype PatternIndex #

Constructors

WrapTSPatternIndex
Fields unWrapTSPatternIndex :: Word32

data Language #

data Parser #

data Tree #

Warning: Tree is not thread-safe. To use a Tree from multiple threads, you must copy it using treeCopy.

data Query #

data QueryCursor #

data LookaheadIterator #

data InputEncoding where #

Bundled Patterns

pattern InputEncodingUTF8 :: InputEncoding
pattern InputEncodingUTF16 :: InputEncoding

Instances

Instances details

Show InputEncoding
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> InputEncoding -> ShowS # show :: InputEncoding -> String # showList :: [InputEncoding] -> ShowS #

data SymbolType where #

Bundled Patterns

pattern SymbolTypeRegular :: SymbolType
pattern SymbolTypeAnonymous :: SymbolType
pattern SymbolTypeSupertype :: SymbolType
pattern SymbolTypeAuxiliary :: SymbolType

Instances

Instances details

Show SymbolType
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> SymbolType -> ShowS # show :: SymbolType -> String # showList :: [SymbolType] -> ShowS #
Eq SymbolType
Instance details Defined in TreeSitter.Internal Methods (==) :: SymbolType -> SymbolType -> Bool # (/=) :: SymbolType -> SymbolType -> Bool #

data Point where #

Bundled Patterns

pattern Point :: Word32 -> Word32 -> Point

Instances

Instances details

Show Point
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> Point -> ShowS # show :: Point -> String # showList :: [Point] -> ShowS #
Eq Point
Instance details Defined in TreeSitter.Internal Methods (==) :: Point -> Point -> Bool # (/=) :: Point -> Point -> Bool #
Ord Point
Instance details Defined in TreeSitter.Internal Methods compare :: Point -> Point -> Ordering # (<) :: Point -> Point -> Bool # (<=) :: Point -> Point -> Bool # (>) :: Point -> Point -> Bool # (>=) :: Point -> Point -> Bool # max :: Point -> Point -> Point # min :: Point -> Point -> Point #

data Range where #

Bundled Patterns

pattern Range :: Point -> Point -> Word32 -> Word32 -> Range

Instances

Instances details

Show Range
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> Range -> ShowS # show :: Range -> String # showList :: [Range] -> ShowS #
Eq Range
Instance details Defined in TreeSitter.Internal Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #

type Input #

Arguments

= Word32	Byte index.
-> Point	Position.
-> IO ByteString

data LogType where #

Bundled Patterns

pattern LogTypeLex :: LogType
pattern LogTypeParse :: LogType

Instances

Instances details

Show LogType
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> LogType -> ShowS # show :: LogType -> String # showList :: [LogType] -> ShowS #
Eq LogType
Instance details Defined in TreeSitter.Internal Methods (==) :: LogType -> LogType -> Bool # (/=) :: LogType -> LogType -> Bool #

data InputEdit where #

Bundled Patterns

pattern InputEdit :: Word32 -> Word32 -> Word32 -> Point -> Point -> Point -> InputEdit

data Node #

newtype NodeId #

Constructors

WrapTSNodeId
Fields unWrapTSNodeId :: Int

Instances

Instances details

Show NodeId
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> NodeId -> ShowS # show :: NodeId -> String # showList :: [NodeId] -> ShowS #
Eq NodeId
Instance details Defined in TreeSitter.Internal Methods (==) :: NodeId -> NodeId -> Bool # (/=) :: NodeId -> NodeId -> Bool #
Ord NodeId
Instance details Defined in TreeSitter.Internal Methods compare :: NodeId -> NodeId -> Ordering # (<) :: NodeId -> NodeId -> Bool # (<=) :: NodeId -> NodeId -> Bool # (>) :: NodeId -> NodeId -> Bool # (>=) :: NodeId -> NodeId -> Bool # max :: NodeId -> NodeId -> NodeId # min :: NodeId -> NodeId -> NodeId #

nodeId :: Node -> NodeId #

data TreeCursor #

newtype TreeCursorId #

Constructors

WrapTSTreeCursorId
Fields unWrapTSTreeCursorId :: Word

Instances

Instances details

Eq TreeCursorId
Instance details Defined in TreeSitter.Internal Methods (==) :: TreeCursorId -> TreeCursorId -> Bool # (/=) :: TreeCursorId -> TreeCursorId -> Bool #
Ord TreeCursorId
Instance details Defined in TreeSitter.Internal Methods compare :: TreeCursorId -> TreeCursorId -> Ordering # (<) :: TreeCursorId -> TreeCursorId -> Bool # (<=) :: TreeCursorId -> TreeCursorId -> Bool # (>) :: TreeCursorId -> TreeCursorId -> Bool # (>=) :: TreeCursorId -> TreeCursorId -> Bool # max :: TreeCursorId -> TreeCursorId -> TreeCursorId # min :: TreeCursorId -> TreeCursorId -> TreeCursorId #

data QueryCapture #

data Quantifier #

Instances

Instances details

Show Quantifier
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> Quantifier -> ShowS # show :: Quantifier -> String # showList :: [Quantifier] -> ShowS #
Eq Quantifier
Instance details Defined in TreeSitter.Internal Methods (==) :: Quantifier -> Quantifier -> Bool # (/=) :: Quantifier -> Quantifier -> Bool #

data QueryMatch #

data QueryPredicateStepType #

Instances

Instances details

Show QueryPredicateStepType
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> QueryPredicateStepType -> ShowS # show :: QueryPredicateStepType -> String # showList :: [QueryPredicateStepType] -> ShowS #
Eq QueryPredicateStepType
Instance details Defined in TreeSitter.Internal Methods (==) :: QueryPredicateStepType -> QueryPredicateStepType -> Bool # (/=) :: QueryPredicateStepType -> QueryPredicateStepType -> Bool #

data QueryPredicateStep #

data QueryErrorType where #

Bundled Patterns

pattern QueryErrorTypeSyntax :: QueryErrorType
pattern QueryErrorTypeNodeType :: QueryErrorType
pattern QueryErrorTypeField :: QueryErrorType
pattern QueryErrorTypeCapture :: QueryErrorType
pattern QueryErrorTypeStructure :: QueryErrorType
pattern QueryErrorTypeLanguage :: QueryErrorType

Instances

Instances details

Show QueryErrorType
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> QueryErrorType -> ShowS # show :: QueryErrorType -> String # showList :: [QueryErrorType] -> ShowS #
Eq QueryErrorType
Instance details Defined in TreeSitter.Internal Methods (==) :: QueryErrorType -> QueryErrorType -> Bool # (/=) :: QueryErrorType -> QueryErrorType -> Bool #

data QueryError #

Constructors

QueryError
Fields queryErrorOffset :: !Word32 queryErrorPoint :: !Point queryErrorMessage :: !String queryErrorType :: !QueryErrorType

Instances

Instances details

Exception QueryError
Instance details Defined in TreeSitter.Internal Methods toException :: QueryError -> SomeException # fromException :: SomeException -> Maybe QueryError # displayException :: QueryError -> String #
Show QueryError
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> QueryError -> ShowS # show :: QueryError -> String # showList :: [QueryError] -> ShowS #

Parser

parserNew :: IO Parser #

See ts_parser_new.

unsafeParserDelete :: Parser -> IO () #

Delete the Parser and free the associated memory.

See ts_parser_delete.

Warning: Using the Parser after calling unsafeParserDelete leads to undefined behaviour.

Warning: If the Parser has a logger, this function does not delete it.

withParser :: (Parser -> IO a) -> IO a #

parserSetLanguage :: Parser -> Language -> IO Bool #

See ts_parser_set_language.

parserLanguage :: Parser -> IO Language #

See ts_parser_language.

parserSetIncludedRanges :: Parser -> [Range] -> IO Bool #

See ts_parser_set_included_ranges.

parserIncludedRanges :: Parser -> IO [Range] #

See ts_parser_included_ranges.

parserSetLogger :: Parser -> Log -> IO () #

Set the Logger for a Parser.

See ts_parser_set_logger.

parserLogger :: Parser -> IO (Maybe Log) #

Get the Logger for a Parser.

If no Logger was set, parserLogger returns Nothing.

See ts_parser_logger.

parserHasLogger :: Parser -> IO Bool #

Test if the Parser has a Logger.

parserRemoveLogger :: Parser -> IO (Maybe Log) #

If the Parser has a Logger, remove and pure it.

parserParse :: Parser -> Maybe Tree -> Input -> InputEncoding -> IO (Maybe Tree) #

See ts_parser_parse.

parserParseString :: Parser -> Maybe Tree -> String -> IO (Maybe Tree) #

See ts_parser_parse_string.

parserParseByteString :: Parser -> Maybe Tree -> ByteString -> IO (Maybe Tree) #

See ts_parser_parse_string.

parserParseByteStringWithEncoding :: Parser -> Maybe Tree -> ByteString -> InputEncoding -> IO (Maybe Tree) #

See ts_parser_parse_string_encoding.

parserReset :: Parser -> IO () #

See ts_parser_reset.

newtype Microsecond #

Microseconds.

Constructors

Microsecond
Fields unMicrosecond :: Word64

Instances

Instances details

Enum Microsecond
Instance details Defined in TreeSitter.Internal Methods succ :: Microsecond -> Microsecond # pred :: Microsecond -> Microsecond # toEnum :: Int -> Microsecond # fromEnum :: Microsecond -> Int # enumFrom :: Microsecond -> [Microsecond] # enumFromThen :: Microsecond -> Microsecond -> [Microsecond] # enumFromTo :: Microsecond -> Microsecond -> [Microsecond] # enumFromThenTo :: Microsecond -> Microsecond -> Microsecond -> [Microsecond] #
Num Microsecond
Instance details Defined in TreeSitter.Internal Methods (+) :: Microsecond -> Microsecond -> Microsecond # (-) :: Microsecond -> Microsecond -> Microsecond # (*) :: Microsecond -> Microsecond -> Microsecond # negate :: Microsecond -> Microsecond # abs :: Microsecond -> Microsecond # signum :: Microsecond -> Microsecond # fromInteger :: Integer -> Microsecond #
Read Microsecond
Instance details Defined in TreeSitter.Internal Methods readsPrec :: Int -> ReadS Microsecond # readList :: ReadS [Microsecond] # readPrec :: ReadPrec Microsecond # readListPrec :: ReadPrec [Microsecond] #
Integral Microsecond
Instance details Defined in TreeSitter.Internal Methods quot :: Microsecond -> Microsecond -> Microsecond # rem :: Microsecond -> Microsecond -> Microsecond # div :: Microsecond -> Microsecond -> Microsecond # mod :: Microsecond -> Microsecond -> Microsecond # quotRem :: Microsecond -> Microsecond -> (Microsecond, Microsecond) # divMod :: Microsecond -> Microsecond -> (Microsecond, Microsecond) # toInteger :: Microsecond -> Integer #
Real Microsecond
Instance details Defined in TreeSitter.Internal Methods toRational :: Microsecond -> Rational #
Show Microsecond
Instance details Defined in TreeSitter.Internal Methods showsPrec :: Int -> Microsecond -> ShowS # show :: Microsecond -> String # showList :: [Microsecond] -> ShowS #
Eq Microsecond
Instance details Defined in TreeSitter.Internal Methods (==) :: Microsecond -> Microsecond -> Bool # (/=) :: Microsecond -> Microsecond -> Bool #
Ord Microsecond
Instance details Defined in TreeSitter.Internal Methods compare :: Microsecond -> Microsecond -> Ordering # (<) :: Microsecond -> Microsecond -> Bool # (<=) :: Microsecond -> Microsecond -> Bool # (>) :: Microsecond -> Microsecond -> Bool # (>=) :: Microsecond -> Microsecond -> Bool # max :: Microsecond -> Microsecond -> Microsecond # min :: Microsecond -> Microsecond -> Microsecond #