Language.Haskell.Tools.BackendGHC.Kinds

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 => Maybe (LHsKind n) -> Trf (AnnMaybeG UKindConstraint (Dom r) RangeStage)

trfKindSig' :: TransformName n r => Located (HsKind n) -> Trf (Ann UKindConstraint (Dom r) RangeStage)

trfKind :: TransformName n r => Located (HsKind n) -> Trf (Ann UKind (Dom r) RangeStage)

trfKind' :: forall n r. TransformName n r => HsKind n -> Trf (UKind (Dom r) RangeStage)

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