arithmetic-circuits-0.2.0: Arithmetic circuits for zkSNARKs
Fresh
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 #