HOL.Name
Description
newtype Namespace Source #
Constructors
Defined in HOL.Name
Methods
(==) :: Namespace -> Namespace -> Bool #
(/=) :: Namespace -> Namespace -> Bool #
compare :: Namespace -> Namespace -> Ordering #
(<) :: Namespace -> Namespace -> Bool #
(<=) :: Namespace -> Namespace -> Bool #
(>) :: Namespace -> Namespace -> Bool #
(>=) :: Namespace -> Namespace -> Bool #
max :: Namespace -> Namespace -> Namespace #
min :: Namespace -> Namespace -> Namespace #
showsPrec :: Int -> Namespace -> ShowS #
show :: Namespace -> String #
showList :: [Namespace] -> ShowS #
Defined in HOL.Print
toDoc :: Namespace -> Doc Source #
toStringWith :: Style -> Namespace -> String Source #
toString :: Namespace -> String Source #
data Name Source #
(==) :: Name -> Name -> Bool #
(/=) :: Name -> Name -> Bool #
compare :: Name -> Name -> Ordering #
(<) :: Name -> Name -> Bool #
(<=) :: Name -> Name -> Bool #
(>) :: Name -> Name -> Bool #
(>=) :: Name -> Name -> Bool #
max :: Name -> Name -> Name #
min :: Name -> Name -> Name #
showsPrec :: Int -> Name -> ShowS #
show :: Name -> String #
showList :: [Name] -> ShowS #
Defined in HOL.Parse
parser :: Parsec Text st Name Source #
fromText :: Text -> Maybe Name Source #
fromString :: String -> Maybe Name Source #
fromStringUnsafe :: String -> Name Source #
fromTextFile :: FilePath -> IO Name Source #
toDoc :: Name -> Doc Source #
toStringWith :: Style -> Name -> String Source #
toString :: Name -> String Source #
Defined in HOL.OpenTheory.Article
toObject :: Name -> Object Source #
fromObject :: Object -> Maybe Name Source #
global :: Namespace Source #
mkGlobal :: String -> Name Source #
destGlobal :: Name -> Maybe String Source #
isGlobal :: Name -> Bool Source #
variantAvoiding :: Set Name -> Name -> Name Source #
freshSupply :: [Name] Source #
boolNamespace :: Namespace Source #
listNamespace :: Namespace Source #
pairNamespace :: Namespace Source #
sumNamespace :: Namespace Source #
functionNamespace :: Namespace Source #
naturalNamespace :: Namespace Source #
realNamespace :: Namespace Source #
setNamespace :: Namespace Source #