Name.Name

Documentation

newtype Module

Constructors

Module Atom

Instances

Eq Module

Data Module

Ord Module

Show Module

Typeable Module

Binary Module

ToAtom Module

FromAtom Module

ToName (Maybe Module, String)

ToName (Module, String)

data Name

Instances

Eq Name

Data Name

Ord Name

Show Name

Typeable Name

Binary Name

ToAtom Name

FromAtom Name

ToName Name

DeNameable Name

type Class = Name

data NameType

Constructors

TypeConstructor

DataConstructor

ClassName

TypeVal

Val

SortName

FieldLabel

RawType

UnknownType

QuotedName

Instances

Enum NameType

Eq NameType

Ord NameType

Read NameType

Show NameType

class ToName a where

Methods

toName :: NameType -> a -> Name

fromName :: Name -> (NameType, a)

Instances

ToName String

ToName Name

ToName (String, String)

ToName (Maybe Module, String)

ToName (Module, String)

ffiExportName :: FfiExport -> Name

fromModule :: FromAtom a => Module -> a

fromTypishHsName :: Name -> Name

fromValishHsName :: Name -> Name

getIdent :: Name -> String

getModule :: Monad m => Name -> m Module

isConstructorLike :: Name -> Bool

isTypeNamespace :: NameType -> Bool

isValNamespace :: NameType -> Bool

mainModule :: Module

preludeModule :: Module

mapName :: (Module -> Module, String -> String) -> Name -> Name

mapName' :: (Maybe Module -> Maybe Module) -> (String -> String) -> Name -> Name

nameName :: Name -> Name

nameParts :: Name -> (NameType, Maybe Module, String)

nameType :: Name -> NameType

parseName :: NameType -> String -> Name

primModule :: Module

qualifyName :: Module -> Name -> Name

setModule :: Module -> Name -> Name

quoteName :: Name -> Name

fromQuotedName :: Name -> Maybe Name

toModule :: String -> Module

toUnqualified :: Name -> Name