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

Symbolic c => BoolType (Bool c)

Defined in ZkFold.Symbolic.Data.Bool

Methods

true :: Bool c

false :: Bool c

not :: Bool c -> Bool c

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

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

xor :: Bool c -> Bool c -> Bool c

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

Defined in ZkFold.Symbolic.Data.ByteString

Methods

true :: ByteString n c

false :: ByteString n c

not :: ByteString n c -> ByteString n c

(&&) :: ByteString n c -> ByteString n c -> ByteString n c

(||) :: ByteString n c -> ByteString n c -> ByteString n c

xor :: ByteString n c -> ByteString n c -> ByteString n c

newtype Bool c

Constructors

Bool (c Par1)

Instances

Generic (Bool c)

Defined in ZkFold.Symbolic.Data.Bool

Associated Types

type Rep (Bool c) :: Type -> Type

Methods

from :: Bool c -> Rep (Bool c) x

to :: Rep (Bool c) x -> Bool c

(Eq a, MultiplicativeMonoid a) => Show (Bool (Interpreter a))

Defined in ZkFold.Symbolic.Data.Bool

Methods

showsPrec :: Int -> Bool (Interpreter a) -> ShowS

show :: Bool (Interpreter a) -> String

showList :: [Bool (Interpreter a)] -> ShowS

Show (c Par1) => Show (Bool c)

Defined in ZkFold.Symbolic.Data.Bool

Methods

showsPrec :: Int -> Bool c -> ShowS

show :: Bool c -> String

showList :: [Bool c] -> ShowS

NFData (c Par1) => NFData (Bool c)

Defined in ZkFold.Symbolic.Data.Bool

Methods

rnf :: Bool c -> ()

Eq (c Par1) => Eq (Bool c)

Defined in ZkFold.Symbolic.Data.Bool

Methods

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

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

Symbolic c => BoolType (Bool c)

Defined in ZkFold.Symbolic.Data.Bool

Methods

true :: Bool c

false :: Bool c

not :: Bool c -> Bool c

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

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

xor :: Bool c -> Bool c -> Bool c

Symbolic c => SymbolicData (Bool c)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (Bool c) :: (Type -> Type) -> Type

type Support (Bool c)

type Layout (Bool c) :: Type -> Type

type Payload (Bool c) :: Type -> Type

Methods

arithmetize :: Bool c -> Support (Bool c) -> Context (Bool c) (Layout (Bool c))

payload :: Bool c -> Support (Bool c) -> Payload (Bool c) (WitnessField (Context (Bool c)))

restore :: Context (Bool c) ~ c0 => (Support (Bool c) -> (c0 (Layout (Bool c)), Payload (Bool c) (WitnessField c0))) -> Bool c

Symbolic c => SymbolicInput (Bool c)

Defined in ZkFold.Symbolic.Data.Input

Methods

isValid :: Bool c -> Bool (Context (Bool c))

(Arithmetic a, Field x, Eq x) => DiscreteField (Bool (Interpreter a)) x

Defined in ZkFold.Symbolic.Data.DiscreteField

Methods

isZero :: x -> Bool (Interpreter a)

Symbolic c => Conditional (Bool c) (Bool c)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: Bool c -> Bool c -> Bool c -> Bool c

Symbolic c => Conditional (Bool c) (FieldElement c)

Defined in ZkFold.Symbolic.Data.FieldElement

Methods

bool :: FieldElement c -> FieldElement c -> Bool c -> FieldElement c

(Symbolic c, Traversable f, Representable f) => Conditional (Bool c) (c f)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: c f -> c f -> Bool c -> c f

Symbolic c => Eq (Bool c) (Bool c)

Defined in ZkFold.Symbolic.Data.Eq

Methods

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

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

Symbolic c => Eq (Bool c) (FieldElement c)

Defined in ZkFold.Symbolic.Data.FieldElement

Methods

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

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

(Symbolic c, Eq (BaseField c), Representable f, Traversable f) => Eq (Bool c) (c f)

Defined in ZkFold.Symbolic.Data.Eq

Methods

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

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

Symbolic c => Ord (Bool c) (FieldElement c)

Defined in ZkFold.Symbolic.Data.FieldElement

Methods

(<=) :: FieldElement c -> FieldElement c -> Bool c

(<) :: FieldElement c -> FieldElement c -> Bool c

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

(>) :: FieldElement c -> FieldElement c -> Bool c

max :: FieldElement c -> FieldElement c -> FieldElement c

min :: FieldElement c -> FieldElement c -> FieldElement c

(Symbolic c, Representable f, Traversable f) => Ord (Bool c) (c f)

Every SymbolicData type can be compared lexicographically.

Defined in ZkFold.Symbolic.Data.Ord

Methods

(<=) :: c f -> c f -> Bool c

(<) :: c f -> c f -> Bool c

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

(>) :: c f -> c f -> Bool c

max :: c f -> c f -> c f

min :: c f -> c f -> c f

Symbolic c => Conditional (Bool c) (Proxy c)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: Proxy c -> Proxy c -> Bool c -> Proxy c

(Symbolic c, KnownNat n) => Conditional (Bool c) (ByteString n c)

Defined in ZkFold.Symbolic.Data.ByteString

Methods

bool :: ByteString n c -> ByteString n c -> Bool c -> ByteString n c

Symbolic c => Conditional (Bool c) (FFA p c)

Defined in ZkFold.Symbolic.Data.FFA

Methods

bool :: FFA p c -> FFA p c -> Bool c -> FFA p c

(SymbolicOutput x, Context x ~ c, Conditional (Bool c) x) => Conditional (Bool c) (Maybe c x)

Defined in ZkFold.Symbolic.Data.Maybe

Methods

bool :: Maybe c x -> Maybe c x -> Bool c -> Maybe c x

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

Defined in ZkFold.Symbolic.Data.ByteString

Methods

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

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

Symbolic c => Eq (Bool c) (FFA p c)

Defined in ZkFold.Symbolic.Data.FFA

Methods

(==) :: FFA p c -> FFA p c -> Bool c

(/=) :: FFA p c -> FFA p c -> Bool c

(SymbolicOutput x, Context x ~ c, Eq (Bool c) x) => Eq (Bool c) (Maybe c x)

Defined in ZkFold.Symbolic.Data.Maybe

Methods

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

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

(KnownRegisters c n r, Symbolic c) => Conditional (Bool c) (UInt n r c)

Defined in ZkFold.Symbolic.Data.UInt

Methods

bool :: UInt n r c -> UInt n r c -> Bool c -> UInt n r c

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

Defined in ZkFold.Symbolic.Data.UInt

Methods

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

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

(Symbolic c, KnownNat n, KnownRegisterSize r, KnownRegisters c n r, regSize ~ GetRegisterSize (BaseField c) n r, KnownNat (Ceil regSize OrdWord)) => Ord (Bool c) (UInt n r c)

Defined in ZkFold.Symbolic.Data.UInt

Methods

(<=) :: UInt n r c -> UInt n r c -> Bool c

(<) :: UInt n r c -> UInt n r c -> Bool c

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

(>) :: UInt n r c -> UInt n r c -> Bool c

max :: UInt n r c -> UInt n r c -> UInt n r c

min :: UInt n r c -> UInt n r c -> UInt n r c

type Rep (Bool c)

Defined in ZkFold.Symbolic.Data.Bool

type Rep (Bool c) = D1 ('MetaData "Bool" "ZkFold.Symbolic.Data.Bool" "symbolic-base-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (c Par1))))

type Context (Bool c)

Defined in ZkFold.Symbolic.Data.Class

type Context (Bool c) = Context (c Par1)

type Layout (Bool c)

Defined in ZkFold.Symbolic.Data.Class

type Layout (Bool c) = Layout (c Par1)

type Payload (Bool c)

Defined in ZkFold.Symbolic.Data.Class

type Payload (Bool c) = Payload (c Par1)

type Support (Bool c)

Defined in ZkFold.Symbolic.Data.Class

type Support (Bool c) = Support (c Par1)

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

and :: (BoolType b, Foldable t) => t b -> b

or :: (BoolType b, Foldable t) => t b -> b