hermit-0.3.1.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe Haskell	None

HERMIT.Dictionary.WorkerWrapper.Common

Documentation

data WWAssumptionTag Source

Constructors

A
B
C

Instances

Eq WWAssumptionTag
Ord WWAssumptionTag
Read WWAssumptionTag
Show WWAssumptionTag

data WWAssumption Source

Constructors

WWAssumption WWAssumptionTag (RewriteH CoreExpr)

workLabel :: Label Source