liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Bare.Typeclass

Synopsis

Documentation

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