ouroboros-consensus-0.21.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 #

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

Methods

toExprConcrete a → Expr Source #

listToExpr ∷ [Concrete a] → Expr Source #

ToExpr (Opaque a) Source # 
Instance details

Methods

toExprOpaque a → Expr Source #

listToExpr ∷ [Opaque a] → Expr Source #

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

Methods

toExprReference k r → Expr Source #

listToExpr ∷ [Reference k r] → Expr Source #