purescript-0.13.0: PureScript Programming Language Compiler

Safe Haskell	None
Language	Haskell2010

Language.PureScript.CST.Positions

Description

This module contains utilities for calculating positions and offsets. While tokens are annotated with ranges, CST nodes are not, but they can be dynamically derived with the functions in this module, which will return the first and last tokens for a given node.

Documentation

advanceToken :: SourcePos -> Token -> SourcePos Source #

advanceLeading :: SourcePos -> [Comment LineFeed] -> SourcePos Source #

advanceTrailing :: SourcePos -> [Comment Void] -> SourcePos Source #

tokenDelta :: Token -> (Int, Int) Source #

qualDelta :: [Text] -> Int Source #

multiLine :: Int -> (Int, Int) -> (Int, Int) Source #

commentDelta :: (a -> (Int, Int)) -> Comment a -> (Int, Int) Source #

lineDelta :: LineFeed -> (Int, Int) Source #

textDelta :: Text -> (Int, Int) Source #

applyDelta :: SourcePos -> (Int, Int) -> SourcePos Source #

sepLast :: Separated a -> a Source #

type TokenRange = (SourceToken, SourceToken) Source #

toSourceRange :: TokenRange -> SourceRange Source #

widen :: SourceRange -> SourceRange -> SourceRange Source #

srcRange :: SourceToken -> SourceRange Source #

nameRange :: Name a -> TokenRange Source #

qualRange :: QualifiedName a -> TokenRange Source #

labelRange :: Label -> TokenRange Source #

wrappedRange :: Wrapped a -> TokenRange Source #

moduleRange :: Module a -> TokenRange Source #

exportRange :: Export a -> TokenRange Source #

importDeclRange :: ImportDecl a -> TokenRange Source #

importRange :: Import a -> TokenRange Source #

dataMembersRange :: DataMembers a -> TokenRange Source #

declRange :: Declaration a -> TokenRange Source #

dataHeadRange :: DataHead a -> TokenRange Source #

dataCtorRange :: DataCtor a -> TokenRange Source #

classHeadRange :: ClassHead a -> TokenRange Source #

classFundepRange :: ClassFundep -> TokenRange Source #

instanceRange :: Instance a -> TokenRange Source #

instanceHeadRange :: InstanceHead a -> TokenRange Source #

instanceBindingRange :: InstanceBinding a -> TokenRange Source #

foreignRange :: Foreign a -> TokenRange Source #

valueBindingFieldsRange :: ValueBindingFields a -> TokenRange Source #

guardedRange :: Guarded a -> TokenRange Source #

guardedExprRange :: GuardedExpr a -> TokenRange Source #

whereRange :: Where a -> TokenRange Source #

kindRange :: Kind a -> TokenRange Source #

typeRange :: Type a -> TokenRange Source #

constraintRange :: Constraint a -> TokenRange Source #

typeVarBindingRange :: TypeVarBinding a -> TokenRange Source #

exprRange :: Expr a -> TokenRange Source #

letBindingRange :: LetBinding a -> TokenRange Source #

doStatementRange :: DoStatement a -> TokenRange Source #

binderRange :: Binder a -> TokenRange Source #

recordUpdateRange :: RecordUpdate a -> TokenRange Source #

recordLabeledExprRange :: RecordLabeled (Expr a) -> TokenRange Source #