arithmetic-circuits-0.2.0: Arithmetic circuits for zkSNARKs

Safe HaskellSafe
LanguageHaskell2010

Fresh

Documentation

fresh :: Fresh Int Source #

evalFresh :: Fresh a -> a Source #

type Fresh a = FreshT Identity a Source #

type FreshT m a = StateT Int m a Source #