Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class BoolType b => Conditional b a where Source #
bool :: a -> a -> b -> a Source #
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)) => Conditional (Bool c) x Source # | |
Defined in ZkFold.Symbolic.Data.Conditional |
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 #