ZkFold.Symbolic.Data.Conditional

Documentation

class BoolType b => Conditional b a where

Minimal complete definition

Nothing

Methods

bool :: a -> a -> b -> a

Properties:

On true

bool onFalse onTrue true == onTrue

On false

bool onFalse onTrue false == onFalse

default bool :: (Generic a, GConditional b (Rep a)) => a -> a -> b -> a

Instances

Conditional Bool String

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: String -> String -> Bool -> String

Conditional Bool Bool

Defined in ZkFold.Symbolic.Data.Conditional

Methods

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

Conditional Bool (Zp n)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: Zp n -> Zp n -> Bool -> Zp n

(EllipticCurve curve, bool ~ BooleanOf curve) => Conditional bool (CompressedPoint curve)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Methods

bool :: CompressedPoint curve -> CompressedPoint curve -> bool -> CompressedPoint curve

(EllipticCurve curve, bool ~ BooleanOf curve) => Conditional bool (Point curve)

Defined in ZkFold.Base.Algebra.EllipticCurve.Class

Methods

bool :: Point curve -> Point curve -> bool -> Point curve

(Conditional b x0, Conditional b x1) => Conditional b (x0, x1)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: (x0, x1) -> (x0, x1) -> b -> (x0, x1)

Conditional bool field => Conditional bool (Ext2 field i)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: Ext2 field i -> Ext2 field i -> bool -> Ext2 field i

Conditional bool field => Conditional bool (Ext3 field i)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: Ext3 field i -> Ext3 field i -> bool -> Ext3 field i

(KnownNat n, Conditional bool x) => Conditional bool (Vector n x)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: Vector n x -> Vector n x -> bool -> Vector n x

(Conditional b x0, Conditional b x1, Conditional b x2) => Conditional b (x0, x1, x2)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: (x0, x1, x2) -> (x0, x1, x2) -> b -> (x0, x1, x2)

(Conditional b x0, Conditional b x1, Conditional b x2, Conditional b x3) => Conditional b (x0, x1, x2, x3)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: (x0, x1, x2, x3) -> (x0, x1, x2, x3) -> b -> (x0, x1, x2, x3)

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 => 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

(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

ifThenElse :: Conditional b a => b -> a -> a -> a

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

class BoolType b => GConditional b u where

Methods

gbool :: u x -> u x -> b -> u x

Instances

Conditional b x => GConditional b (Rec0 x :: k -> Type)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

gbool :: forall (x0 :: k0). Rec0 x x0 -> Rec0 x x0 -> b -> Rec0 x x0

(BoolType b, GConditional b u, GConditional b v) => GConditional b (u :*: v :: k -> Type)

Defined in ZkFold.Symbolic.Data.Conditional

Methods

gbool :: forall (x :: k0). (u :*: v) x -> (u :*: v) x -> b -> (u :*: v) x

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

Defined in ZkFold.Symbolic.Data.Conditional

Methods

gbool :: forall (x :: k0). M1 i c v x -> M1 i c v x -> b -> M1 i c v x