ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
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 Source #

type ADiff x Source #

Methods

toDiff ∷ x → AnExpr x Source #

exprDiff ∷ Proxy x → AnExpr x → AnExpr x → ADiff x Source #

diffToDocCompact ∷ Proxy x → ADiff x → Doc Source #

diffToDoc ∷ Proxy x → ADiff x → Doc Source #

exprToDoc ∷ Proxy x → AnExpr x → Doc Source #

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 #