liquidhaskell-0.4.1.1: Liquid Types for Haskell
Language.Haskell.Liquid.Bare.DataType
makeConTypes :: (ModName, Spec ty bndr) -> WriterT [Warn] (ErrorT Error (StateT BareEnv IO)) ([(TyCon, TyConP)], [[(DataCon, Located DataConP)]]) Source
makeTyConEmbeds :: (ModName, Spec ty bndr) -> WriterT [Warn] (ErrorT Error (StateT BareEnv IO)) (TCEmb TyCon) Source
dataConSpec :: [(DataCon, DataConP)] -> [(Var, RType RTyCon RTyVar RReft)] Source
meetDataConSpec :: [(Var, RType RTyCon RTyVar RReft)] -> [(DataCon, DataConP)] -> [(Var, RType RTyCon RTyVar RReft)] Source