Copyright	(c) Alec Theriault 2017-2018
License	BSD-style
Maintainer	alec.theriault@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Language.Rust.Data.Ident

Description

Data structure behind identifiers.

Synopsis

data Ident = Ident {
- name :: IdentName
- raw :: Bool
- hash :: !Int
}
mkIdent :: String -> Ident
type Name = String
data IdentName
- = Name Name
- | HaskellName String

Documentation

data Ident Source #

An identifier

Constructors

Ident
Fields name :: IdentName payload of the identifier raw :: Bool whether the identifier is raw hash :: !Int hash for quick comparision

Instances

Eq Ident Source #	Uses `hash` to short-circuit
Instance details Defined in Language.Rust.Data.Ident Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Data Ident Source #
Instance details Defined in Language.Rust.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 Source #	Uses `hash` to short-circuit
Instance details Defined in Language.Rust.Data.Ident 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 Source #	Shows the identifier as a string (for use with `-XOverloadedStrings`)
Instance details Defined in Language.Rust.Data.Ident Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
IsString Ident Source #
Instance details Defined in Language.Rust.Data.Ident Methods fromString :: String -> Ident #
Generic Ident Source #
Instance details Defined in Language.Rust.Data.Ident Associated Types type Rep Ident :: Type -> Type # Methods from :: Ident -> Rep Ident x # to :: Rep Ident x -> Ident #
Semigroup Ident Source #	Forgets about whether either argument was raw <<<<<<< HEAD
Instance details Defined in Language.Rust.Data.Ident Methods (<>) :: Ident -> Ident -> Ident # sconcat :: NonEmpty Ident -> Ident # stimes :: Integral b => b -> Ident -> Ident #
Monoid Ident Source #	Forgets about whether either argument was raw
Instance details Defined in Language.Rust.Data.Ident Methods mempty :: Ident # mappend :: Ident -> Ident -> Ident # mconcat :: [Ident] -> Ident #
NFData Ident Source #
Instance details Defined in Language.Rust.Data.Ident Methods rnf :: Ident -> () #
Resolve Ident Source #
Instance details Defined in Language.Rust.Pretty.Resolve Methods resolve :: Ident -> Either ResolveFail Ident Source # resolve' :: Ident -> Ident Source # resolveVerbose :: Ident -> (Ident, Severity, [Issue]) Source # resolveM :: Ident -> ResolveM Ident
Pretty Ident Source #
Instance details Defined in Language.Rust.Pretty Methods prettyUnresolved :: Ident -> Doc b Source #
type Rep Ident Source #
Instance details Defined in Language.Rust.Data.Ident type Rep Ident = D1 (MetaData "Ident" "Language.Rust.Data.Ident" "flp-0.1.0.0-DeMkA8gwwJbCOh6gqZDp9v" False) (C1 (MetaCons "Ident" PrefixI True) (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdentName) :: (S1 (MetaSel (Just "raw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "hash") SourceUnpack SourceStrict DecidedStrict) (Rec0 Int))))

mkIdent :: String -> Ident Source #

Smart constructor for making an Ident.

type Name = String Source #

The payload of an identifier

data IdentName Source #

Constructors

Name Name
HaskellName String

Instances

Eq IdentName Source #
Instance details Defined in Language.Rust.Data.Ident Methods (==) :: IdentName -> IdentName -> Bool # (/=) :: IdentName -> IdentName -> Bool #
Data IdentName Source #
Instance details Defined in Language.Rust.Data.Ident Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IdentName -> c IdentName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IdentName # toConstr :: IdentName -> Constr # dataTypeOf :: IdentName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IdentName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IdentName) # gmapT :: (forall b. Data b => b -> b) -> IdentName -> IdentName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IdentName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IdentName -> r # gmapQ :: (forall d. Data d => d -> u) -> IdentName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> IdentName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IdentName -> m IdentName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IdentName -> m IdentName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IdentName -> m IdentName #
Ord IdentName Source #
Instance details Defined in Language.Rust.Data.Ident Methods compare :: IdentName -> IdentName -> Ordering # (<) :: IdentName -> IdentName -> Bool # (<=) :: IdentName -> IdentName -> Bool # (>) :: IdentName -> IdentName -> Bool # (>=) :: IdentName -> IdentName -> Bool # max :: IdentName -> IdentName -> IdentName # min :: IdentName -> IdentName -> IdentName #
Show IdentName Source #
Instance details Defined in Language.Rust.Data.Ident Methods showsPrec :: Int -> IdentName -> ShowS # show :: IdentName -> String # showList :: [IdentName] -> ShowS #
Generic IdentName Source #
Instance details Defined in Language.Rust.Data.Ident Associated Types type Rep IdentName :: Type -> Type # Methods from :: IdentName -> Rep IdentName x # to :: Rep IdentName x -> IdentName #
NFData IdentName Source #
Instance details Defined in Language.Rust.Data.Ident Methods rnf :: IdentName -> () #
type Rep IdentName Source #
Instance details Defined in Language.Rust.Data.Ident type Rep IdentName = D1 (MetaData "IdentName" "Language.Rust.Data.Ident" "flp-0.1.0.0-DeMkA8gwwJbCOh6gqZDp9v" False) (C1 (MetaCons "Name" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)) :+: C1 (MetaCons "HaskellName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))