Language.Haskell.TH.KindInference

A module to infer the kind of a given type within Template Haskell. Warning: this implements its own kind inference system, and is therefore not guaranteed to work on all esoteric types. (That said, I have no examples where it doesn't work.)

Documentation

inferKind :: InferKind t => t -> Q (Either String Kind)

Orphan instances

Ppr Char

Methods

ppr :: Char -> Doc

ppr_list :: [Char] -> Doc

(Ppr a, Ppr b) => Ppr (Either a b)

Methods

ppr :: Either a b -> Doc

ppr_list :: [Either a b] -> Doc