| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.MockCat.TH.ClassAnalysis
Documentation
data ClassName2VarNames Source #
Constructors
| ClassName2VarNames Name [Name] |
Instances
| Show ClassName2VarNames Source # | |
Defined in Test.MockCat.TH.ClassAnalysis Methods showsPrec :: Int -> ClassName2VarNames -> ShowS # show :: ClassName2VarNames -> String # showList :: [ClassName2VarNames] -> ShowS # | |
data VarName2ClassNames Source #
Constructors
| VarName2ClassNames Name [Name] |
Instances
| Show VarName2ClassNames Source # | |
Defined in Test.MockCat.TH.ClassAnalysis Methods showsPrec :: Int -> VarName2ClassNames -> ShowS # show :: VarName2ClassNames -> String # showList :: [VarName2ClassNames] -> ShowS # | |
toClassInfos :: [Pred] -> [ClassName2VarNames] Source #
toClassInfo :: Pred -> ClassName2VarNames Source #
getTypeNames :: Pred -> [Name] Source #
filterClassInfo :: Name -> [ClassName2VarNames] -> [ClassName2VarNames] Source #
getClassName :: Type -> Name Source #
getClassNames :: Type -> [Name] Source #
data VarAppliedType Source #
Constructors
| VarAppliedType Name (Maybe Name) |
Instances
| Show VarAppliedType Source # | |
Defined in Test.MockCat.TH.ClassAnalysis Methods showsPrec :: Int -> VarAppliedType -> ShowS # show :: VarAppliedType -> String # showList :: [VarAppliedType] -> ShowS # | |
applyVarAppliedTypes :: [VarAppliedType] -> Type -> Type Source #
updateType :: Type -> [VarAppliedType] -> Type Source #