Data.Diff

eqToDiffC :: forall a. Eq a => a -> a -> Maybe (These a a)

diffCString :: String -> String -> Maybe (These String String)

class Diff a aux | a -> aux where

aux represents "has more than the other of..."

Members

• diff :: a -> a -> Maybe (Either aux aux)

Instances

• Diff Unit Void
• Diff Truthiness Unit
• Diff Falseness Unit
• Diff (Positive Int) Int
• Diff (Positive Number) Number
• Diff (Negative Int) Int
• Diff (Negative Number) Number
• Diff (Positive Char) Char
• Diff (Negative Char) Char

newtype Truthiness

Constructors

• Truthiness Boolean

Instances

• Diff Truthiness Unit

newtype Falseness

Constructors

• Falseness Boolean

Instances

• Diff Falseness Unit

newtype Positive a

WRT Ord

Constructors

• Positive a

Instances

• Diff (Positive Int) Int
• Diff (Positive Number) Number
• Diff (Positive Char) Char

newtype Negative a

Constructors

• Negative a

Instances

• Diff (Negative Int) Int
• Diff (Negative Number) Number
• Diff (Negative Char) Char

diffToDiffC :: forall aux a. Diff a aux => a -> a -> Maybe (These aux aux)

class DiffC a aux | a -> aux where

Diffable collections

Members

• diffC :: a -> a -> Maybe (These aux aux)

Instances

• (Eq a, DiffC (f a) (f a)) => DiffC (NonEmpty f a) (f a)
• (Eq a) => DiffC (Prefix Array a) (Prefix Array a)
• (Eq a) => DiffC (Suffix Array a) (Suffix Array a)
• (Eq a) => DiffC (Prefix List a) (Prefix List a)
• (Ord k) => DiffC (Map k a) (Map k a)
• DiffC (StrMap a) (StrMap a)
• (Ord a) => DiffC (Set a) (Set a)

newtype Prefix f a

Constructors

• Prefix (f a)

Instances

• (Eq a) => DiffC (Prefix Array a) (Prefix Array a)
• (Eq a) => DiffC (Prefix List a) (Prefix List a)

newtype Suffix f a

Constructors

• Suffix (f a)

Instances

• (Eq a) => DiffC (Suffix Array a) (Suffix Array a)

differenceMap :: forall a k. Ord k => Map k a -> Map k a -> Map k a

differenceStrMap :: forall a. StrMap a -> StrMap a -> StrMap a

differenceSet :: forall a. Ord a => Set a -> Set a -> Set a