Text.Trifecta.Delta

Documentation

data Delta

Constructors

Columns !Int64 !Int64

Tab !Int64 !Int64 !Int64

Lines !Int64 !Int64 !Int64 !Int64

Directed !ByteString !Int64 !Int64 !Int64 !Int64

Instances

Eq Delta

Data Delta

Ord Delta

Show Delta

Generic Delta

Pretty Delta

Monoid Delta

Hashable Delta

Semigroup Delta

HasDelta Delta

HasBytes Delta

Typeable * Delta

Measured Delta Rope

Measured Delta Strand

MarkParsing Delta Parser

type Rep Delta

class HasDelta t where

Methods

delta :: t -> Delta

Instances

HasDelta Char

HasDelta Word8

HasDelta ByteString

HasDelta Delta

HasDelta Rope

HasDelta Strand

HasDelta HighlightedRope

HasDelta Rendering

HasDelta Caret

HasDelta (Careted a)

HasDelta (Rendered a)

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

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

class HasBytes t where

Methods

bytes :: t -> Int64

Instances

HasBytes ByteString

HasBytes Delta

HasBytes Rope

HasBytes Strand

HasBytes HighlightedRope

HasBytes Caret

HasBytes (Careted a)

HasBytes (Rendered a)

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

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?

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.