Jikka.Common.Name

Documentation

type OccName = Maybe String

type NameFlavour = Maybe Int

toFlavouredName :: String -> (OccName, NameFlavour)

formatFlavouredName :: OccName -> NameFlavour -> String

data NameHint

Constructors

LocalNameHint

LocalArgumentNameHint

LoopCounterNameHint

ConstantNameHint

FunctionNameHint

ArgumentNameHint

AdHocNameHint String

Instances

Eq NameHint

Defined in Jikka.Common.Name

Methods

(==) :: NameHint -> NameHint -> Bool

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

Ord NameHint

Defined in Jikka.Common.Name

Methods

compare :: NameHint -> NameHint -> Ordering

(<) :: NameHint -> NameHint -> Bool

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

(>) :: NameHint -> NameHint -> Bool

(>=) :: NameHint -> NameHint -> Bool

max :: NameHint -> NameHint -> NameHint

min :: NameHint -> NameHint -> NameHint

Read NameHint

Defined in Jikka.Common.Name

Methods

readsPrec :: Int -> ReadS NameHint

readList :: ReadS [NameHint]

readPrec :: ReadPrec NameHint

readListPrec :: ReadPrec [NameHint]

Show NameHint

Defined in Jikka.Common.Name

Methods

showsPrec :: Int -> NameHint -> ShowS

show :: NameHint -> String

showList :: [NameHint] -> ShowS