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