Copyright	(C) 2011-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Text.Trifecta.Delta

Description

Synopsis

Documentation

data Delta Source #

Constructors

Columns !Int64 !Int64
Tab !Int64 !Int64 !Int64
Lines !Int64 !Int64 !Int64 !Int64
Directed !ByteString !Int64 !Int64 !Int64 !Int64

Instances

Eq Delta Source #
Methods (==) :: Delta -> Delta -> Bool # (/=) :: Delta -> Delta -> Bool #
Data Delta Source #
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 :: (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 #
Ord Delta Source #
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 #
Show Delta Source #
Methods showsPrec :: Int -> Delta -> ShowS # show :: Delta -> String # showList :: [Delta] -> ShowS #
Generic Delta Source #
Associated Types type Rep Delta :: * -> * # Methods from :: Delta -> Rep Delta x # to :: Rep Delta x -> Delta #
Semigroup Delta Source #
Methods (<>) :: Delta -> Delta -> Delta # sconcat :: NonEmpty Delta -> Delta # stimes :: Integral b => b -> Delta -> Delta #
Monoid Delta Source #
Methods mempty :: Delta # mappend :: Delta -> Delta -> Delta # mconcat :: [Delta] -> Delta #
Pretty Delta Source #
Methods pretty :: Delta -> Doc # prettyList :: [Delta] -> Doc #
Hashable Delta Source #
Methods hashWithSalt :: Int -> Delta -> Int # hash :: Delta -> Int #
HasDelta Delta Source #
Methods delta :: Delta -> Delta Source #
HasBytes Delta Source #
Methods bytes :: Delta -> Int64 Source #
Measured Delta Rope #
Methods measure :: Rope -> Delta #
Measured Delta Strand #
Methods measure :: Strand -> Delta #
MarkParsing Delta Parser Source #
Methods mark :: Parser Delta Source # release :: Delta -> Parser () Source #
type Rep Delta Source #
type Rep Delta = D1 (MetaData "Delta" "Text.Trifecta.Delta" "trifecta-1.6-CyPC3xDwUm2CzY9pomrC0A" False) ((:+:) ((:+:) (C1 (MetaCons "Columns" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)))) (C1 (MetaCons "Tab" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)) ((::) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)))))) ((:+:) (C1 (MetaCons "Lines" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64))) ((::) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64))))) (C1 (MetaCons "Directed" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ByteString)) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64))) ((::) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)) ((::) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64)) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Int64))))))))

class HasDelta t where Source #

Minimal complete definition

delta

Methods

delta :: t -> Delta Source #

Instances

HasDelta Char Source #
Methods delta :: Char -> Delta Source #
HasDelta Word8 Source #
Methods delta :: Word8 -> Delta Source #
HasDelta ByteString Source #
Methods delta :: ByteString -> Delta Source #
HasDelta Delta Source #
Methods delta :: Delta -> Delta Source #
HasDelta Rope Source #
Methods delta :: Rope -> Delta Source #
HasDelta Strand Source #
Methods delta :: Strand -> Delta Source #
HasDelta HighlightedRope Source #
Methods delta :: HighlightedRope -> Delta Source #
HasDelta Rendering Source #
Methods delta :: Rendering -> Delta Source #
HasDelta Caret Source #
Methods delta :: Caret -> Delta Source #
HasDelta (Careted a) Source #
Methods delta :: Careted a -> Delta Source #
HasDelta (Rendered a) Source #
Methods delta :: Rendered a -> Delta Source #
(HasDelta l, HasDelta r) => HasDelta (Either l r) Source #
Methods delta :: Either l r -> Delta Source #
(Measured v a, HasDelta v) => HasDelta (FingerTree v a) Source #
Methods delta :: FingerTree v a -> Delta Source #

class HasBytes t where Source #

Minimal complete definition

bytes

Methods

bytes :: t -> Int64 Source #

Instances

HasBytes ByteString Source #
Methods bytes :: ByteString -> Int64 Source #
HasBytes Delta Source #
Methods bytes :: Delta -> Int64 Source #
HasBytes Rope Source #
Methods bytes :: Rope -> Int64 Source #
HasBytes Strand Source #
Methods bytes :: Strand -> Int64 Source #
HasBytes HighlightedRope Source #
Methods bytes :: HighlightedRope -> Int64 Source #
HasBytes Caret Source #
Methods bytes :: Caret -> Int64 Source #
HasBytes (Careted a) Source #
Methods bytes :: Careted a -> Int64 Source #
HasBytes (Rendered a) Source #
Methods bytes :: Rendered a -> Int64 Source #
(Measured v a, HasBytes v) => HasBytes (FingerTree v a) Source #
Methods bytes :: FingerTree v a -> Int64 Source #

nextTab :: Int64 -> Int64 Source #

Increment a column number to the next tabstop.

rewind :: Delta -> Delta Source #

Rewind a Delta to the beginning of the line.

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

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

column :: HasDelta t => t -> Int64 Source #

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

columnByte :: Delta -> Int64 Source #

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