ZkFold.Symbolic.Data.Conditional

Documentation

class BoolType b => Conditional b a where

Minimal complete definition

bool

Methods

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

gif :: b -> a -> a -> a

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

Instances

(BoolType b, Eq b) => Conditional b x

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: x -> x -> b -> x

gif :: b -> x -> x -> x

(?) :: b -> x -> x -> 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

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

(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