Safe Haskell	None

Language.Haskell.Names.Open

Documentation

Methods

rtraverse :: (Applicative f, [alg :: Alg f]) => a -> Scope -> f aSource

Instances

(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 (DeclHead 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 (ConDecl l)
(Resolvable l, SrcInfo l, Data l) => Resolvable (FieldDecl l)
(Resolvable l, SrcInfo l, Data l) => Resolvable (GuardedRhs l)
(Resolvable l, SrcInfo l, Data l) => Resolvable (Type l)
(Resolvable l, SrcInfo l, Data l) => Resolvable (Exp l)
(Resolvable l, SrcInfo l, Data l) => Resolvable (Pat l)
(Resolvable l, SrcInfo l, Data l) => Resolvable (PatField 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)

newtype Alg w Source

Constructors

Alg
Fields runAlg :: forall d. Resolvable d => d -> Scope -> w d

rmap :: Resolvable a => (forall b. Resolvable b => Scope -> b -> b) -> Scope -> a -> aSource

Constructors

BindingT
BindingV
ReferenceT
ReferenceV
Other	we don't expect names in this context