Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.Bool

Documentation

class BoolType b where Source #

Methods

true :: b Source #

false :: b Source #

not :: b -> b Source #

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

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

xor :: b -> b -> b Source #

Instances

Instances details

BoolType Bool Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool Methods true :: Bool Source # false :: Bool Source # not :: Bool -> Bool Source # (&&) :: Bool -> Bool -> Bool Source # (\|\|) :: Bool -> Bool -> Bool Source # xor :: Bool -> Bool -> Bool Source #
Symbolic c => BoolType (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool Methods true :: Bool c Source # false :: Bool c Source # not :: Bool c -> Bool c Source # (&&) :: Bool c -> Bool c -> Bool c Source # (\|\|) :: Bool c -> Bool c -> Bool c Source # xor :: Bool c -> Bool c -> Bool c Source #
(Symbolic c, KnownNat n) => BoolType (ByteString n c) Source #
Instance details Defined in ZkFold.Symbolic.Data.ByteString Methods true :: ByteString n c Source # false :: ByteString n c Source # not :: ByteString n c -> ByteString n c Source # (&&) :: ByteString n c -> ByteString n c -> ByteString n c Source # (\|\|) :: ByteString n c -> ByteString n c -> ByteString n c Source # xor :: ByteString n c -> ByteString n c -> ByteString n c Source #

newtype Bool c Source #

Constructors

Bool (c Par1)

Instances

Instances details

Generic (Bool c) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool Methods rnf :: Bool c -> () #
Eq (c Par1) => Eq (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool Methods (==) :: Bool c -> Bool c -> Bool0 # (/=) :: Bool c -> Bool c -> Bool0 #
Symbolic c => BoolType (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool Methods true :: Bool c Source # false :: Bool c Source # not :: Bool c -> Bool c Source # (&&) :: Bool c -> Bool c -> Bool c Source # (\|\|) :: Bool c -> Bool c -> Bool c Source # xor :: Bool c -> Bool c -> Bool c Source #
Symbolic c => SymbolicData (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool Associated Types type Context (Bool c) :: (Type -> Type) -> Type Source # type Support (Bool c) Source # type Layout (Bool c) :: Type -> Type Source # type Payload (Bool c) :: Type -> Type Source # Methods arithmetize :: Bool c -> Support (Bool c) -> Context (Bool c) (Layout (Bool c)) Source # payload :: Bool c -> Support (Bool c) -> Payload (Bool c) (WitnessField (Context (Bool c))) Source # restore :: Context (Bool c) ~ c0 => (Support (Bool c) -> (c0 (Layout (Bool c)), Payload (Bool c) (WitnessField c0))) -> Bool c Source #
Symbolic c => Eq (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Eq Associated Types type BooleanOf (Bool c) Source # Methods (==) :: Bool c -> Bool c -> BooleanOf (Bool c) Source # (/=) :: Bool c -> Bool c -> BooleanOf (Bool c) Source #
Symbolic c => SymbolicInput (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Input Methods isValid :: Bool c -> Bool (Context (Bool c)) 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 #
Symbolic c => Conditional (Bool c) (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Conditional Methods bool :: Bool c -> Bool c -> Bool c -> Bool c Source #
Symbolic c => Conditional (Bool c) (FieldElement c) Source #
Instance details Defined in ZkFold.Symbolic.Data.FieldElement Methods bool :: FieldElement c -> FieldElement c -> Bool c -> FieldElement c Source #
(Symbolic c, LayoutFunctor f) => Conditional (Bool c) (c f) Source #
Instance details Defined in ZkFold.Symbolic.Data.Conditional Methods bool :: c f -> c f -> Bool c -> c f Source #
Symbolic c => Ord (Bool c) (FieldElement c) Source #
Instance details Defined in ZkFold.Symbolic.Data.FieldElement Methods (<=) :: FieldElement c -> FieldElement c -> Bool c Source # (<) :: FieldElement c -> FieldElement c -> Bool c Source # (>=) :: FieldElement c -> FieldElement c -> Bool c Source # (>) :: FieldElement c -> FieldElement c -> Bool c Source # max :: FieldElement c -> FieldElement c -> FieldElement c Source # min :: FieldElement c -> FieldElement c -> FieldElement c Source #
(Symbolic c, LayoutFunctor f) => Ord (Bool c) (c f) Source #	Every `SymbolicData` type can be compared lexicographically.
Instance details Defined in ZkFold.Symbolic.Data.Ord Methods (<=) :: c f -> c f -> Bool c Source # (<) :: c f -> c f -> Bool c Source # (>=) :: c f -> c f -> Bool c Source # (>) :: c f -> c f -> Bool c Source # max :: c f -> c f -> c f Source # min :: c f -> c f -> c f Source #
Symbolic c => Conditional (Bool c) (Proxy c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Conditional Methods bool :: Proxy c -> Proxy c -> Bool c -> Proxy c Source #
(Symbolic c, KnownNat n) => Conditional (Bool c) (ByteString n c) Source #
Instance details Defined in ZkFold.Symbolic.Data.ByteString Methods bool :: ByteString n c -> ByteString n c -> Bool c -> ByteString n c Source #
(SymbolicData x, c ~ Context x) => Conditional (Bool c) (List c x) Source #
Instance details Defined in ZkFold.Symbolic.Data.List Methods bool :: List c x -> List c x -> Bool c -> List c x Source #
(SymbolicOutput x, Context x ~ c, Conditional (Bool c) x) => Conditional (Bool c) (Maybe c x) Source #
Instance details Defined in ZkFold.Symbolic.Data.Maybe Methods bool :: Maybe c x -> Maybe c x -> Bool c -> Maybe c x Source #
(Symbolic c, PayloadFunctor f) => Conditional (Bool c) (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded Methods bool :: Payloaded f c -> Payloaded f c -> Bool c -> Payloaded f c Source #
(Symbolic c, SymbolicData x) => Conditional (Bool c) (Switch c x) Source #
Instance details Defined in ZkFold.Symbolic.Data.Switch Methods bool :: Switch c x -> Switch c x -> Bool c -> Switch c x Source #
(KnownRegisters c n r, Symbolic c) => Conditional (Bool c) (UInt n r c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UInt Methods bool :: UInt n r c -> UInt n r c -> Bool c -> UInt n r c Source #
(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) Source #
Instance details Defined in ZkFold.Symbolic.Data.UInt Methods (<=) :: UInt n r c -> UInt n r c -> Bool c Source # (<) :: UInt n r c -> UInt n r c -> Bool c Source # (>=) :: UInt n r c -> UInt n r c -> Bool c Source # (>) :: UInt n r c -> UInt n r c -> Bool c Source # max :: UInt n r c -> UInt n r c -> UInt n r c Source # min :: UInt n r c -> UInt n r c -> UInt n r c Source #
type Rep (Bool c) Source #
Instance details 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) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool type Context (Bool c) = GContext (Rep (Bool c))
type Layout (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool type Layout (Bool c) = GLayout (Rep (Bool c))
type Payload (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool type Payload (Bool c) = GPayload (Rep (Bool c))
type Support (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Bool type Support (Bool c) = GSupport (Rep (Bool c))
type BooleanOf (Bool c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Eq type BooleanOf (Bool c) = BooleanOf (c Par1)

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

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

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

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

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