| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Bare.DataType
Synopsis
- dataConMap :: [DataDecl] -> DataConMap
- makeDataConChecker :: DataCon -> Symbol
- makeDataConSelector :: Maybe DataConMap -> DataCon -> Int -> Symbol
- addClassEmbeds :: Maybe [ClsInst] -> [TyCon] -> TCEmb TyCon -> TCEmb TyCon
- makeDataDecls :: Config -> TCEmb TyCon -> ModName -> [(ModName, TyCon, DataPropDecl)] -> [Located DataConP] -> (Diagnostics, [DataDecl])
- makeConTypes :: ModName -> Env -> [(ModName, BareSpec)] -> Lookup ([(ModName, TyConP, Maybe DataPropDecl)], [[Located DataConP]])
- makeRecordSelectorSigs :: Env -> ModName -> [Located DataConP] -> [(Var, LocSpecType)]
- meetDataConSpec :: Bool -> TCEmb TyCon -> [(Var, SpecType)] -> [DataConP] -> [(Var, SpecType)]
- dataDeclSize :: BareSpec -> [DataDecl] -> [DataDecl]
Documentation
dataConMap :: [DataDecl] -> DataConMap Source #
DataConMap stores the names of those ctor-fields that have been declared
as SMT ADTs so we don't make up new names for them.
Names for accessing Data Constuctors
makeDataConChecker :: DataCon -> Symbol Source #
'makeDataConChecker d' creates the measure for `is$d` which tests whether
a given value was created by d. e.g. is$Nil or is$Cons.
makeDataConSelector :: Maybe DataConMap -> DataCon -> Int -> Symbol Source #
addClassEmbeds :: Maybe [ClsInst] -> [TyCon] -> TCEmb TyCon -> TCEmb TyCon Source #
makeClassEmbeds: sort-embeddings for numeric, and family-instance tycons
Constructors
makeDataDecls :: Config -> TCEmb TyCon -> ModName -> [(ModName, TyCon, DataPropDecl)] -> [Located DataConP] -> (Diagnostics, [DataDecl]) Source #
makeConTypes :: ModName -> Env -> [(ModName, BareSpec)] -> Lookup ([(ModName, TyConP, Maybe DataPropDecl)], [[Located DataConP]]) Source #
Bare Predicate: DataCon Definitions ---------------------------------------
makeRecordSelectorSigs :: Env -> ModName -> [Located DataConP] -> [(Var, LocSpecType)] Source #