ZkFold.Symbolic.Data.Bool

Documentation

class BoolType b where

Methods

true :: b

false :: b

not :: b -> b

(&&) :: b -> b -> b infixr 3

(||) :: b -> b -> b infixr 2

xor :: b -> b -> b

Instances

BoolType Bool

Defined in ZkFold.Symbolic.Data.Bool

Methods

true :: Bool

false :: Bool

not :: Bool -> Bool

(&&) :: Bool -> Bool -> Bool

(||) :: Bool -> Bool -> Bool

xor :: Bool -> Bool -> Bool

Ring x => BoolType (Bool x)

Defined in ZkFold.Symbolic.Data.Bool

Methods

true :: Bool x

false :: Bool x

not :: Bool x -> Bool x

(&&) :: Bool x -> Bool x -> Bool x

(||) :: Bool x -> Bool x -> Bool x

xor :: Bool x -> Bool x -> Bool x

(Finite (Zp p), KnownNat n) => BoolType (ByteString n (Zp p))

Defined in ZkFold.Symbolic.Data.ByteString

Methods

true :: ByteString n (Zp p)

false :: ByteString n (Zp p)

not :: ByteString n (Zp p) -> ByteString n (Zp p)

(&&) :: ByteString n (Zp p) -> ByteString n (Zp p) -> ByteString n (Zp p)

(||) :: ByteString n (Zp p) -> ByteString n (Zp p) -> ByteString n (Zp p)

xor :: ByteString n (Zp p) -> ByteString n (Zp p) -> ByteString n (Zp p)

(Arithmetic a, KnownNat n) => BoolType (ByteString n (ArithmeticCircuit a))

Defined in ZkFold.Symbolic.Data.ByteString

Methods

true :: ByteString n (ArithmeticCircuit a)

false :: ByteString n (ArithmeticCircuit a)

not :: ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a)

(&&) :: ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a)

(||) :: ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a)

xor :: ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a)

newtype Bool x

Constructors

Bool x

Instances

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

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

pieces :: Bool (ArithmeticCircuit a) -> [ArithmeticCircuit a]

restore :: [ArithmeticCircuit a] -> Bool (ArithmeticCircuit a)

typeSize :: Natural

(Field x, Eq x) => Show (Bool x)

Defined in ZkFold.Symbolic.Data.Bool

Methods

showsPrec :: Int -> Bool x -> ShowS

show :: Bool x -> String

showList :: [Bool x] -> ShowS

Eq x => Eq (Bool x)

Defined in ZkFold.Symbolic.Data.Bool

Methods

(==) :: Bool x -> Bool x -> Bool0

(/=) :: Bool x -> Bool x -> Bool0

Ring x => BoolType (Bool x)

Defined in ZkFold.Symbolic.Data.Bool

Methods

true :: Bool x

false :: Bool x

not :: Bool x -> Bool x

(&&) :: Bool x -> Bool x -> Bool x

(||) :: Bool x -> Bool x -> Bool x

xor :: Bool x -> Bool x -> Bool x

SymbolicData a x => Conditional (Bool (ArithmeticCircuit a)) x

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

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

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

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

(Prime p, Field x, Eq x) => DiscreteField (Bool (Zp p)) x

Defined in ZkFold.Symbolic.Data.DiscreteField

Methods

isZero :: x -> Bool (Zp p)

(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

(Finite a, Ord i) => Conditional (Bool (Sources a i)) (Bool (Sources a i))

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint

Methods

bool :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i)

gif :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i)

(?) :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i)

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

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

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

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

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

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

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

SymbolicData a x => Eq (Bool (ArithmeticCircuit a)) (Structural x)

Defined in ZkFold.Symbolic.Data.Eq.Structural

Methods

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

(/=) :: Structural x -> Structural x -> Bool (ArithmeticCircuit a)

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) => Eq (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)

(Arithmetic a, KnownNat n) => Eq (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)

(Ring a, Eq (Bool a) (BaseField (Ed25519 a))) => Eq (Bool a) (Point (Ed25519 a))

Defined in ZkFold.Symbolic.Data.Ed25519

Methods

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

(/=) :: Point (Ed25519 a) -> Point (Ed25519 a) -> Bool a

(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)

(Finite a, Ord i) => Conditional (Bool (Sources a i)) (Sources a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint

Methods

bool :: Sources a i -> Sources a i -> Bool (Sources a i) -> Sources a i

gif :: Bool (Sources a i) -> Sources a i -> Sources a i -> Sources a i

(?) :: Bool (Sources a i) -> Sources a i -> Sources a i -> Sources a i

Ord i => Eq (Bool (Sources a i)) (Sources a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint

Methods

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

(/=) :: Sources a i -> Sources a i -> Bool (Sources a i)

(Arithmetic a, KnownNat tokens) => Eq (Bool (ArithmeticCircuit a)) (Output tokens datum (ArithmeticCircuit a))

Defined in ZkFold.Symbolic.Cardano.Types

Methods

(==) :: Output tokens datum (ArithmeticCircuit a) -> Output tokens datum (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a)

(/=) :: Output tokens datum (ArithmeticCircuit a) -> Output tokens datum (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a)

all :: (BoolType b, Foldable t) => (x -> b) -> t x -> b

all1 :: (BoolType b, Functor t, Foldable t) => (x -> b) -> t x -> b

any :: (BoolType b, Foldable t) => (x -> b) -> t x -> b