ajhc-0.8.0.6: Haskell compiler that produce binary through C language

Safe HaskellNone

FrontEnd.Class

Documentation

printClassHierarchy :: ClassHierarchy -> IO ()Source

instanceToTopDecls :: KindEnv -> ClassHierarchy -> HsDecl -> ([HsDecl], [Assump])Source

data ClassHierarchy Source

Instances

augmentClassHierarchy :: ClassHierarchy -> ClassHierarchy -> ClassHierarchySource

chToClassHead :: KindEnv -> HsClassHead -> ([Pred], (Name, [Type]))Source

data ClassRecord Source

Constructors

ClassRecord 

Fields

className :: !Class

can be a TypeConstructor if we are a type or data family

classSrcLoc :: !SrcLoc
 
classArgs :: [Tyvar]
 
classSupers :: [Class]
 
classAlias :: Maybe (Qual [Pred])
 
classAssumps :: [(Name, Sigma)]

method signatures

classAssocs :: [AssociatedType]
 

Instances

data ClassType Source

Constructors

ClassNormal 
ClassTypeFamily 
ClassDataFamily 
ClassAlias 

Instances

instanceName :: (Show a, Show a1) => a -> a1 -> NameSource

defaultInstanceName :: Show a => a -> NameSource

checkForDuplicateInstacesSource

Arguments

:: 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

findClassRecord :: ClassHierarchy -> Class -> ClassRecordSource

asksClassRecord :: ClassHierarchy -> Class -> (ClassRecord -> t) -> tSource

classRecords :: ClassHierarchy -> [ClassRecord]Source

addInstanceToHierarchy :: Inst -> ClassHierarchy -> ClassHierarchySource

makeClassHierarchy :: MonadWarn m => ClassHierarchy -> KindEnv -> [HsDecl] -> m ClassHierarchySource

scatterAliasInstances :: ClassHierarchy -> ClassHierarchySource

derivableClasses :: [Name]Source

enumDerivableClasses :: [Name]Source

noNewtypeDerivable :: [Name]Source

makeInstanceEnv :: ClassHierarchy -> InstanceEnvSource

emptyInstance :: InstSource

newtype InstanceEnv Source

Constructors

InstanceEnv 

Fields

instanceEnv :: Map (Name, Name) ([Tyvar], [Tyvar], Type)
 

data Inst Source

Constructors

Inst 

Fields

instSrcLoc :: SrcLoc
 
instDerived :: !Bool

whether this instance was derived

instHead :: Qual Pred
 
instAssocs :: [(Tycon, [Tyvar], [Tyvar], Sigma)]
 

Instances