| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.Refactor.Utils.NameLookup
Contents
Synopsis
- opSemName :: Operator -> Maybe Name
- declHeadQName :: DeclHead -> QualifiedName
- declHeadSemName :: DeclHead -> Maybe Name
- instHeadSemName :: InstanceHead -> Maybe Name
- assertionQNames :: Assertion -> [QualifiedName]
- assertionSemNames :: Assertion -> [Name]
- nameFromType :: Type -> Maybe Name
Documentation
instHeadSemName :: InstanceHead -> Maybe Name Source #
assertionQNames :: Assertion -> [QualifiedName] Source #
Collects the qualified names of the class heads in an assertion.
assertionSemNames :: Assertion -> [Name] Source #
Collects the semantic names of the class heads in an assertion.
nameFromType :: Type -> Maybe Name Source #
Extracts the name of a type. In case of a type application, it finds the type being applied. It works only for unambiguous types, so it won't work for tuples.
Orphan instances
| HasNameInfo' Name Source # | |
Methods semanticsName :: Name -> Maybe Name # | |
| HasNameInfo' DeclHead Source # | |
Methods semanticsName :: DeclHead -> Maybe Name # | |
| HasNameInfo' InstanceHead Source # | |
Methods semanticsName :: InstanceHead -> Maybe Name # | |
| HasNameInfo' Operator Source # | |
Methods semanticsName :: Operator -> Maybe Name # | |