Safe Haskell	None
Language	Haskell2010

Jukebox.Name

Documentation

data Name Source #

Constructors

Fixed !FixedName (Maybe String)
Unique !Int64 !Symbol (Maybe String) Renamer
Variant !Name ![Name] Renamer

Instances

Instances details

Show Name Source #
Instance details Defined in Jukebox.Name Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Eq Name Source #
Instance details Defined in Jukebox.Name Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details Defined in Jukebox.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 #
Named Name Source #
Instance details Defined in Jukebox.Name Methods name :: Name -> Name Source #
Pretty Name Source #
Instance details Defined in Jukebox.TPTP.Print Methods pPrintPrec :: PrettyLevel -> Rational -> Name -> Doc # pPrint :: Name -> Doc # pPrintList :: PrettyLevel -> [Name] -> Doc #

data FixedName Source #

Constructors

Basic !Symbol
Overloaded !Symbol !Symbol
Integer !Integer
Rational !Rational
Real !Rational

Instances

Instances details

Show FixedName Source #
Instance details Defined in Jukebox.Name Methods showsPrec :: Int -> FixedName -> ShowS # show :: FixedName -> String # showList :: [FixedName] -> ShowS #
Eq FixedName Source #
Instance details Defined in Jukebox.Name Methods (==) :: FixedName -> FixedName -> Bool # (/=) :: FixedName -> FixedName -> Bool #
Ord FixedName Source #
Instance details Defined in Jukebox.Name Methods compare :: FixedName -> FixedName -> Ordering # (<) :: FixedName -> FixedName -> Bool # (<=) :: FixedName -> FixedName -> Bool # (>) :: FixedName -> FixedName -> Bool # (>=) :: FixedName -> FixedName -> Bool # max :: FixedName -> FixedName -> FixedName # min :: FixedName -> FixedName -> FixedName #

type Renamer = String -> Int -> Renaming Source #

data Renaming Source #

Constructors

Renaming [String] String

base :: Named a => a -> String Source #

label :: Named a => a -> Maybe String Source #

hasLabel :: Named a => String -> a -> Bool Source #

withMaybeLabel :: Maybe String -> Name -> Name Source #

withLabel :: String -> Name -> Name Source #

renamer :: Named a => a -> Renamer Source #

defaultRenamer :: Renamer Source #

withRenamer :: Name -> Renamer -> Name Source #

compareName :: Name -> Either FixedName (Either Int64 (Name, [Name])) Source #

class Named a where Source #

Methods

name :: a -> Name Source #

Instances

Instances details

Named Term Source #
Instance details Defined in Jukebox.Form Methods name :: Term -> Name Source #
Named Type Source #
Instance details Defined in Jukebox.Form Methods name :: Type -> Name Source #
Named Name Source #
Instance details Defined in Jukebox.Name Methods name :: Name -> Name Source #
Named Symbol Source #
Instance details Defined in Jukebox.Name Methods name :: Symbol -> Name Source #
Named Integer Source #
Instance details Defined in Jukebox.Name Methods name :: Integer -> Name Source #
Named Int Source #
Instance details Defined in Jukebox.Name Methods name :: Int -> Name Source #
Named [Char] Source #
Instance details Defined in Jukebox.Name Methods name :: [Char] -> Name Source #
Named a => Named (a ::: b) Source #
Instance details Defined in Jukebox.Name Methods name :: (a ::: b) -> Name Source #

allNames :: Named a => a -> [Name] Source #

variant :: (Named a, Named b) => a -> [b] -> Name Source #

unvariant :: Name -> Maybe (Name, [Name]) Source #

data a ::: b Source #

Constructors

a ::: b

Instances

Instances details

(Show a, Show b) => Show (a ::: b) Source #
Instance details Defined in Jukebox.Name Methods showsPrec :: Int -> (a ::: b) -> ShowS # show :: (a ::: b) -> String # showList :: [a ::: b] -> ShowS #
Named a => Eq (a ::: b) Source #
Instance details Defined in Jukebox.Name Methods (==) :: (a ::: b) -> (a ::: b) -> Bool # (/=) :: (a ::: b) -> (a ::: b) -> Bool #
Named a => Ord (a ::: b) Source #
Instance details Defined in Jukebox.Name Methods compare :: (a ::: b) -> (a ::: b) -> Ordering # (<) :: (a ::: b) -> (a ::: b) -> Bool # (<=) :: (a ::: b) -> (a ::: b) -> Bool # (>) :: (a ::: b) -> (a ::: b) -> Bool # (>=) :: (a ::: b) -> (a ::: b) -> Bool # max :: (a ::: b) -> (a ::: b) -> a ::: b # min :: (a ::: b) -> (a ::: b) -> a ::: b #
Typed b => Typed (a ::: b) Source #
Instance details Defined in Jukebox.Form Methods typ :: (a ::: b) -> Type Source #
Named a => Named (a ::: b) Source #
Instance details Defined in Jukebox.Name Methods name :: (a ::: b) -> Name Source #

lhs :: (a ::: b) -> a Source #

rhs :: (a ::: b) -> b Source #

newtype NameM a Source #

Constructors

NameM
Fields unNameM :: State Int64 a

Instances

Instances details

Applicative NameM Source #
Instance details Defined in Jukebox.Name Methods pure :: a -> NameM a # (<>) :: NameM (a -> b) -> NameM a -> NameM b # liftA2 :: (a -> b -> c) -> NameM a -> NameM b -> NameM c # (>) :: NameM a -> NameM b -> NameM b # (<*) :: NameM a -> NameM b -> NameM a #
Functor NameM Source #
Instance details Defined in Jukebox.Name Methods fmap :: (a -> b) -> NameM a -> NameM b # (<$) :: a -> NameM b -> NameM a #
Monad NameM Source #
Instance details Defined in Jukebox.Name Methods (>>=) :: NameM a -> (a -> NameM b) -> NameM b # (>>) :: NameM a -> NameM b -> NameM b # return :: a -> NameM a #

runNameM :: [Name] -> NameM a -> a Source #

newName :: Named a => a -> NameM Name Source #

unique :: Named a => a -> Int64 -> Name Source #