Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Haskell.Liquid.Bare.Typeclass

Synopsis

compileClasses :: GhcSrc -> Env -> (ModName, BareSpec) -> [(ModName, BareSpec)] -> (BareSpec, [(ClsInst, [Var])])
elaborateClassDcp :: (CoreExpr -> Expr) -> (CoreExpr -> TcRn CoreExpr) -> DataConP -> TcRn (DataConP, DataConP)
makeClassAuxTypes :: (SpecType -> TcRn SpecType) -> [Located DataConP] -> [(ClsInst, [Var])] -> TcRn [(Var, LocSpecType)]

Documentation

compileClasses :: GhcSrc -> Env -> (ModName, BareSpec) -> [(ModName, BareSpec)] -> (BareSpec, [(ClsInst, [Var])]) Source #

elaborateClassDcp :: (CoreExpr -> Expr) -> (CoreExpr -> TcRn CoreExpr) -> DataConP -> TcRn (DataConP, DataConP) Source #

elaborateClassDcp behaves differently from other datacon functions. Each method type contains the full forall quantifiers instead of having them chopped off

makeClassAuxTypes :: (SpecType -> TcRn SpecType) -> [Located DataConP] -> [(ClsInst, [Var])] -> TcRn [(Var, LocSpecType)] Source #