HOL.Name

Documentation

newtype Namespace

Constructors

Namespace [String]

Instances

Eq Namespace

Defined in HOL.Name

Methods

(==) :: Namespace -> Namespace -> Bool

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

Ord Namespace

Defined in HOL.Name

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

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

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

Show Namespace

Defined in HOL.Name

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

Printable Namespace

Defined in HOL.Print

Methods

toDoc :: Namespace -> Doc

toStringWith :: Style -> Namespace -> String

toString :: Namespace -> String

data Name

Constructors

Name Namespace String

Instances

Eq Name

Defined in HOL.Name

Methods

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

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

Ord Name

Defined in HOL.Name

Methods

compare :: Name -> Name -> Ordering

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

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

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

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

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Defined in HOL.Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Parsable Name

Defined in HOL.Parse

Methods

parser :: Parsec Text st Name

fromText :: Text -> Maybe Name

fromString :: String -> Maybe Name

fromStringUnsafe :: String -> Name

fromTextFile :: FilePath -> IO Name

Printable Name

Defined in HOL.Print

Methods

toDoc :: Name -> Doc

toStringWith :: Style -> Name -> String

toString :: Name -> String

Objective Name

Defined in HOL.OpenTheory.Article

Methods

toObject :: Name -> Object

fromObject :: Object -> Maybe Name

global :: Namespace

mkGlobal :: String -> Name

destGlobal :: Name -> Maybe String

isGlobal :: Name -> Bool

variantAvoiding :: Set Name -> Name -> Name

freshSupply :: [Name]

boolNamespace :: Namespace

listNamespace :: Namespace

pairNamespace :: Namespace

sumNamespace :: Namespace

functionNamespace :: Namespace

naturalNamespace :: Namespace

realNamespace :: Namespace

setNamespace :: Namespace