symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Symbolic.Data.DiscreteField

Documentation

class (BoolType b, Field a) => DiscreteField b a where Source #

Methods

isZero :: a -> b Source #

Instances

Instances details
(Field a, Eq a) => DiscreteField Bool a Source # 
Instance details

Defined in ZkFold.Symbolic.Data.DiscreteField

Methods

isZero :: a -> Bool Source #

(Arithmetic a, Field x, Eq x) => DiscreteField (Bool (Interpreter a)) x Source # 
Instance details

Defined in ZkFold.Symbolic.Data.DiscreteField

Methods

isZero :: x -> Bool (Interpreter a) Source #