Safe Haskell | None |
---|
Documentation
class Typeable a => Resolvable a whereSource
rtraverse :: (Applicative f, [alg :: Alg f]) => a -> Scope -> f aSource
(Typeable a, GTraversable Resolvable a) => Resolvable a | |
Resolvable SrcSpan | |
Resolvable SrcSpanInfo | |
(Resolvable l, SrcInfo l, Data l) => Resolvable [Stmt l] | |
(Resolvable l, SrcInfo l, Data l) => Resolvable (Decl l) | |
(Resolvable l, SrcInfo l, Data l) => Resolvable (Binds l) | |
(Resolvable l, SrcInfo l, Data l) => Resolvable (Match l) | |
(Resolvable l, SrcInfo l, Data l) => Resolvable (GuardedRhs l) | |
(Resolvable l, SrcInfo l, Data l) => Resolvable (Exp l) | |
(Resolvable l, SrcInfo l, Data l) => Resolvable (QualStmt l) | |
(Resolvable l, SrcInfo l, Data l) => Resolvable (Alt l) | |
(Resolvable l, SrcInfo l, Data l) => Resolvable (GuardedAlt l) | |
Typeable a => Resolvable (Scoped a) |
rmap :: Resolvable a => (forall b. Resolvable b => Scope -> b -> b) -> Scope -> a -> aSource