Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
makePluggedSigs :: Traversable t => ModName -> TCEmb TyCon -> HashMap TyCon RTyCon -> NameSet -> t (Var, Located (RRType RReft)) -> BareM (t (Var, Located (RType RTyCon RTyVar RReft))) Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
makePluggedSigs :: Traversable t => ModName -> TCEmb TyCon -> HashMap TyCon RTyCon -> NameSet -> t (Var, Located (RRType RReft)) -> BareM (t (Var, Located (RType RTyCon RTyVar RReft))) Source #