Language.Rust.Data.Ident

Data structure behind identifiers.

Documentation

data Ident

An identifier

Constructors

Ident

Fields

• name :: Name

  payload of the identifier

• hash :: !Int

  hash for quick comparision

Instances

Eq Ident

Uses hash to short-circuit

Methods

(==) :: Ident -> Ident -> Bool

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

Data Ident

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ident -> c Ident

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ident

toConstr :: Ident -> Constr

dataTypeOf :: Ident -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Ident)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ident)

gmapT :: (forall b. Data b => b -> b) -> Ident -> Ident

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r

gmapQ :: (forall d. Data d => d -> u) -> Ident -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ident -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ident -> m Ident

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident

Ord Ident

Uses hash to short-circuit

Methods

compare :: Ident -> Ident -> Ordering

(<) :: Ident -> Ident -> Bool

(<=) :: Ident -> Ident -> Bool

(>) :: Ident -> Ident -> Bool

(>=) :: Ident -> Ident -> Bool

max :: Ident -> Ident -> Ident

min :: Ident -> Ident -> Ident

Show Ident

Shows the identifier as a string (for use with -XOverloadedStrings)

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

IsString Ident

Methods

fromString :: String -> Ident

Generic Ident

Associated Types

type Rep Ident :: * -> *

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

Semigroup Ident

Methods

(<>) :: Ident -> Ident -> Ident

sconcat :: NonEmpty Ident -> Ident

stimes :: Integral b => b -> Ident -> Ident

Monoid Ident

Methods

mempty :: Ident

mappend :: Ident -> Ident -> Ident

mconcat :: [Ident] -> Ident

NFData Ident

Methods

rnf :: Ident -> ()

Resolve Ident

Methods

resolve :: Ident -> Either ResolveFail Ident

resolve' :: Ident -> Ident

resolveVerbose :: Ident -> (Ident, Severity, [Issue])

resolveM :: Ident -> ResolveM Ident

Pretty Ident

Methods

prettyUnresolved :: Ident -> Doc b

type Rep Ident

type Rep Ident = D1 * (MetaData "Ident" "Language.Rust.Data.Ident" "language-rust-0.1.1.26-nwWwmkzHmV4B1BSh4hGkT" False) (C1 * (MetaCons "Ident" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Just Symbol "hash") SourceUnpack SourceStrict DecidedStrict) (Rec0 * Int))))

mkIdent :: String -> Ident

Smart constructor for making an Ident.

type Name = String

The payload of an identifier