Copyright	(c) Edward Kmett 2017
License	BSD2
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Coda.Relative.Delta

Description

Stuff we an measure in UTF-16 code units

Synopsis

Documentation

newtype Delta Source #

A count of UTF-16 code-units.

This forms an (obvious) Abelian group unlike the merely monoidal pairs of line and column.

It is also very compact fitting in a single Int.

Constructors

Delta Int

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 #
Num Delta Source #
Methods (+) :: Delta -> Delta -> Delta # (-) :: Delta -> Delta -> Delta # (*) :: Delta -> Delta -> Delta # negate :: Delta -> Delta # abs :: Delta -> Delta # signum :: Delta -> Delta # fromInteger :: Integer -> 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 #
Read Delta Source #
Methods readsPrec :: Int -> ReadS Delta # readList :: ReadS [Delta] # readPrec :: ReadPrec Delta # readListPrec :: ReadPrec [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 #
Hashable Delta Source #
Methods hashWithSalt :: Int -> Delta -> Int # hash :: Delta -> Int #
Default Delta Source #
Methods def :: Delta
StrictRelativeOrder Delta Source #

RelativeOrder Delta Source #

RelativeMonoid Delta Source #

Relative Delta Source #
Methods rel :: Delta -> Delta -> Delta Source #
Measured Delta Source #
Associated Types type Measure Delta :: * Source # Methods measure :: Delta -> Measure Delta Source #
HasRelativeDelta Delta Source #

HasOrderedDelta Delta Source #

HasMonoidalDelta Delta Source #

HasDelta Delta Source #
Methods delta :: Delta -> Delta Source #
OrderedMonoid Delta Source #

Changeable Delta Source #	O(log(min(k,n-k))) where there are `n` edits, `k` of which occur before the position in question
Methods change :: Change -> Delta -> Partial Delta Source #
Editable Delta Source #
Methods edit :: Edit -> Delta -> Partial Delta Source #
PP Delta Source #
Methods pp :: Delta -> (String, String) Source #
Splittable Delta Source #
Methods splitDelta :: Delta -> Delta -> (Delta, Delta) Source # takeDelta :: Delta -> Delta -> Delta Source # dropDelta :: Delta -> Delta -> Delta Source #
Inverse Delta Source #
Associated Types type Idempotent Delta :: * Source # Methods inverse :: Delta -> Delta Source # src :: Delta -> Idempotent Delta Source # tgt :: Delta -> Idempotent Delta Source # idd :: Idempotent Delta -> Delta Source #
Composable Delta Source #
Methods compose :: Delta -> Delta -> Partial Delta Source #
MonadWriter Delta Located #
Methods writer :: (a, Delta) -> Located a # tell :: Delta -> Located () # listen :: Located a -> Located (a, Delta) # pass :: Located (a, Delta -> Delta) -> Located a #
type Rep Delta Source #
type Rep Delta = D1 * (MetaData "Delta" "Coda.Relative.Delta.Type" "coda-0.0.1-Lrfl9CggVgIC7W2mVql1dH" True) (C1 * (MetaCons "Delta" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))
type Measure Delta Source #
type Measure Delta = Delta
type Idempotent Delta Source #
type Idempotent Delta = Delta

class HasDelta t where Source #

Something we can measure.

Minimal complete definition

delta

Methods

delta :: t -> Delta Source #

Instances

HasDelta Text Source #
Methods delta :: Text -> Delta Source #
HasDelta Delta Source #
Methods delta :: Delta -> Delta Source #
HasDelta Change Source #	This measures the size of the domain, `delta (inv d)` measures the codomain
Methods delta :: Change -> Delta Source #
HasDelta Edit Source #
Methods delta :: Edit -> Delta Source #
HasDelta Grade Source #
Methods delta :: Grade -> Delta Source #
HasDelta AlexInput Source #
Methods delta :: AlexInput -> Delta Source #
HasDelta LineMeasure Source #
Methods delta :: LineMeasure -> Delta Source #
HasDelta Line Source #
Methods delta :: Line -> Delta Source #
HasDelta a => HasDelta (Absolute a) Source #
Methods delta :: Absolute a -> Delta Source #
(Measured a, HasDelta (Measure a)) => HasDelta (FingerTree a) Source #
Methods delta :: FingerTree a -> Delta Source #

units :: HasDelta t => t -> Int Source #

extract the number of utf-16 code units from a delta

class (Monoid t, HasDelta t) => HasMonoidalDelta t Source #

delta for this type is a monoid homomorphism

delta (m <> n) = delta m <> delta n
delta mempty = 0

Instances

class (Ord t, HasDelta t) => HasOrderedDelta t Source #

Requires that delta is monotone

m <= n implies delta m <= delta n

Instances

HasOrderedDelta Delta Source #

HasOrderedDelta Edit Source #

HasOrderedDelta Grade Source #

HasOrderedDelta a => HasOrderedDelta (Absolute a) Source #

class (Relative t, HasDelta t) => HasRelativeDelta t Source #

delta and rel

delta (rel d p) = d <> delta p

Instances

HasRelativeDelta Delta Source #

HasMonoidalDelta Text Source #

HasMonoidalDelta Delta Source #

HasMonoidalDelta Grade Source #

HasMonoidalDelta a => HasMonoidalDelta (Absolute a) Source #

(Measured a, HasMonoidalDelta (Measure a)) => HasMonoidalDelta (FingerTree a) Source #