ZkFold.Symbolic.Data.Ord

Documentation

class Ord b a where

Methods

(<=) :: a -> a -> b

(<) :: a -> a -> b

(>=) :: a -> a -> b

(>) :: a -> a -> b

max :: a -> a -> a

min :: a -> a -> a

Instances

Ord a => Ord Bool a

Defined in ZkFold.Symbolic.Data.Ord

Methods

(<=) :: a -> a -> Bool

(<) :: a -> a -> Bool

(>=) :: a -> a -> Bool

(>) :: a -> a -> Bool

max :: a -> a -> a

min :: a -> a -> a

(Prime p, Ord x) => Ord (Bool (Zp p)) x

Defined in ZkFold.Symbolic.Data.Ord

Methods

(<=) :: x -> x -> Bool (Zp p)

(<) :: x -> x -> Bool (Zp p)

(>=) :: x -> x -> Bool (Zp p)

(>) :: x -> x -> Bool (Zp p)

max :: x -> x -> x

min :: x -> x -> x

Arithmetic a => Ord (Bool (ArithmeticCircuit a)) (ArithmeticCircuit a)

Defined in ZkFold.Symbolic.Data.Ord

Methods

(<=) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a)

(<) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a)

(>=) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a)

(>) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a)

max :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a

min :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a

SymbolicData a x => Ord (Bool (ArithmeticCircuit a)) (Lexicographical x)

Every SymbolicData type can be compared lexicographically.

Defined in ZkFold.Symbolic.Data.Ord

Methods

(<=) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a)

(<) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a)

(>=) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a)

(>) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a)

max :: Lexicographical x -> Lexicographical x -> Lexicographical x

min :: Lexicographical x -> Lexicographical x -> Lexicographical x

(Finite (Zp p), KnownNat n) => Ord (Bool (Zp p)) (UInt n (Zp p))

Defined in ZkFold.Symbolic.Data.UInt

Methods

(<=) :: UInt n (Zp p) -> UInt n (Zp p) -> Bool (Zp p)

(<) :: UInt n (Zp p) -> UInt n (Zp p) -> Bool (Zp p)

(>=) :: UInt n (Zp p) -> UInt n (Zp p) -> Bool (Zp p)

(>) :: UInt n (Zp p) -> UInt n (Zp p) -> Bool (Zp p)

max :: UInt n (Zp p) -> UInt n (Zp p) -> UInt n (Zp p)

min :: UInt n (Zp p) -> UInt n (Zp p) -> UInt n (Zp p)

(Arithmetic a, KnownNat n) => Ord (Bool (ArithmeticCircuit a)) (UInt n (ArithmeticCircuit a))

Defined in ZkFold.Symbolic.Data.UInt

Methods

(<=) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a)

(<) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a)

(>=) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a)

(>) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a)

max :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a)

min :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a)

newtype Lexicographical a

A newtype wrapper for easy definition of Ord instances (though not necessarily a most effective one)

Constructors

Lexicographical a

Instances

SymbolicData a x => SymbolicData a (Lexicographical x)

Defined in ZkFold.Symbolic.Data.Ord

Methods

pieces :: Lexicographical x -> [ArithmeticCircuit a]

restore :: [ArithmeticCircuit a] -> Lexicographical x

typeSize :: Natural

SymbolicData a x => Ord (Bool (ArithmeticCircuit a)) (Lexicographical x)

Every SymbolicData type can be compared lexicographically.

Defined in ZkFold.Symbolic.Data.Ord

Methods

(<=) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a)

(<) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a)

(>=) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a)

(>) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a)

max :: Lexicographical x -> Lexicographical x -> Lexicographical x

min :: Lexicographical x -> Lexicographical x -> Lexicographical x

circuitGE :: Arithmetic a => [ArithmeticCircuit a] -> [ArithmeticCircuit a] -> Bool (ArithmeticCircuit a)

Given two lists of bits of equal length, compares them lexicographically.

circuitGT :: Arithmetic a => [ArithmeticCircuit a] -> [ArithmeticCircuit a] -> Bool (ArithmeticCircuit a)

Given two lists of bits of equal length, compares them lexicographically.

getBitsBE :: SymbolicData a x => x -> [ArithmeticCircuit a]

getBitsBE x returns a list of circuits computing bits of x, eldest to youngest.