Data.TreeDiff.Expr

This module uses Expr for richer diffs than based on Tree.

Types

data Expr

A untyped Haskell-like expression.

Having richer structure than just Tree allows to have richer diffs.

Constructors

App ConstructorName [Expr]

application

Rec ConstructorName (OMap FieldName Expr)

record constructor

Lst [Expr]

list constructor

Instances

Arbitrary Expr

Defined in Data.TreeDiff.Expr

Methods

arbitrary :: Gen Expr

shrink :: Expr -> [Expr]

Show Expr

Defined in Data.TreeDiff.Expr

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

NFData Expr

Defined in Data.TreeDiff.Expr

Methods

rnf :: Expr -> ()

Eq Expr

Defined in Data.TreeDiff.Expr

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

Ord Expr

Defined in Data.TreeDiff.Expr

Methods

compare :: Expr -> Expr -> Ordering

(<) :: Expr -> Expr -> Bool

(<=) :: Expr -> Expr -> Bool

(>) :: Expr -> Expr -> Bool

(>=) :: Expr -> Expr -> Bool

max :: Expr -> Expr -> Expr

min :: Expr -> Expr -> Expr

ToExpr Expr

Defined in Data.TreeDiff.Class

Methods

toExpr :: Expr -> Expr

listToExpr :: [Expr] -> Expr

type ConstructorName = String

Constructor name is a string

type FieldName = String

Record field name is a string too.

data EditExpr

Type used in the result of ediff.

Constructors

EditApp ConstructorName [Edit EditExpr]

EditRec ConstructorName (OMap FieldName (Edit EditExpr))

EditLst [Edit EditExpr]

EditExp Expr

unchanged tree

Instances

Show EditExpr

Defined in Data.TreeDiff.Expr

Methods

showsPrec :: Int -> EditExpr -> ShowS

show :: EditExpr -> String

showList :: [EditExpr] -> ShowS

NFData EditExpr

Defined in Data.TreeDiff.Expr

Methods

rnf :: EditExpr -> ()

data Edit a

List edit operations

The Swp constructor is redundant, but it let us spot a recursion point when performing tree diffs.

Constructors

Ins a

insert

Del a

delete

Cpy a

copy unchanged

Swp a a

swap, i.e. delete + insert

Instances

Show a => Show (Edit a)

Defined in Data.TreeDiff.List

Methods

showsPrec :: Int -> Edit a -> ShowS

show :: Edit a -> String

showList :: [Edit a] -> ShowS

NFData a => NFData (Edit a)

Defined in Data.TreeDiff.List

Methods

rnf :: Edit a -> ()

Eq a => Eq (Edit a)

Defined in Data.TreeDiff.List

Methods

(==) :: Edit a -> Edit a -> Bool

(/=) :: Edit a -> Edit a -> Bool

exprDiff :: Expr -> Expr -> Edit EditExpr

Diff two Expr.

For examples see ediff in Data.TreeDiff.Class.