Safe Haskell | None |
---|
Documentation
printClassHierarchy :: ClassHierarchy -> IO ()Source
instanceToTopDecls :: KindEnv -> ClassHierarchy -> HsDecl -> ([HsDecl], [Assump])Source
chToClassHead :: KindEnv -> HsClassHead -> ([Pred], (Name, [Type]))Source
data ClassRecord Source
ClassRecord | |
|
instanceName :: (Show a, Show a1) => a -> a1 -> NameSource
defaultInstanceName :: Show a => a -> NameSource
checkForDuplicateInstacesSource
:: MonadWarn m | |
=> ClassHierarchy | imported class hierarchy |
-> ClassHierarchy | locally defined hierarchy |
-> m ClassHierarchy | possibly simplified local hierarchy |
printClassSummary :: ClassHierarchy -> IO ()Source
findClassInsts :: ClassHierarchy -> Class -> [Inst]Source
asksClassRecord :: ClassHierarchy -> Class -> (ClassRecord -> t) -> tSource
makeClassHierarchy :: MonadWarn m => ClassHierarchy -> KindEnv -> [HsDecl] -> m ClassHierarchySource
newtype InstanceEnv Source