haskell-tools-backend-ghc-1.1.1.0: Creating the Haskell-Tools AST from GHC's representations

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Tools.BackendGHC.Kinds

Description

Functions that convert the kind-related elements of the GHC AST to corresponding elements in the Haskell-tools AST representation

Documentation

trfKind' :: forall n r p. (TransformName n r, Outputable (HsType n), Data (HsType n), n ~ GhcPass p) => HsKind n -> Trf (UKind (Dom r) RangeStage) Source #

trfPromoted' :: forall n r a. (TransformName n r, HasNoSemanticInfo (Dom r) a, Outputable (HsType n), Data (HsType n)) => (HsType n -> Trf (a (Dom r) RangeStage)) -> HsType n -> Trf (UPromoted a (Dom r) RangeStage) Source #