Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Contract which remembers all parameters it has been called with.
Useful to save return values of View_
entry points.
Synopsis
- contractConsumer :: (NiceParameterFull cp, NiceStorageFull cp) => Contract cp [cp] ()
Documentation
contractConsumer :: (NiceParameterFull cp, NiceStorageFull cp) => Contract cp [cp] () Source #
Remembers parameters it was called with, last goes first.