liquidhaskell-0.3.1.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Plugged

Documentation

makePluggedSigs :: ModName -> TCEmb TyCon -> HashMap TyCon RTyCon -> NameSet -> [(Var, Located SpecType)] -> WriterT [Warn] (ErrorT Error (StateT BareEnv IO)) [(Var, Located (RType RTyCon RTyVar RReft))] Source

makePluggedAsmSigs :: TCEmb TyCon -> HashMap TyCon RTyCon -> [(Var, Located SpecType)] -> WriterT [Warn] (ErrorT Error (StateT BareEnv IO)) [(Var, Located (RType RTyCon RTyVar RReft))] Source

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