| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Symbolic.Data.Eq.Structural
Synopsis
- newtype Structural a = Structural a
Documentation
newtype Structural a Source #
A newtype wrapper for easy definition of Eq instances.
Constructors
| Structural a |
Instances
| SymbolicData a x => Eq (Bool (ArithmeticCircuit a)) (Structural x) Source # | |
Defined in ZkFold.Symbolic.Data.Eq.Structural Methods (==) :: Structural x -> Structural x -> Bool (ArithmeticCircuit a) Source # (/=) :: Structural x -> Structural x -> Bool (ArithmeticCircuit a) Source # | |