| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Morley.Michelson.TypeCheck.Ext
Description
Type-checking of Morley extension.
Documentation
typeCheckExt :: forall s. SingI s => TcInstrHandler -> ExpandedExtInstr -> HST s -> TypeCheckInstrNoExcept (TypeCheckedSeq s) Source #