| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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
trfKindSig :: (TransformName n r, Outputable (HsType n), Data (HsType n), n ~ GhcPass p) => Maybe (LHsKind n) -> Trf (AnnMaybeG UKindConstraint (Dom r) RangeStage) Source #
trfKindSig' :: (TransformName n r, Outputable (HsType n), Data (HsType n), n ~ GhcPass p) => Located (HsKind n) -> Trf (Ann UKindConstraint (Dom r) RangeStage) Source #
trfKind :: (TransformName n r, Outputable (HsType n), Data (HsType n), n ~ GhcPass p) => Located (HsKind n) -> Trf (Ann UKind (Dom r) RangeStage) Source #
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 #