Safe Haskell	Safe-Inferred
Language	Haskell2010

HOL.Name

Description

Documentation

Constructors

Instances details

Eq Namespace Source #
Instance details Defined in HOL.Name Methods (==) :: Namespace -> Namespace -> Bool # (/=) :: Namespace -> Namespace -> Bool #
Ord Namespace Source #
Instance details 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 Source #
Instance details Defined in HOL.Name Methods showsPrec :: Int -> Namespace -> ShowS # show :: Namespace -> String # showList :: [Namespace] -> ShowS #
Printable Namespace Source #
Instance details Defined in HOL.Print Methods toDoc :: Namespace -> Doc Source # toStringWith :: Style -> Namespace -> String Source # toString :: Namespace -> String Source #

Constructors

Instances details

Eq Name Source #
Instance details Defined in HOL.Name Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details 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 Source #
Instance details Defined in HOL.Name Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Parsable Name Source #
Instance details Defined in HOL.Parse Methods 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 #
Printable Name Source #
Instance details Defined in HOL.Print Methods toDoc :: Name -> Doc Source # toStringWith :: Style -> Name -> String Source # toString :: Name -> String Source #
Objective Name Source #
Instance details Defined in HOL.OpenTheory.Article Methods toObject :: Name -> Object Source # fromObject :: Object -> Maybe Name Source #