Clash.Core.Name

Names

Documentation

data NameSort

Constructors

User

System

Internal

Instances

Eq NameSort

Defined in Clash.Core.Name

Methods

(==) :: NameSort -> NameSort -> Bool

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

Ord NameSort

Defined in Clash.Core.Name

Methods

compare :: NameSort -> NameSort -> Ordering

(<) :: NameSort -> NameSort -> Bool

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

(>) :: NameSort -> NameSort -> Bool

(>=) :: NameSort -> NameSort -> Bool

max :: NameSort -> NameSort -> NameSort

min :: NameSort -> NameSort -> NameSort

Show NameSort

Defined in Clash.Core.Name

Methods

showsPrec :: Int -> NameSort -> ShowS

show :: NameSort -> String

showList :: [NameSort] -> ShowS

Generic NameSort

Defined in Clash.Core.Name

Associated Types

type Rep NameSort :: Type -> Type

Methods

from :: NameSort -> Rep NameSort x

to :: Rep NameSort x -> NameSort

Hashable NameSort

Defined in Clash.Core.Name

Methods

hashWithSalt :: Int -> NameSort -> Int

hash :: NameSort -> Int

Binary NameSort

Defined in Clash.Core.Name

Methods

put :: NameSort -> Put

get :: Get NameSort

putList :: [NameSort] -> Put

NFData NameSort

Defined in Clash.Core.Name

Methods

rnf :: NameSort -> ()

type Rep NameSort

Defined in Clash.Core.Name

type Rep NameSort = D1 (MetaData "NameSort" "Clash.Core.Name" "clash-lib-1.2.0-inplace" False) (C1 (MetaCons "User" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "System" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Internal" PrefixI False) (U1 :: Type -> Type)))

type OccName = Text

data Name a

Constructors

Name

Fields

• nameSort :: NameSort
• nameOcc :: !OccName
• nameUniq :: !Unique
• nameLoc :: !SrcSpan

Instances

Eq (Name a)

Defined in Clash.Core.Name

Methods

(==) :: Name a -> Name a -> Bool

(/=) :: Name a -> Name a -> Bool

Ord (Name a)

Defined in Clash.Core.Name

Methods

compare :: Name a -> Name a -> Ordering

(<) :: Name a -> Name a -> Bool

(<=) :: Name a -> Name a -> Bool

(>) :: Name a -> Name a -> Bool

(>=) :: Name a -> Name a -> Bool

max :: Name a -> Name a -> Name a

min :: Name a -> Name a -> Name a

Show (Name a)

Defined in Clash.Core.Name

Methods

showsPrec :: Int -> Name a -> ShowS

show :: Name a -> String

showList :: [Name a] -> ShowS

Generic (Name a)

Defined in Clash.Core.Name

Associated Types

type Rep (Name a) :: Type -> Type

Methods

from :: Name a -> Rep (Name a) x

to :: Rep (Name a) x -> Name a

Hashable (Name a)

Defined in Clash.Core.Name

Methods

hashWithSalt :: Int -> Name a -> Int

hash :: Name a -> Int

Binary (Name a)

Defined in Clash.Core.Name

Methods

put :: Name a -> Put

get :: Get (Name a)

putList :: [Name a] -> Put

NFData (Name a)

Defined in Clash.Core.Name

Methods

rnf :: Name a -> ()

ClashPretty (Name a)

Defined in Clash.Core.Pretty

Methods

clashPretty :: Name a -> Doc ()

Uniquable (Name a)

Defined in Clash.Core.Name

Methods

getUnique :: Name a -> Unique

setUnique :: Name a -> Unique -> Name a

PrettyPrec (Name a)

Defined in Clash.Core.Pretty

Methods

pprPrec :: Monad m => Rational -> Name a -> m ClashDoc

pprPrec' :: Monad m => PrettyOptions -> Rational -> Name a -> m ClashDoc

type Rep (Name a)

Defined in Clash.Core.Name

type Rep (Name a) = D1 (MetaData "Name" "Clash.Core.Name" "clash-lib-1.2.0-inplace" False) (C1 (MetaCons "Name" PrefixI True) ((S1 (MetaSel (Just "nameSort") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NameSort) :*: S1 (MetaSel (Just "nameOcc") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 OccName)) :*: (S1 (MetaSel (Just "nameUniq") SourceUnpack SourceStrict DecidedStrict) (Rec0 Unique) :*: S1 (MetaSel (Just "nameLoc") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SrcSpan))))

mkUnsafeSystemName :: Text -> Unique -> Name a

mkUnsafeInternalName :: Text -> Unique -> Name a

appendToName :: Name a -> Text -> Name a

noSrcSpan :: SrcSpan

Built-in "bad" SrcSpans for common sources of location uncertainty