| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.GHC.Play
Synopsis
- getNonPositivesTyCon :: [TyCon] -> [(TyCon, [DataCon])]
- type OccurrenceMap = HashMap TyCon [(DataCon, TyConOccurrence)]
- data TyConOccurrence = TyConOcc {}
- makeOccurrences :: [TyCon] -> OccurrenceMap
- makeOccurrence :: HashMap TyCon VarianceInfo -> [Type] -> TyConOccurrence
- findOccurrence :: OccurrenceMap -> TyCon -> TyConOccurrence
- isRecursivenewTyCon :: TyCon -> Bool
- dataConImplicitIds :: DataCon -> [Id]
- class Subable a where
- subVar :: Expr t -> Id
- substTysWith :: HashMap Var Type -> Type -> Type
- substExpr :: HashMap Var Var -> CoreExpr -> CoreExpr
- mapType :: (Type -> Type) -> Type -> Type
- stringClassArg :: Type -> Maybe Type
Documentation
getNonPositivesTyCon :: [TyCon] -> [(TyCon, [DataCon])] Source #
Positivity Checker -------------------------------------------------------
type OccurrenceMap = HashMap TyCon [(DataCon, TyConOccurrence)] Source #
data TyConOccurrence Source #
Instances
| Outputable OccurrenceMap Source # | |
Defined in Language.Haskell.Liquid.GHC.Play Methods ppr :: OccurrenceMap -> SDoc # | |
| Outputable TyConOccurrence Source # | |
Defined in Language.Haskell.Liquid.GHC.Play Methods ppr :: TyConOccurrence -> SDoc # | |
| Monoid TyConOccurrence Source # | |
Defined in Language.Haskell.Liquid.GHC.Play Methods mappend :: TyConOccurrence -> TyConOccurrence -> TyConOccurrence # mconcat :: [TyConOccurrence] -> TyConOccurrence # | |
| Semigroup TyConOccurrence Source # | |
Defined in Language.Haskell.Liquid.GHC.Play Methods (<>) :: TyConOccurrence -> TyConOccurrence -> TyConOccurrence # sconcat :: NonEmpty TyConOccurrence -> TyConOccurrence # stimes :: Integral b => b -> TyConOccurrence -> TyConOccurrence # | |
| Eq TyConOccurrence Source # | |
Defined in Language.Haskell.Liquid.GHC.Play Methods (==) :: TyConOccurrence -> TyConOccurrence -> Bool # (/=) :: TyConOccurrence -> TyConOccurrence -> Bool # | |
makeOccurrences :: [TyCon] -> OccurrenceMap Source #
makeOccurrence :: HashMap TyCon VarianceInfo -> [Type] -> TyConOccurrence Source #
findOccurrence :: OccurrenceMap -> TyCon -> TyConOccurrence Source #
isRecursivenewTyCon :: TyCon -> Bool Source #
dataConImplicitIds :: DataCon -> [Id] Source #