liquidhaskell-0.6.0.0: 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)) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) (t (Var, Located (RType RTyCon RTyVar RReft))) Source

makePluggedAsmSigs :: Traversable t => TCEmb TyCon -> HashMap TyCon RTyCon -> t (Var, Located (RRType RReft)) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) (t (Var, Located (RType RTyCon RTyVar RReft))) Source

makePluggedDataCons :: Traversable t => TCEmb TyCon -> HashMap TyCon RTyCon -> t (DataCon, Located DataConP) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) (t (DataCon, Located DataConP)) Source