thih-1.0: Typing Haskell In Haskell

Pred

Documentation

data Qual t Source

Constructors

Instances

Eq t => Eq (Qual t)
PPrint t => PPrint (Qual t)
Types t => Types (Qual t)
Instantiate t => Instantiate (Qual t)

data Pred Source

Constructors

Instances

Eq Pred
PPrint Pred
Types Pred
Match Pred
Unify Pred
Instantiate Pred

predHead :: Pred -> Id Source

type Class = ([Tyvar], [Pred], [Inst])Source

type Inst = Qual Pred Source

data ClassEnv Source

Constructors

ClassEnv
Fields classes :: Id -> Maybe Class defaults :: [Type]

sig :: ClassEnv -> Id -> [Tyvar]Source

super :: ClassEnv -> Id -> [Pred]Source

insts :: ClassEnv -> Id -> [Inst]Source

defined :: Maybe a -> Bool Source

modify :: ClassEnv -> Id -> Class -> ClassEnv Source

initialEnv :: ClassEnv Source

type EnvTransformer = ClassEnv -> Maybe ClassEnv Source

(<:>) :: EnvTransformer -> EnvTransformer -> EnvTransformer Source

addClass :: Id -> [Tyvar] -> [Pred] -> EnvTransformer Source

addPreludeClasses :: EnvTransformer Source

addCoreClasses :: EnvTransformer Source

addNumClasses :: EnvTransformer Source

addInst :: [Pred] -> Pred -> EnvTransformer Source

overlap :: Pred -> Pred -> Bool Source

exampleInsts :: EnvTransformer Source

bySuper :: ClassEnv -> Pred -> [Pred]Source

byInst :: ClassEnv -> Pred -> Maybe [Pred]Source

entail :: ClassEnv -> [Pred] -> Pred -> Bool Source

simplify :: ([Pred] -> Pred -> Bool) -> [Pred] -> [Pred]Source

reduce :: ClassEnv -> [Pred] -> [Pred]Source

elimTauts :: ClassEnv -> [Pred] -> [Pred]Source

scEntail :: ClassEnv -> [Pred] -> Pred -> Bool Source