Text.Trifecta.Delta

A Delta keeps track of the cursor position of the parser, so it can be referred to later, for example in error messages.

Documentation

data Delta

Since there are multiple ways to be at a certain location, Delta captures all these alternatives as a single type.

Constructors

Columns !Int64 !Int64

( number of characters
, number of bytes )

Tab !Int64 !Int64 !Int64

( number of characters before the tab
, number of characters after the tab
, number of bytes )

Lines !Int64 !Int64 !Int64 !Int64

( number of newlines contained
, number of characters since the last newline
, number of bytes
, number of bytes since the last newline )

Directed !ByteString !Int64 !Int64 !Int64 !Int64

( current file name
, number of lines since the last line directive
, number of characters since the last newline
, number of bytes
, number of bytes since the last newline )

Instances

Data Delta

Defined in Text.Trifecta.Delta

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Delta -> c Delta

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Delta

toConstr :: Delta -> Constr

dataTypeOf :: Delta -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Delta)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Delta)

gmapT :: (forall b. Data b => b -> b) -> Delta -> Delta

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Delta -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Delta -> r

gmapQ :: (forall d. Data d => d -> u) -> Delta -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Delta -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Delta -> m Delta

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Delta -> m Delta

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Delta -> m Delta

Monoid Delta

Defined in Text.Trifecta.Delta

Methods

mempty :: Delta

mappend :: Delta -> Delta -> Delta

mconcat :: [Delta] -> Delta

Semigroup Delta

Defined in Text.Trifecta.Delta

Methods

(<>) :: Delta -> Delta -> Delta

sconcat :: NonEmpty Delta -> Delta

stimes :: Integral b => b -> Delta -> Delta

Generic Delta

Defined in Text.Trifecta.Delta

Associated Types

type Rep Delta :: Type -> Type

Methods

from :: Delta -> Rep Delta x

to :: Rep Delta x -> Delta

Show Delta

Defined in Text.Trifecta.Delta

Methods

showsPrec :: Int -> Delta -> ShowS

show :: Delta -> String

showList :: [Delta] -> ShowS

Eq Delta

Defined in Text.Trifecta.Delta

Methods

(==) :: Delta -> Delta -> Bool

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

Ord Delta

Defined in Text.Trifecta.Delta

Methods

compare :: Delta -> Delta -> Ordering

(<) :: Delta -> Delta -> Bool

(<=) :: Delta -> Delta -> Bool

(>) :: Delta -> Delta -> Bool

(>=) :: Delta -> Delta -> Bool

max :: Delta -> Delta -> Delta

min :: Delta -> Delta -> Delta

Hashable Delta

Defined in Text.Trifecta.Delta

Methods

hashWithSalt :: Int -> Delta -> Int

hash :: Delta -> Int

HasBytes Delta

Defined in Text.Trifecta.Delta

Methods

bytes :: Delta -> Int64

HasDelta Delta

Defined in Text.Trifecta.Delta

Methods

delta :: Delta -> Delta

Measured Delta Rope

Defined in Text.Trifecta.Rope

Methods

measure :: Rope -> Delta

Measured Delta Strand

Defined in Text.Trifecta.Rope

Methods

measure :: Strand -> Delta

MarkParsing Delta Parser

Defined in Text.Trifecta.Parser

Methods

mark :: Parser Delta

release :: Delta -> Parser ()

type Rep Delta

Defined in Text.Trifecta.Delta

type Rep Delta = D1 ('MetaData "Delta" "Text.Trifecta.Delta" "trifecta-2.1.4-AtxOMZK0MUEHOtLDlbMlQl" 'False) ((C1 ('MetaCons "Columns" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64)) :+: C1 ('MetaCons "Tab" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64)))) :+: (C1 ('MetaCons "Lines" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64))) :+: C1 ('MetaCons "Directed" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int64))))))

class HasDelta t where

Methods

delta :: t -> Delta

Instances

HasDelta Word8

Defined in Text.Trifecta.Delta

Methods

delta :: Word8 -> Delta

HasDelta ByteString

Defined in Text.Trifecta.Delta

Methods

delta :: ByteString -> Delta

HasDelta Delta

Defined in Text.Trifecta.Delta

Methods

delta :: Delta -> Delta

HasDelta HighlightedRope

Defined in Text.Trifecta.Highlight

Methods

delta :: HighlightedRope -> Delta

HasDelta Caret

Defined in Text.Trifecta.Rendering

Methods

delta :: Caret -> Delta

HasDelta Rendering

Defined in Text.Trifecta.Rendering

Methods

delta :: Rendering -> Delta

HasDelta Rope

Defined in Text.Trifecta.Rope

Methods

delta :: Rope -> Delta

HasDelta Strand

Defined in Text.Trifecta.Rope

Methods

delta :: Strand -> Delta

HasDelta Char

Defined in Text.Trifecta.Delta

Methods

delta :: Char -> Delta

HasDelta (Careted a)

Defined in Text.Trifecta.Rendering

Methods

delta :: Careted a -> Delta

HasDelta (Rendered a)

Defined in Text.Trifecta.Rendering

Methods

delta :: Rendered a -> Delta

(HasDelta l, HasDelta r) => HasDelta (Either l r)

Defined in Text.Trifecta.Delta

Methods

delta :: Either l r -> Delta

(Measured v a, HasDelta v) => HasDelta (FingerTree v a)

Defined in Text.Trifecta.Delta

Methods

delta :: FingerTree v a -> Delta

class HasBytes t where

Methods

bytes :: t -> Int64

Instances

HasBytes ByteString

Defined in Text.Trifecta.Delta

Methods

bytes :: ByteString -> Int64

HasBytes Delta

Defined in Text.Trifecta.Delta

Methods

bytes :: Delta -> Int64

HasBytes HighlightedRope

Defined in Text.Trifecta.Highlight

Methods

bytes :: HighlightedRope -> Int64

HasBytes Caret

Defined in Text.Trifecta.Rendering

Methods

bytes :: Caret -> Int64

HasBytes Rope

Defined in Text.Trifecta.Rope

Methods

bytes :: Rope -> Int64

HasBytes Strand

Defined in Text.Trifecta.Rope

Methods

bytes :: Strand -> Int64

HasBytes (Careted a)

Defined in Text.Trifecta.Rendering

Methods

bytes :: Careted a -> Int64

HasBytes (Rendered a)

Defined in Text.Trifecta.Rendering

Methods

bytes :: Rendered a -> Int64

(Measured v a, HasBytes v) => HasBytes (FingerTree v a)

Defined in Text.Trifecta.Delta

Methods

bytes :: FingerTree v a -> Int64

prettyDelta :: Delta -> Doc AnsiStyle

Example: file.txt:12:34

nextTab :: Int64 -> Int64

Increment a column number to the next tabstop.

rewind :: Delta -> Delta

Rewind a Delta to the beginning of the line.

near :: (HasDelta s, HasDelta t) => s -> t -> Bool

Should we show two things with a Delta on the same line?

>>> near (Columns 0 0) (Columns 5 5)
True

>>> near (Lines 1 0 1 0) (Lines 2 4 4 2)
False

column :: HasDelta t => t -> Int64

Retrieve the character offset within the current line from this Delta.

columnByte :: Delta -> Int64

Retrieve the byte offset within the current line from this Delta.