Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Server.Backend.DefinitionDiff

Description

Utilities for displaying diffs between definitions.

Synopsis

diffDisplayObjects :: HasCallStack => DisplayObject SyntaxText SyntaxText -> DisplayObject SyntaxText SyntaxText -> DisplayObjectDiff
linewiseDiff :: forall f a. (Foldable f, Eq a, Show a) => (Segment a -> Segment a -> Bool) -> f (Segment a) -> f (Segment a) -> LinewiseDiff (Paired (Segment a))
data Paired a
- = OneSided a
- | Paired a a
data Changed a
- = Changed a
- | Unchanged a
- | Spacer

Documentation

diffDisplayObjects :: HasCallStack => DisplayObject SyntaxText SyntaxText -> DisplayObject SyntaxText SyntaxText -> DisplayObjectDiff Source #

linewiseDiff :: forall f a. (Foldable f, Eq a, Show a) => (Segment a -> Segment a -> Bool) -> f (Segment a) -> f (Segment a) -> LinewiseDiff (Paired (Segment a)) Source #

Compute a line-wise diff between two lists of segments.

>>> let s a = Segment a Nothing
>>> let left = [s "line1", s "\n", s "line2", s "\n", s "line3", s "\n", s "line3"]
>>> let right = [s "line1", s "\n", s "lineX", s "\n", s "line3"]
>>> linewiseDiff (==) left right
LinewiseDiff {lhsLines = [Unchanged [Paired (Segment {segment = "line1", annotation = Nothing}) (Segment {segment = "line1", annotation = Nothing})],Changed [OneSided (Segment {segment = "line2", annotation = Nothing})],Changed [OneSided (Segment {segment = "line3", annotation = Nothing})],Unchanged [Paired (Segment {segment = "line3", annotation = Nothing}) (Segment {segment = "line3", annotation = Nothing})]], rhsLines = [Unchanged [Paired (Segment {segment = "line1", annotation = Nothing}) (Segment {segment = "line1", annotation = Nothing})],Changed [OneSided (Segment {segment = "lineX", annotation = Nothing})],Spacer,Unchanged [Paired (Segment {segment = "line3", annotation = Nothing}) (Segment {segment = "line3", annotation = Nothing})]]}

>>> let s a = Segment a Nothing
>>> let left = [s "line1", s "=\n", s "line2", s ",\n", s "line3", s "\n", s "line3"]
>>> let right = [s "line1", s "\n", s "lineX", s ",\n,\n,", s "line3"]
>>> linewiseDiff (==) left right
LinewiseDiff {lhsLines = [Changed [Paired (Segment {segment = "line1", annotation = Nothing}) (Segment {segment = "line1", annotation = Nothing}),OneSided (Segment {segment = "=", annotation = Nothing})],Changed [OneSided (Segment {segment = "line2", annotation = Nothing}),Paired (Segment {segment = ",", annotation = Nothing}) (Segment {segment = ",", annotation = Nothing})],Changed [OneSided (Segment {segment = "line3", annotation = Nothing})],Changed [Paired (Segment {segment = "line3", annotation = Nothing}) (Segment {segment = "line3", annotation = Nothing})]], rhsLines = [Changed [Paired (Segment {segment = "line1", annotation = Nothing}) (Segment {segment = "line1", annotation = Nothing})],Changed [OneSided (Segment {segment = "lineX", annotation = Nothing}),Paired (Segment {segment = ",", annotation = Nothing}) (Segment {segment = ",", annotation = Nothing})],Changed [OneSided (Segment {segment = ",", annotation = Nothing})],Changed [OneSided (Segment {segment = ",", annotation = Nothing}),Paired (Segment {segment = "line3", annotation = Nothing}) (Segment {segment = "line3", annotation = Nothing})]]}

data Paired a Source #

Constructors

OneSided a
Paired a a

Instances

Instances details

Show a => Show (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> Paired a -> ShowS # show :: Paired a -> String # showList :: [Paired a] -> ShowS #
Eq a => Eq (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: Paired a -> Paired a -> Bool # (/=) :: Paired a -> Paired a -> Bool #
Ord a => Ord (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods compare :: Paired a -> Paired a -> Ordering # (<) :: Paired a -> Paired a -> Bool # (<=) :: Paired a -> Paired a -> Bool # (>) :: Paired a -> Paired a -> Bool # (>=) :: Paired a -> Paired a -> Bool # max :: Paired a -> Paired a -> Paired a # min :: Paired a -> Paired a -> Paired a #

data Changed a Source #

Constructors

Changed a
Unchanged a
Spacer

Instances

Instances details

Foldable Changed Source #
Instance details Defined in Unison.Server.Types Methods fold :: Monoid m => Changed m -> m # foldMap :: Monoid m => (a -> m) -> Changed a -> m # foldMap' :: Monoid m => (a -> m) -> Changed a -> m # foldr :: (a -> b -> b) -> b -> Changed a -> b # foldr' :: (a -> b -> b) -> b -> Changed a -> b # foldl :: (b -> a -> b) -> b -> Changed a -> b # foldl' :: (b -> a -> b) -> b -> Changed a -> b # foldr1 :: (a -> a -> a) -> Changed a -> a # foldl1 :: (a -> a -> a) -> Changed a -> a # toList :: Changed a -> [a] # null :: Changed a -> Bool # length :: Changed a -> Int # elem :: Eq a => a -> Changed a -> Bool # maximum :: Ord a => Changed a -> a # minimum :: Ord a => Changed a -> a # sum :: Num a => Changed a -> a # product :: Num a => Changed a -> a #
Traversable Changed Source #
Instance details Defined in Unison.Server.Types Methods traverse :: Applicative f => (a -> f b) -> Changed a -> f (Changed b) # sequenceA :: Applicative f => Changed (f a) -> f (Changed a) # mapM :: Monad m => (a -> m b) -> Changed a -> m (Changed b) # sequence :: Monad m => Changed (m a) -> m (Changed a) #
Functor Changed Source #
Instance details Defined in Unison.Server.Types Methods fmap :: (a -> b) -> Changed a -> Changed b # (<$) :: a -> Changed b -> Changed a #
FromJSON a => FromJSON (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser (Changed a) # parseJSONList :: Value -> Parser [Changed a] #
ToJSON a => ToJSON (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: Changed a -> Value # toEncoding :: Changed a -> Encoding # toJSONList :: [Changed a] -> Value # toEncodingList :: [Changed a] -> Encoding #
Generic (Changed a) Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep (Changed a) :: Type -> Type # Methods from :: Changed a -> Rep (Changed a) x # to :: Rep (Changed a) x -> Changed a #
Show a => Show (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> Changed a -> ShowS # show :: Changed a -> String # showList :: [Changed a] -> ShowS #
Eq a => Eq (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: Changed a -> Changed a -> Bool # (/=) :: Changed a -> Changed a -> Bool #
Ord a => Ord (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods compare :: Changed a -> Changed a -> Ordering # (<) :: Changed a -> Changed a -> Bool # (<=) :: Changed a -> Changed a -> Bool # (>) :: Changed a -> Changed a -> Bool # (>=) :: Changed a -> Changed a -> Bool # max :: Changed a -> Changed a -> Changed a # min :: Changed a -> Changed a -> Changed a #
ToSchema a => ToSchema (Changed a) Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy (Changed a) -> Declare (Definitions Schema) NamedSchema #
type Rep (Changed a) Source #
Instance details Defined in Unison.Server.Types type Rep (Changed a) = D1 ('MetaData "Changed" "Unison.Server.Types" "unison-share-api-0.0.0-8KHYB2MVrLdI8jH2YrPsa2" 'False) (C1 ('MetaCons "Changed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Unchanged" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Spacer" 'PrefixI 'False) (U1 :: Type -> Type)))