Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Haskell.Tools.AST.FromGHC.Types
Description
Functions that convert the type-related elements of the GHC AST to corresponding elements in the Haskell-tools AST representation
Documentation
trfType :: TransformName n r => Located (HsType n) -> Trf (Ann UType (Dom r) RangeStage) Source #
trfType' :: TransformName n r => HsType n -> Trf (UType (Dom r) RangeStage) Source #
trfBindings :: TransformName n r => [Located (HsTyVarBndr n)] -> Trf (AnnListG UTyVar (Dom r) RangeStage) Source #
trfTyVar :: TransformName n r => Located (HsTyVarBndr n) -> Trf (Ann UTyVar (Dom r) RangeStage) Source #
trfTyVar' :: TransformName n r => HsTyVarBndr n -> Trf (UTyVar (Dom r) RangeStage) Source #
trfCtx :: TransformName n r => Trf SrcLoc -> Located (HsContext n) -> Trf (AnnMaybeG UContext (Dom r) RangeStage) Source #
trfAssertion :: TransformName n r => LHsType n -> Trf (Ann UAssertion (Dom r) RangeStage) Source #
trfAssertion' :: forall n r. TransformName n r => HsType n -> Trf (UAssertion (Dom r) RangeStage) Source #