| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Bare.Plugged
- makePluggedSigs :: ModName -> TCEmb TyCon -> HashMap TyCon RTyCon -> NameSet -> [(Var, LocSpecType)] -> BareM [(Var, LocSpecType)]
- makePluggedAsmSigs :: TCEmb TyCon -> HashMap TyCon RTyCon -> [(Var, LocSpecType)] -> BareM [(Var, LocSpecType)]
- makePluggedDataCons :: TCEmb TyCon -> HashMap TyCon RTyCon -> [(DataCon, Located DataConP)] -> BareM [(DataCon, Located DataConP)]
Documentation
makePluggedSigs :: ModName -> TCEmb TyCon -> HashMap TyCon RTyCon -> NameSet -> [(Var, LocSpecType)] -> BareM [(Var, LocSpecType)] Source #
NOTE: Be *very* careful with the use functions from RType -> GHC.Type, e.g. toType, in this module as they cannot handle LH type holes. Since this module is responsible for plugging the holes we obviously cannot assume, as in e.g. L.H.L.Constraint.* that they do not appear.
makePluggedAsmSigs :: TCEmb TyCon -> HashMap TyCon RTyCon -> [(Var, LocSpecType)] -> BareM [(Var, LocSpecType)] Source #