thih-1.0: Typing Haskell In Haskell

TIMain

Documentation

data Expr Source

Constructors

Var Id 
Lit Literal 
Const Assump 
Ap Expr Expr 
Let BindGroup Expr 
Lam Alt 
If Expr Expr Expr 
Case Expr [(Pat, Expr)] 

toBg :: [(Id, Maybe Scheme, [Alt])] -> BindGroupSource

tiExpr :: Infer Expr TypeSource

type Alt = ([Pat], Expr)Source

tiAlt :: Infer Alt TypeSource

tiAlts :: ClassEnv -> [Assump] -> [Alt] -> Type -> TI [Pred]Source

split :: Monad m => ClassEnv -> [Tyvar] -> [Tyvar] -> [Pred] -> m ([Pred], [Pred])Source

type Ambiguity = (Tyvar, [Pred])Source

ambiguities :: ClassEnv -> [Tyvar] -> [Pred] -> [Ambiguity]Source

numClasses :: [Id]Source

stdClasses :: [Id]Source

candidates :: ClassEnv -> Ambiguity -> [Type]Source

withDefaults :: Monad m => ([Ambiguity] -> [Type] -> a) -> ClassEnv -> [Tyvar] -> [Pred] -> m aSource

defaultedPreds :: Monad m => ClassEnv -> [Tyvar] -> [Pred] -> m [Pred]Source

defaultSubst :: Monad m => ClassEnv -> [Tyvar] -> [Pred] -> m SubstSource

type Expl = (Id, Scheme, [Alt])Source

tiExpl :: ClassEnv -> [Assump] -> Expl -> TI [Pred]Source

type Impl = (Id, [Alt])Source

restricted :: [Impl] -> BoolSource

tiImpls :: Infer [Impl] [Assump]Source

type BindGroup = ([Expl], [[Impl]])Source

tiBindGroup :: Infer BindGroup [Assump]Source

tiSeq :: Infer bg [Assump] -> Infer [bg] [Assump]Source