| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Bare.Class
Documentation
makeClasses :: Env -> SigEnv -> ModName -> ModSpecs -> Lookup ([DataConP], [(ModName, Var, LocSpecType)]) Source #
makeCLaws :: Env -> SigEnv -> ModName -> ModSpecs -> Lookup [(Class, [(ModName, Var, LocSpecType)])] Source #
makeSpecDictionaries :: Env -> SigEnv -> ModSpecs -> DEnv Var LocSpecType Source #
makeDefaultMethods :: Env -> [(ModName, Var, LocSpecType)] -> [(ModName, Var, LocSpecType)] Source #
makeMethodTypes :: Bool -> DEnv Var LocSpecType -> [DataConP] -> [CoreBind] -> [(Var, MethodType LocSpecType)] Source #