thih-1.0: Typing Haskell In Haskell

Scheme

Documentation

data Scheme Source

Constructors

Forall [Kind] (Qual Type)

Instances

Eq Scheme
PPrint Scheme
Types Scheme

quantify :: [Tyvar] -> Qual Type -> Scheme Source

toScheme :: Type -> Scheme Source