Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 => HsType n -> Trf (Type (Dom r) RangeStage) Source #
trfBindings :: TransformName n r => [Located (HsTyVarBndr n)] -> Trf (AnnList TyVar (Dom r) RangeStage) Source #
trfTyVar :: TransformName n r => Located (HsTyVarBndr n) -> Trf (Ann TyVar (Dom r) RangeStage) Source #
trfTyVar' :: TransformName n r => HsTyVarBndr n -> Trf (TyVar (Dom r) RangeStage) Source #
trfCtx :: TransformName n r => Trf SrcLoc -> Located (HsContext n) -> Trf (AnnMaybe Context (Dom r) RangeStage) Source #
trfAssertion :: TransformName n r => LHsType n -> Trf (Ann Assertion (Dom r) RangeStage) Source #
trfAssertion' :: forall n r. TransformName n r => HsType n -> Trf (Assertion (Dom r) RangeStage) Source #