liquidhaskell-0.8.0.1: Liquid Types for Haskell
Language.Haskell.Liquid.Bare.DataType
makeConTypes :: (ModName, Spec ty bndr) -> BareM ([(TyCon, TyConP)], [[(DataCon, Located DataConP)]]) Source #
makeTyConEmbeds :: (ModName, Spec ty bndr) -> BareM (TCEmb TyCon) Source #
makeRecordSelectorSigs :: [(DataCon, Located DataConP)] -> BareM [(Var, Located SpecType)] Source #
dataConSpec :: [(DataCon, DataConP)] -> [(Var, SpecType)] Source #
meetDataConSpec :: [(Var, SpecType)] -> [(DataCon, DataConP)] -> [(Var, SpecType)] Source #
makeNumericInfo :: Maybe [ClsInst] -> TCEmb TyCon -> TCEmb TyCon Source #