liquidhaskell-0.6.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Bare.DataType
makeConTypes :: (ModName, Spec ty bndr) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) ([(TyCon, TyConP)], [[(DataCon, Located DataConP)]]) Source
makeTyConEmbeds :: (ModName, Spec ty bndr) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) (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