thih-1.0: Typing Haskell In Haskell
Pat
data Pat Source
Constructors
tiPat :: Pat -> TI ([Pred], [Assump], Type)Source
tiPats :: [Pat] -> TI ([Pred], [Assump], [Type])Source