symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Symbolic.Data.Conditional

Documentation

class BoolType b => Conditional b a where Source #

Methods

bool :: a -> a -> b -> a Source #

Properties:

On true
bool onFalse onTrue true == onTrue
On false
bool onFalse onTrue false == onFalse

Instances

Instances details
(SymbolicData x, Context x ~ c, Symbolic c, Representable (Layout x), Traversable (Layout x)) => Conditional (Bool c) x Source # 
Instance details

Defined in ZkFold.Symbolic.Data.Conditional

Methods

bool :: x -> x -> Bool c -> x Source #

gif :: Conditional b a => b -> a -> a -> a Source #

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

mzipWithMRep :: (Representable f, Traversable f, Applicative m) => (a -> b -> m c) -> f a -> f b -> m (f c) Source #