Update.Span

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

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

Documentation

data SpanUpdate

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

Data SpanUpdate

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 :: (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

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

Eq SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

(==) :: SrcSpan -> SrcSpan -> Bool

(/=) :: SrcSpan -> SrcSpan -> Bool

Data SrcSpan

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 :: (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

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

Defined in Nix.Expr.Types.Annotated

Methods

showsPrec :: Int -> SrcSpan -> ShowS

show :: SrcSpan -> String

showList :: [SrcSpan] -> ShowS

Generic SrcSpan

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

Defined in Nix.Expr.Types.Annotated

Methods

(<>) :: SrcSpan -> SrcSpan -> SrcSpan

sconcat :: NonEmpty SrcSpan -> SrcSpan

stimes :: Integral b => b -> SrcSpan -> SrcSpan

Hashable NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

hashWithSalt :: Int -> NExprLoc -> Int

hash :: NExprLoc -> Int

Hashable SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

hashWithSalt :: Int -> SrcSpan -> Int

hash :: SrcSpan -> Int

ToJSON SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

toJSON :: SrcSpan -> Value

toEncoding :: SrcSpan -> Encoding

toJSONList :: [SrcSpan] -> Value

toEncodingList :: [SrcSpan] -> Encoding

FromJSON SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

parseJSON :: Value -> Parser SrcSpan

parseJSONList :: Value -> Parser [SrcSpan]

Binary NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

put :: NExprLoc -> Put

get :: Get NExprLoc

putList :: [NExprLoc] -> Put

Binary SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

put :: SrcSpan -> Put

get :: Get SrcSpan

putList :: [SrcSpan] -> Put

NFData NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

rnf :: NExprLoc -> ()

NFData SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

rnf :: SrcSpan -> ()

Serialise NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

encode :: NExprLoc -> Encoding

decode :: Decoder s NExprLoc

encodeList :: [NExprLoc] -> Encoding

decodeList :: Decoder s [NExprLoc]

Serialise SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

encode :: SrcSpan -> Encoding

decode :: Decoder s SrcSpan

encodeList :: [SrcSpan] -> Encoding

decodeList :: Decoder s [SrcSpan]

Monad m => Scoped NExprLoc (Reducer m)

Defined in Nix.Reduce

Methods

currentScopes :: Reducer m (Scopes (Reducer m) NExprLoc)

clearScopes :: Reducer m r -> Reducer m r

pushScopes :: Scopes (Reducer m) NExprLoc -> Reducer m r -> Reducer m r

lookupVar :: Text -> Reducer m (Maybe NExprLoc)

Binary r => Binary (NExprLocF r)

Defined in Nix.Expr.Types.Annotated

Methods

put :: NExprLocF r -> Put

get :: Get (NExprLocF r)

putList :: [NExprLocF r] -> Put

Monad m => MonadReader (Maybe FilePath, Scopes (Reducer m) NExprLoc) (Reducer m)

Defined in Nix.Reduce

Methods

ask :: Reducer m (Maybe FilePath, Scopes (Reducer m) NExprLoc)

local :: ((Maybe FilePath, Scopes (Reducer m) NExprLoc) -> (Maybe FilePath, Scopes (Reducer m) NExprLoc)) -> Reducer m a -> Reducer m a

reader :: ((Maybe FilePath, Scopes (Reducer m) NExprLoc) -> a) -> Reducer m a

Monad m => MonadState (HashMap FilePath NExprLoc) (Reducer m)

Defined in Nix.Reduce

Methods

get :: Reducer m (HashMap FilePath NExprLoc)

put :: HashMap FilePath NExprLoc -> Reducer m ()

state :: (HashMap FilePath NExprLoc -> (a, HashMap FilePath NExprLoc)) -> Reducer m a

Serialise r => Serialise (Compose (Ann SrcSpan) NExprF r)

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

Defined in Nix.Expr.Types.Annotated

type Rep SrcSpan = D1 (MetaData "SrcSpan" "Nix.Expr.Types.Annotated" "hnix-0.9.0-GaWo2AVHCGY9SLxnD4sNym" 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

Eq SourcePos

Defined in Text.Megaparsec.Pos

Methods

(==) :: SourcePos -> SourcePos -> Bool

(/=) :: SourcePos -> SourcePos -> Bool

Data SourcePos

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 :: (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

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

Defined in Text.Megaparsec.Pos

Methods

readsPrec :: Int -> ReadS SourcePos

readList :: ReadS [SourcePos]

readPrec :: ReadPrec SourcePos

readListPrec :: ReadPrec [SourcePos]

Show SourcePos

Defined in Text.Megaparsec.Pos

Methods

showsPrec :: Int -> SourcePos -> ShowS

show :: SourcePos -> String

showList :: [SourcePos] -> ShowS

Generic SourcePos

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

Defined in Text.Megaparsec.Pos

Methods

rnf :: SourcePos -> ()

type Rep SourcePos

Defined in Text.Megaparsec.Pos

type Rep SourcePos = D1 (MetaData "SourcePos" "Text.Megaparsec.Pos" "megaparsec-8.0.0-BFw8gNuiOzWGglmtIkYt5X" False) (C1 (MetaCons "SourcePos" PrefixI True) (S1 (MetaSel (Just "sourceName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath) :*: (S1 (MetaSel (Just "sourceLine") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Pos) :*: S1 (MetaSel (Just "sourceColumn") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Pos))))

updateSpan :: SpanUpdate -> Text -> Text

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

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

linearizeSourcePos

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

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

Split some text at a particular SourcePos