ZkFold.Symbolic.Data.Conditional

Documentation

class BoolType b => Conditional b a where

Methods

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

Properties:

On true

bool onFalse onTrue true == onTrue

On false

bool onFalse onTrue false == onFalse

Instances

(SymbolicData x, Context x ~ c, Symbolic c, Representable (Layout x), Traversable (Layout x), Representable (Payload x)) => Conditional (Bool c) x

Defined in ZkFold.Symbolic.Data.Conditional

Methods

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

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

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