Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- showName ∷ Name → Text
- normalizeType ∷ Type → Type
- requireExtension ∷ Extension → Q ()
- mkTyVarDecl ∷ MonadQuote m ⇒ Name → Kind () → m (Name, TyVarDecl TyName ())
- isNewtype ∷ DatatypeInfo → Bool
- tyListE ∷ [TExpQ a] → TExpQ [a]
Documentation
showName ∷ Name → Text Source #
Very nearly the same as showName
, but doesn't print uniques, since we don't need to
incorporate them into our names.
normalizeType ∷ Type → Type Source #
Normalize a type, in particular getting rid of things like ListT
in favour of applications of the actual name.
requireExtension ∷ Extension → Q () Source #
mkTyVarDecl ∷ MonadQuote m ⇒ Name → Kind () → m (Name, TyVarDecl TyName ()) Source #
isNewtype ∷ DatatypeInfo → Bool Source #