thih-1.0: Typing Haskell In Haskell

Infer

Documentation

type Infer e t = ClassEnv -> [Assump] -> e -> TI ([Pred], t)Source