liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Plugged

Synopsis

Documentation

makePluggedSig :: ModName -> TCEmb TyCon -> TyConMap -> HashSet StableName -> PlugTV Var -> LocSpecType -> 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.