Language.Haskell.Tools.BackendGHC.Types

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. TransformName n r => Located (HsType n) -> Trf (Ann UType (Dom r) RangeStage)

trfType' :: forall n r. TransformName n r => HsType n -> Trf (UType (Dom r) RangeStage)

trfBindings :: TransformName n r => [Located (HsTyVarBndr n)] -> Trf (AnnListG UTyVar (Dom r) RangeStage)

trfTyVar :: TransformName n r => Located (HsTyVarBndr n) -> Trf (Ann UTyVar (Dom r) RangeStage)

trfTyVar' :: forall n r. TransformName n r => HsTyVarBndr n -> Trf (UTyVar (Dom r) RangeStage)

trfCtx :: TransformName n r => Trf SrcLoc -> Located (HsContext n) -> Trf (AnnMaybeG UContext (Dom r) RangeStage)

trfAssertion :: TransformName n r => LHsType n -> Trf (Ann UAssertion (Dom r) RangeStage)

trfAssertion' :: forall n r. TransformName n r => HsType n -> Trf (UAssertion (Dom r) RangeStage)