ouroboros-consensus-0.26.0.0: Consensus layer for the Ouroboros blockchain protocol
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

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 #