thih-1.0: Typing Haskell In Haskell

TIMonad

Documentation

newtype TI a Source

Constructors

TI (Subst -> Int -> (Subst, Int, a)) 

Instances

runTI :: TI a -> aSource

class Instantiate t whereSource

Methods

inst :: [Type] -> t -> tSource