ZkFold.Symbolic.Data.Eq

Documentation

class Conditional (BooleanOf a) a => Eq a where

Minimal complete definition

Nothing

Associated Types

type BooleanOf a

type BooleanOf a = GBooleanOf (Rep a)

Methods

(==) :: a -> a -> BooleanOf a infix 4

default (==) :: (Generic a, GEq (Rep a), BooleanOf a ~ GBooleanOf (Rep a)) => a -> a -> BooleanOf a

(/=) :: a -> a -> BooleanOf a infix 4

default (/=) :: (Generic a, GEq (Rep a), BooleanOf a ~ GBooleanOf (Rep a)) => a -> a -> BooleanOf a

Instances

Eq BLS12_381_GT

Defined in ZkFold.Base.Algebra.EllipticCurve.BLS12_381

Associated Types

type BooleanOf BLS12_381_GT

Methods

(==) :: BLS12_381_GT -> BLS12_381_GT -> BooleanOf BLS12_381_GT

(/=) :: BLS12_381_GT -> BLS12_381_GT -> BooleanOf BLS12_381_GT

Eq BN254_GT

Defined in ZkFold.Base.Algebra.EllipticCurve.BN254

Associated Types

type BooleanOf BN254_GT

Methods

(==) :: BN254_GT -> BN254_GT -> BooleanOf BN254_GT

(/=) :: BN254_GT -> BN254_GT -> BooleanOf BN254_GT

Eq String

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf String

Methods

(==) :: String -> String -> BooleanOf String

(/=) :: String -> String -> BooleanOf String

Eq Natural

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf Natural

Methods

(==) :: Natural -> Natural -> BooleanOf Natural

(/=) :: Natural -> Natural -> BooleanOf Natural

Eq Bool

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf Bool

Methods

(==) :: Bool -> Bool -> BooleanOf Bool

(/=) :: Bool -> Bool -> BooleanOf Bool

KnownNat n => Eq (Zp n)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (Zp n)

Methods

(==) :: Zp n -> Zp n -> BooleanOf (Zp n)

(/=) :: Zp n -> Zp n -> BooleanOf (Zp n)

(Eq field, Field field) => Eq (AffinePoint field)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

type BooleanOf (AffinePoint field)

Methods

(==) :: AffinePoint field -> AffinePoint field -> BooleanOf (AffinePoint field)

(/=) :: AffinePoint field -> AffinePoint field -> BooleanOf (AffinePoint field)

(BooleanOf (BooleanOf field) ~ BooleanOf field, Eq (BooleanOf field), Eq field, Field field) => Eq (Point field)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

type BooleanOf (Point field)

Methods

(==) :: Point field -> Point field -> BooleanOf (Point field)

(/=) :: Point field -> Point field -> BooleanOf (Point field)

Symbolic c => Eq (Bool c)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (Bool c)

Methods

(==) :: Bool c -> Bool c -> BooleanOf (Bool c)

(/=) :: Bool c -> Bool c -> BooleanOf (Bool c)

Symbolic c => Eq (FieldElement c)

Defined in ZkFold.Symbolic.Data.FieldElement

Associated Types

type BooleanOf (FieldElement c)

Methods

(==) :: FieldElement c -> FieldElement c -> BooleanOf (FieldElement c)

(/=) :: FieldElement c -> FieldElement c -> BooleanOf (FieldElement c)

Symbolic c => Eq (Ordering c)

Defined in ZkFold.Symbolic.Data.Ord

Associated Types

type BooleanOf (Ordering c)

Methods

(==) :: Ordering c -> Ordering c -> BooleanOf (Ordering c)

(/=) :: Ordering c -> Ordering c -> BooleanOf (Ordering c)

(Symbolic c, LayoutFunctor f) => Eq (c f)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (c f)

Methods

(==) :: c f -> c f -> BooleanOf (c f)

(/=) :: c f -> c f -> BooleanOf (c f)

Eq field => Eq (Ext2 field i)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (Ext2 field i)

Methods

(==) :: Ext2 field i -> Ext2 field i -> BooleanOf (Ext2 field i)

(/=) :: Ext2 field i -> Ext2 field i -> BooleanOf (Ext2 field i)

Eq field => Eq (Ext3 field i)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (Ext3 field i)

Methods

(==) :: Ext3 field i -> Ext3 field i -> BooleanOf (Ext3 field i)

(/=) :: Ext3 field i -> Ext3 field i -> BooleanOf (Ext3 field i)

(KnownNat n, Eq x) => Eq (Vector n x)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (Vector n x)

Methods

(==) :: Vector n x -> Vector n x -> BooleanOf (Vector n x)

(/=) :: Vector n x -> Vector n x -> BooleanOf (Vector n x)

(Symbolic c, KnownNat n) => Eq (ByteString n c)

Defined in ZkFold.Symbolic.Data.ByteString

Associated Types

type BooleanOf (ByteString n c)

Methods

(==) :: ByteString n c -> ByteString n c -> BooleanOf (ByteString n c)

(/=) :: ByteString n c -> ByteString n c -> BooleanOf (ByteString n c)

(SymbolicData x, SymbolicEq x, c ~ Context x) => Eq (List c x)

Defined in ZkFold.Symbolic.Data.List

Associated Types

type BooleanOf (List c x)

Methods

(==) :: List c x -> List c x -> BooleanOf (List c x)

(/=) :: List c x -> List c x -> BooleanOf (List c x)

(Context x ~ c, SymbolicEq x) => Eq (Maybe c x)

Defined in ZkFold.Symbolic.Data.Maybe

Associated Types

type BooleanOf (Maybe c x)

Methods

(==) :: Maybe c x -> Maybe c x -> BooleanOf (Maybe c x)

(/=) :: Maybe c x -> Maybe c x -> BooleanOf (Maybe c x)

(Symbolic c, PayloadFunctor f) => Eq (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

Associated Types

type BooleanOf (Payloaded f c)

Methods

(==) :: Payloaded f c -> Payloaded f c -> BooleanOf (Payloaded f c)

(/=) :: Payloaded f c -> Payloaded f c -> BooleanOf (Payloaded f c)

(Symbolic ctx, KnownNat n) => Eq (VarByteString n ctx)

Defined in ZkFold.Symbolic.Data.VarByteString

Associated Types

type BooleanOf (VarByteString n ctx)

Methods

(==) :: VarByteString n ctx -> VarByteString n ctx -> BooleanOf (VarByteString n ctx)

(/=) :: VarByteString n ctx -> VarByteString n ctx -> BooleanOf (VarByteString n ctx)

(Eq x0, Eq x1, BooleanOf x0 ~ BooleanOf x1) => Eq (x0, x1)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (x0, x1)

Methods

(==) :: (x0, x1) -> (x0, x1) -> BooleanOf (x0, x1)

(/=) :: (x0, x1) -> (x0, x1) -> BooleanOf (x0, x1)

Eq point => Eq (TwistedEdwards curve point)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

type BooleanOf (TwistedEdwards curve point)

Methods

(==) :: TwistedEdwards curve point -> TwistedEdwards curve point -> BooleanOf (TwistedEdwards curve point)

(/=) :: TwistedEdwards curve point -> TwistedEdwards curve point -> BooleanOf (TwistedEdwards curve point)

Eq point => Eq (Weierstrass curve point)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Associated Types

type BooleanOf (Weierstrass curve point)

Methods

(==) :: Weierstrass curve point -> Weierstrass curve point -> BooleanOf (Weierstrass curve point)

(/=) :: Weierstrass curve point -> Weierstrass curve point -> BooleanOf (Weierstrass curve point)

(Symbolic c, KnownFFA p r c) => Eq (FFA p r c)

Defined in ZkFold.Symbolic.Data.FFA

Associated Types

type BooleanOf (FFA p r c)

Methods

(==) :: FFA p r c -> FFA p r c -> BooleanOf (FFA p r c)

(/=) :: FFA p r c -> FFA p r c -> BooleanOf (FFA p r c)

(KnownRegisters c n r, Symbolic c) => Eq (UInt n r c)

Defined in ZkFold.Symbolic.Data.UInt

Associated Types

type BooleanOf (UInt n r c)

Methods

(==) :: UInt n r c -> UInt n r c -> BooleanOf (UInt n r c)

(/=) :: UInt n r c -> UInt n r c -> BooleanOf (UInt n r c)

(Eq x0, Eq x1, Eq x2, BooleanOf x0 ~ BooleanOf x1, BooleanOf x1 ~ BooleanOf x2) => Eq (x0, x1, x2)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (x0, x1, x2)

Methods

(==) :: (x0, x1, x2) -> (x0, x1, x2) -> BooleanOf (x0, x1, x2)

(/=) :: (x0, x1, x2) -> (x0, x1, x2) -> BooleanOf (x0, x1, x2)

(Eq x0, Eq x1, Eq x2, Eq x3, BooleanOf x0 ~ BooleanOf x1, BooleanOf x1 ~ BooleanOf x2, BooleanOf x2 ~ BooleanOf x3) => Eq (x0, x1, x2, x3)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type BooleanOf (x0, x1, x2, x3)

Methods

(==) :: (x0, x1, x2, x3) -> (x0, x1, x2, x3) -> BooleanOf (x0, x1, x2, x3)

(/=) :: (x0, x1, x2, x3) -> (x0, x1, x2, x3) -> BooleanOf (x0, x1, x2, x3)

elem :: (Eq a, Foldable t) => a -> t a -> BooleanOf a

type SymbolicEq x = (SymbolicOutput x, Eq x, BooleanOf x ~ Bool (Context x))

class GConditional (GBooleanOf u) u => GEq u where

Associated Types

type GBooleanOf u

Methods

geq :: u x -> u x -> GBooleanOf u

gneq :: u x -> u x -> GBooleanOf u

Instances

Eq x => GEq (Rec0 x :: k -> Type)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type GBooleanOf (Rec0 x)

Methods

geq :: forall (x0 :: k0). Rec0 x x0 -> Rec0 x x0 -> GBooleanOf (Rec0 x)

gneq :: forall (x0 :: k0). Rec0 x x0 -> Rec0 x x0 -> GBooleanOf (Rec0 x)

(GBooleanOf u ~ GBooleanOf v, GEq u, GEq v) => GEq (u :*: v :: k -> Type)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type GBooleanOf (u :*: v)

Methods

geq :: forall (x :: k0). (u :*: v) x -> (u :*: v) x -> GBooleanOf (u :*: v)

gneq :: forall (x :: k0). (u :*: v) x -> (u :*: v) x -> GBooleanOf (u :*: v)

GEq v => GEq (M1 i c v :: k -> Type)

Defined in ZkFold.Symbolic.Data.Eq

Associated Types

type GBooleanOf (M1 i c v)

Methods

geq :: forall (x :: k0). M1 i c v x -> M1 i c v x -> GBooleanOf (M1 i c v)

gneq :: forall (x :: k0). M1 i c v x -> M1 i c v x -> GBooleanOf (M1 i c v)