ouroboros-consensus:unstable-consensus-testlib
Safe HaskellNone
LanguageHaskell2010

Test.Util.ToExpr

Description

This module implements QSM's CanDiff typeclass using tree-diff's ToExpr.

Orphan instances

ToExpr x ⇒ CanDiff x Source # 
Instance details

Associated Types

type AnExpr x 
Instance details

Defined in Test.Util.ToExpr

type AnExpr x = Expr
type ADiff x 
Instance details

Defined in Test.Util.ToExpr

type ADiff x = Edit EditExpr

Methods

toDiff ∷ x → AnExpr x

exprDiff ∷ Proxy x → AnExpr x → AnExpr x → ADiff x

diffToDocCompact ∷ Proxy x → ADiff x → Doc AnsiStyle

diffToDoc ∷ Proxy x → ADiff x → Doc AnsiStyle

exprToDoc ∷ Proxy x → AnExpr x → Doc AnsiStyle

ToExpr a ⇒ ToExpr (Concrete a) Source # 
Instance details

Methods

toExpr ∷ Concrete a → Expr Source #

listToExpr ∷ [Concrete a] → Expr Source #

ToExpr (Opaque a) Source # 
Instance details

Methods

toExpr ∷ Opaque a → Expr Source #

listToExpr ∷ [Opaque a] → Expr Source #

ToExpr (r k) ⇒ ToExpr (Reference k r) Source # 
Instance details

Methods

toExpr ∷ Reference k r → Expr Source #

listToExpr ∷ [Reference k r] → Expr Source #