thih-1.0: Typing Haskell In Haskell

Pat

Documentation

data Pat Source

Constructors

PVar Id
PWildcard
PAs Id Pat
PLit Literal
PNpk Id Integer
PCon Assump [Pat]
PLazy Pat

tiPat :: Pat -> TI ([Pred], [Assump], Type)Source

tiPats :: [Pat] -> TI ([Pred], [Assump], [Type])Source