language-c-0.8.2: Analysis and generation of C code

Copyright(c) 2008 Benedikt Huber
LicenseBSD-style
Maintainerbenedikt.huber@gmail.com
Stabilityexperimental
Portabilityghc
Safe HaskellNone
LanguageHaskell98

Language.C.Data.Name

Description

Unique Names with fast equality (newtype Int)

Synopsis

Documentation

newtype Name Source #

Name is a unique identifier

Constructors

Name 

Fields

Instances
Enum Name Source # 
Instance details

Defined in Language.C.Data.Name

Eq Name Source # 
Instance details

Defined in Language.C.Data.Name

Methods

(==) :: Name -> Name -> Bool Source #

(/=) :: Name -> Name -> Bool Source #

Data Name Source # 
Instance details

Defined in Language.C.Data.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Name -> c Name Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Name Source #

toConstr :: Name -> Constr Source #

dataTypeOf :: Name -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Name) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Name) Source #

gmapT :: (forall b. Data b => b -> b) -> Name -> Name Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Name -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Name -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Name -> m Name Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name Source #

Ord Name Source # 
Instance details

Defined in Language.C.Data.Name

Read Name Source # 
Instance details

Defined in Language.C.Data.Name

Show Name Source # 
Instance details

Defined in Language.C.Data.Name

Ix Name Source # 
Instance details

Defined in Language.C.Data.Name

Generic Name Source # 
Instance details

Defined in Language.C.Data.Name

Associated Types

type Rep Name :: Type -> Type Source #

Methods

from :: Name -> Rep Name x Source #

to :: Rep Name x -> Name Source #

NFData Name Source # 
Instance details

Defined in Language.C.Data.Name

Methods

rnf :: Name -> () Source #

type Rep Name Source # 
Instance details

Defined in Language.C.Data.Name

type Rep Name = D1 (MetaData "Name" "Language.C.Data.Name" "language-c-0.8.2-9HCycZN4u9o56U8HdwrRHa" True) (C1 (MetaCons "Name" PrefixI True) (S1 (MetaSel (Just "nameId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newNameSupply :: [Name] Source #

return an infinite stream of Names starting with nameId 0

namesStartingFrom :: Int -> [Name] Source #

get the infinite stream of unique names starting from the given integer