Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.TreeDiff.Expr

Contents

Description

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

Synopsis

Types

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 details

Arbitrary Expr Source #
Instance details Defined in Data.TreeDiff.Expr Methods arbitrary :: Gen Expr # shrink :: Expr -> [Expr] #
Show Expr Source #
Instance details Defined in Data.TreeDiff.Expr Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
NFData Expr Source #
Instance details Defined in Data.TreeDiff.Expr Methods rnf :: Expr -> () #
Eq Expr Source #
Instance details Defined in Data.TreeDiff.Expr Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Ord Expr Source #
Instance details 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 Source #
Instance details Defined in Data.TreeDiff.Class Methods toExpr :: Expr -> Expr Source # listToExpr :: [Expr] -> Expr Source #

Constructor name is a string

Record field name is a string too.

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 details

Show EditExpr Source #
Instance details Defined in Data.TreeDiff.Expr Methods showsPrec :: Int -> EditExpr -> ShowS # show :: EditExpr -> String # showList :: [EditExpr] -> ShowS #
NFData EditExpr Source #
Instance details Defined in Data.TreeDiff.Expr Methods rnf :: EditExpr -> () #

List edit operations

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

Constructors

Instances details

Show a => Show (Edit a) Source #
Instance details Defined in Data.TreeDiff.List Methods showsPrec :: Int -> Edit a -> ShowS # show :: Edit a -> String # showList :: [Edit a] -> ShowS #
NFData a => NFData (Edit a) Source #
Instance details Defined in Data.TreeDiff.List Methods rnf :: Edit a -> () #
Eq a => Eq (Edit a) Source #
Instance details Defined in Data.TreeDiff.List Methods (==) :: Edit a -> Edit a -> Bool # (/=) :: Edit a -> Edit a -> Bool #

Diff two Expr.

For examples see ediff in Data.TreeDiff.Class.