Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Helpers common to all MonadCleveland
implementations
Documentation
typeCheckODContractAndStorageIfNeeded :: ODContractAndStorage oty -> Either TcError SomeContractAndStorage Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Helpers common to all MonadCleveland
implementations
typeCheckODContractAndStorageIfNeeded :: ODContractAndStorage oty -> Either TcError SomeContractAndStorage Source #