Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.StateMachine.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 (Map FieldName Expr)	record constructor
Lst [Expr]	list constructor

Instances details

Arbitrary Expr Source #
Instance details Defined in Test.StateMachine.TreeDiff.Expr Methods arbitrary :: Gen Expr # shrink :: Expr -> [Expr] #
Show Expr Source #
Instance details Defined in Test.StateMachine.TreeDiff.Expr Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Eq Expr Source #
Instance details Defined in Test.StateMachine.TreeDiff.Expr Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
ToExpr Expr Source #
Instance details Defined in Test.StateMachine.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 (Map FieldName (Edit EditExpr))
EditLst [Edit EditExpr]
EditExp Expr	unchanged tree

Instances details

Show EditExpr Source #
Instance details Defined in Test.StateMachine.TreeDiff.Expr Methods showsPrec :: Int -> EditExpr -> ShowS # show :: EditExpr -> String # showList :: [EditExpr] -> ShowS #

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 Test.StateMachine.TreeDiff.List Methods showsPrec :: Int -> Edit a -> ShowS # show :: Edit a -> String # showList :: [Edit a] -> ShowS #

Diff two Expr.

For examples see ediff in Data.TreeDiff.Class.