Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Morley.Michelson.TypeCheck.Ext
Description
Type-checking of Morley extension.
Documentation
typeCheckExt :: forall s op. (SingI s, IsInstrOp op) => TcInstrBase op -> ExtInstrAbstract [] op -> HST s -> TypeCheckInstrNoExcept op (TypeCheckedSeq op s) Source #