Language.Haskell.Names.Open

Documentation

class Typeable a => Resolvable a where

A type that implements Resolvable provides a way to perform a shallow scope-aware traversal.

Minimal complete definition

rtraverse

Methods

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

Instances

(Typeable * a, GTraversable Resolvable a) => Resolvable a

Methods

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

newtype Alg w

The algebra for rtraverse. It's newtype-wrapped because an implicit parameter cannot be polymorphic.

Constructors

Alg

Fields

• runAlg :: forall d. Resolvable d => d -> Scope -> w d

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

Analogous to gmap, but for Resolvable

rfoldMap :: (Monoid r, Resolvable a) => (forall b. Resolvable b => Scope -> b -> r) -> Scope -> a -> r

Analogous to gmap, but for Resolvable

data Scope

Contains information about the node's enclosing scope. Can be accessed through the lenses: gTable, lTable, nameCtx, instanceQualification, wcNames. If we enter an instance with a qualified class name we have to remember the qualification to resolve method names.

data NameContext

Describes how we should treat names in the current context

Constructors

BindingT

BindingV

ReferenceT

ReferenceV

ReferenceUV

Reference a method in an instance declaration Unqualified names also match qualified names in scope https://www.haskell.org/pipermail/haskell-prime/2008-April/002569.html

ReferenceUT

Reference an associated type in an instance declaration Unqualified names also match qualified names in scope https://www.haskell.org/pipermail/haskell-prime/2008-April/002569.html

SignatureV

A type signature contains an always unqualified Name that always refers to a value bound in the same module.

Other

initialScope :: ModuleName () -> Table -> Scope

Create an initial scope

gTable :: Lens Scope Table

lTable :: Lens Scope Table

nameCtx :: Lens Scope NameContext

type WcNames = [WcField]

Information about the names being introduced by a record wildcard

During resolving traversal, we always (lazily) construct this list when we process PRec or RecConstr, even if it doesn't contain a wildcard.

Then, if the pattern or construction actually contains a wildcard, we use the computed value.

data WcField

Information about a field in the wildcard

Constructors

WcField

Fields

• wcFieldName :: Name ()

  the field's simple name

• wcFieldModuleName :: ModuleName ()

  the field's original name

• wcExistsGlobalValue :: Bool

  whether there is a global value in scope with the same name as the field but different from the field selector

wcNames :: Lens Scope WcNames