Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #