Stan.NameMeta

Data types and functions for working with meta information.

Documentation

data NameMeta

Meta information about function/type.

Constructors

NameMeta

Fields

• nameMetaPackage :: !Text
• nameMetaModuleName :: !ModuleName
• nameMetaName :: !Text

Instances

Eq NameMeta

Defined in Stan.NameMeta

Methods

(==) :: NameMeta -> NameMeta -> Bool

(/=) :: NameMeta -> NameMeta -> Bool

Show NameMeta

Defined in Stan.NameMeta

Methods

showsPrec :: Int -> NameMeta -> ShowS

show :: NameMeta -> String

showList :: [NameMeta] -> ShowS

Pretty show

prettyShowNameMeta :: NameMeta -> Text

Pretty show NameMeta in the following format: package/module/name.

Comparison with Name

compareNames :: NameMeta -> Name -> Bool

Check if NameMeta is identical to Name.

hieMatchNameMeta

Arguments

:: NameMeta

Name meta info

-> (Identifier, IdentifierDetails TypeIndex)

HIE identifier

-> Bool

Check whether HIE Identifier with details is a given NameMeta.

hieFindIdentifier :: NameMeta -> HieAST TypeIndex -> Maybe NameMeta

Check if the given HieAST node is identifier equal to the given NameMeta.

Smart constructors

baseNameFrom :: Text -> ModuleName -> NameMeta infix 8

Create NameMeta for a function from the base package and a given ModuleName. module.

mkBaseListMeta :: Text -> NameMeta

Create NameMeta for a function from the base package and the GHC.List module.

mkBaseOldListMeta :: Text -> NameMeta

Create NameMeta for a function from the base package and the Data.OldList module.

mkBaseFoldableMeta :: Text -> NameMeta

Create NameMeta for a function from the base package and the Data.Foldable module.

unorderedNameFrom :: Text -> ModuleName -> NameMeta infix 8

Create NameMeta for a function from the unordered-containers package and a given ModuleName module.

textNameFrom :: Text -> ModuleName -> NameMeta infix 8

Create NameMeta for a function from the text package and a given ModuleName module.

ghcPrimNameFrom :: Text -> ModuleName -> NameMeta infix 8

Create NameMeta for a function from the ghc-prim package and a given ModuleName module.

primTypeMeta :: Text -> NameMeta

NameMeta for primitive types.