Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 (AnnMaybe KindConstraint (Dom r) RangeStage) Source #
trfKindSig' :: TransformName n r => Located (HsKind n) -> Trf (Ann KindConstraint (Dom r) RangeStage) Source #
trfKind' :: TransformName n r => HsKind n -> Trf (Kind (Dom r) RangeStage) Source #
trfPromoted' :: (TransformName n r, SemanticInfo (Dom r) a ~ NoSemanticInfo) => (HsType n -> Trf (a (Dom r) RangeStage)) -> HsType n -> Trf (Promoted a (Dom r) RangeStage) Source #