Safe Haskell	None
Language	Haskell2010

Update.Span

Description

This module deals with updating spans of characters in values of type Text.

It defines some helper types and functions to apply these "updates".

Synopsis

data SpanUpdate = SpanUpdate {
- spanUpdateSpan :: SrcSpan
- spanUpdateContents :: Text
}
data SrcSpan = SrcSpan {
- spanBegin :: SourcePos
- spanEnd :: SourcePos
}
data SourcePos = SourcePos {
- sourceName :: FilePath
- sourceLine :: !Pos
- sourceColumn :: !Pos
}
updateSpan :: SpanUpdate -> Text -> Text
updateSpans :: [SpanUpdate] -> Text -> Text
linearizeSourcePos :: Text -> Int64 -> Int64 -> Int64
prettyPrintSourcePos :: SourcePos -> String
split :: SourcePos -> Text -> (Text, Text)

Documentation

data SpanUpdate Source #

A span and some text to replace it with. They don't have to be the same length.

Constructors

SpanUpdate
Fields spanUpdateSpan :: SrcSpan spanUpdateContents :: Text

Instances

Instances details

Data SpanUpdate Source #
Instance details Defined in Update.Span Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SpanUpdate -> c SpanUpdate # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SpanUpdate # toConstr :: SpanUpdate -> Constr # dataTypeOf :: SpanUpdate -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SpanUpdate) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SpanUpdate) # gmapT :: (forall b. Data b => b -> b) -> SpanUpdate -> SpanUpdate # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SpanUpdate -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SpanUpdate -> r # gmapQ :: (forall d. Data d => d -> u) -> SpanUpdate -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SpanUpdate -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SpanUpdate -> m SpanUpdate # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SpanUpdate -> m SpanUpdate # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SpanUpdate -> m SpanUpdate #
Show SpanUpdate Source #
Instance details Defined in Update.Span Methods showsPrec :: Int -> SpanUpdate -> ShowS # show :: SpanUpdate -> String # showList :: [SpanUpdate] -> ShowS #

data SrcSpan #

A location in a source file

Constructors

SrcSpan
Fields spanBegin :: SourcePos spanEnd :: SourcePos

Instances

Instances details

Eq SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods (==) :: SrcSpan -> SrcSpan -> Bool # (/=) :: SrcSpan -> SrcSpan -> Bool #
Data SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcSpan -> c SrcSpan # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcSpan # toConstr :: SrcSpan -> Constr # dataTypeOf :: SrcSpan -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcSpan) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcSpan) # gmapT :: (forall b. Data b => b -> b) -> SrcSpan -> SrcSpan # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcSpan -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcSpan -> r # gmapQ :: (forall d. Data d => d -> u) -> SrcSpan -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcSpan -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan #
Ord SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods compare :: SrcSpan -> SrcSpan -> Ordering # (<) :: SrcSpan -> SrcSpan -> Bool # (<=) :: SrcSpan -> SrcSpan -> Bool # (>) :: SrcSpan -> SrcSpan -> Bool # (>=) :: SrcSpan -> SrcSpan -> Bool # max :: SrcSpan -> SrcSpan -> SrcSpan # min :: SrcSpan -> SrcSpan -> SrcSpan #
Show SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods showsPrec :: Int -> SrcSpan -> ShowS # show :: SrcSpan -> String # showList :: [SrcSpan] -> ShowS #
Generic SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Associated Types type Rep SrcSpan :: Type -> Type # Methods from :: SrcSpan -> Rep SrcSpan x # to :: Rep SrcSpan x -> SrcSpan #
Semigroup SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods (<>) :: SrcSpan -> SrcSpan -> SrcSpan # sconcat :: NonEmpty SrcSpan -> SrcSpan # stimes :: Integral b => b -> SrcSpan -> SrcSpan #
Hashable SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods hashWithSalt :: Int -> SrcSpan -> Int # hash :: SrcSpan -> Int #
ToJSON SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods toJSON :: SrcSpan -> Value # toEncoding :: SrcSpan -> Encoding # toJSONList :: [SrcSpan] -> Value # toEncodingList :: [SrcSpan] -> Encoding #
FromJSON SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods parseJSON :: Value -> Parser SrcSpan # parseJSONList :: Value -> Parser [SrcSpan] #
Binary NExprLoc
Instance details Defined in Nix.Expr.Types.Annotated Methods put :: NExprLoc -> Put # get :: Get NExprLoc # putList :: [NExprLoc] -> Put #
Binary SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods put :: SrcSpan -> Put # get :: Get SrcSpan # putList :: [SrcSpan] -> Put #
NFData SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods rnf :: SrcSpan -> () #
ToExpr NExprLoc
Instance details Defined in Nix.TH Methods toExpr :: NExprLoc -> NExprLoc #
Serialise NExprLoc
Instance details Defined in Nix.Expr.Types.Annotated Methods encode :: NExprLoc -> Encoding # decode :: Decoder s NExprLoc # encodeList :: [NExprLoc] -> Encoding # decodeList :: Decoder s [NExprLoc] #
Serialise SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated Methods encode :: SrcSpan -> Encoding # decode :: Decoder s SrcSpan # encodeList :: [SrcSpan] -> Encoding # decodeList :: Decoder s [SrcSpan] #
Binary r => Binary (NExprLocF r)
Instance details Defined in Nix.Expr.Types.Annotated Methods put :: NExprLocF r -> Put # get :: Get (NExprLocF r) # putList :: [NExprLocF r] -> Put #
Serialise r => Serialise (Compose (Ann SrcSpan) NExprF r)
Instance details Defined in Nix.Expr.Types.Annotated Methods encode :: Compose (Ann SrcSpan) NExprF r -> Encoding # decode :: Decoder s (Compose (Ann SrcSpan) NExprF r) # encodeList :: [Compose (Ann SrcSpan) NExprF r] -> Encoding # decodeList :: Decoder s [Compose (Ann SrcSpan) NExprF r] #
type Rep SrcSpan
Instance details Defined in Nix.Expr.Types.Annotated type Rep SrcSpan = D1 ('MetaData "SrcSpan" "Nix.Expr.Types.Annotated" "hnix-0.11.0-HCVhUmIJlUZ32fis3dm6v2" 'False) (C1 ('MetaCons "SrcSpan" 'PrefixI 'True) (S1 ('MetaSel ('Just "spanBegin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos) :*: S1 ('MetaSel ('Just "spanEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos)))

data SourcePos #

The data type SourcePos represents source positions. It contains the name of the source file, a line number, and a column number. Source line and column positions change intensively during parsing, so we need to make them strict to avoid memory leaks.

Constructors

SourcePos
Fields sourceName :: FilePath Name of source file sourceLine :: !Pos Line number sourceColumn :: !Pos Column number

Instances

Instances details

Eq SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods (==) :: SourcePos -> SourcePos -> Bool # (/=) :: SourcePos -> SourcePos -> Bool #
Data SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourcePos -> c SourcePos # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourcePos # toConstr :: SourcePos -> Constr # dataTypeOf :: SourcePos -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourcePos) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourcePos) # gmapT :: (forall b. Data b => b -> b) -> SourcePos -> SourcePos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r # gmapQ :: (forall d. Data d => d -> u) -> SourcePos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourcePos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos #
Ord SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods compare :: SourcePos -> SourcePos -> Ordering # (<) :: SourcePos -> SourcePos -> Bool # (<=) :: SourcePos -> SourcePos -> Bool # (>) :: SourcePos -> SourcePos -> Bool # (>=) :: SourcePos -> SourcePos -> Bool # max :: SourcePos -> SourcePos -> SourcePos # min :: SourcePos -> SourcePos -> SourcePos #
Read SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods readsPrec :: Int -> ReadS SourcePos # readList :: ReadS [SourcePos] # readPrec :: ReadPrec SourcePos # readListPrec :: ReadPrec [SourcePos] #
Show SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods showsPrec :: Int -> SourcePos -> ShowS # show :: SourcePos -> String # showList :: [SourcePos] -> ShowS #
Generic SourcePos
Instance details Defined in Text.Megaparsec.Pos Associated Types type Rep SourcePos :: Type -> Type # Methods from :: SourcePos -> Rep SourcePos x # to :: Rep SourcePos x -> SourcePos #
NFData SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods rnf :: SourcePos -> () #
type Rep SourcePos
Instance details Defined in Text.Megaparsec.Pos type Rep SourcePos = D1 ('MetaData "SourcePos" "Text.Megaparsec.Pos" "megaparsec-8.0.0-9Vrm0rkChK0Lp6QBTm2WWZ" 'False) (C1 ('MetaCons "SourcePos" 'PrefixI 'True) (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :: (S1 ('MetaSel ('Just "sourceLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos) :: S1 ('MetaSel ('Just "sourceColumn") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos))))

updateSpan :: SpanUpdate -> Text -> Text Source #

Update a single span of characters inside a text value. If you're updating multiples spans it's best to use updateSpans.

updateSpans :: [SpanUpdate] -> Text -> Text Source #

Update many spans in a file. They must be non-overlapping.

linearizeSourcePos Source #

Arguments

:: Text	The string to linearize in
-> Int64	The line offset
-> Int64	The column offset
-> Int64	The character offset

Go from a line and column representation to a single character offset from the beginning of the text.

This probably fails on crazy texts with multi character line breaks.

prettyPrintSourcePos :: SourcePos -> String Source #

split :: SourcePos -> Text -> (Text, Text) Source #

Split some text at a particular SourcePos