liquidhaskell-0.8.0.1: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Plugged

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 #

makePluggedAsmSigs :: Traversable t => TCEmb TyCon -> HashMap TyCon RTyCon -> t (Var, Located (RRType RReft)) -> BareM (t (Var, Located (RType RTyCon RTyVar RReft))) Source #

makePluggedDataCons :: Traversable t => TCEmb TyCon -> HashMap TyCon RTyCon -> t (DataCon, Located DataConP) -> BareM (t (DataCon, Located DataConP)) Source #