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 )
Instances14Eq, Data, Ord, Show, Generic, Semigroup, …
Eq DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaData DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaOrd DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaShow DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaGeneric DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaSemigroup DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaMonoid DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaHashable DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaHasDelta DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaHasBytes DeltaDefined in trifecta-2.1.4 · Text.Trifecta.DeltaMeasured Delta RopeDefined in trifecta-2.1.4 · Text.Trifecta.RopeMeasured Delta StrandDefined in trifecta-2.1.4 · Text.Trifecta.RopeMarkParsing Delta ParserDefined in trifecta-2.1.4 · Text.Trifecta.Parsertype Rep Delta = D1 ('MetaDataDefined in trifecta-2.1.4 · Text.Trifecta.Delta"Delta"
"Text.Trifecta.Delta"
"trifecta-2.1.4-HluwF0Ko1GgGIXM920i5st"
'False) ((C1 ('MetaCons"Columns"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64)) :+: C1 ('MetaCons"Tab"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64)))) :+: (C1 ('MetaCons"Lines"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64))) :+: C1 ('MetaCons"Directed"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int64))))))