flp-0.1.0.0: A layout spec language for memory managers implemented in Rust.

Copyright(c) Alec Theriault 2017-2018
LicenseBSD-style
Maintaineralec.theriault@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Language.Rust.Data.Ident

Description

Data structure behind identifiers.

Synopsis

Documentation

data Ident Source #

An identifier

Constructors

Ident 

Fields

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

Pretty Ident Source # 
Instance details

Defined in Language.Rust.Pretty

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

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

Show IdentName Source # 
Instance details

Defined in Language.Rust.Data.Ident

Generic IdentName Source # 
Instance details

Defined in Language.Rust.Data.Ident

Associated Types

type Rep IdentName :: Type -> Type #

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)))