Language.Haskell.Names.Open

Documentation

class Typeable a => Resolvable a where

Methods

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

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 (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 -> a

data Scope

data NameContext

Constructors

Binding

Reference

Other

initialScope :: Scope

gTable :: Lens Scope Table

lTable :: Lens Scope Table

nameCtx :: Lens Scope NameContext