Jukebox.Name

Documentation

data Name

Constructors

Fixed !FixedName (Maybe String)

Unique !Int64 String (Maybe String) Renamer

Variant !Name ![Name] Renamer

Instances

Eq Name

Defined in Jukebox.Name

Methods

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

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

Ord Name

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

Show Name

Defined in Jukebox.Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Pretty Name

Defined in Jukebox.TPTP.Print

Methods

pPrintPrec :: PrettyLevel -> Rational -> Name -> Doc

pPrint :: Name -> Doc

pPrintList :: PrettyLevel -> [Name] -> Doc

Named Name

Defined in Jukebox.Name

Methods

name :: Name -> Name

data FixedName

Constructors

Basic !Symbol

Overloaded !Symbol !Symbol

Integer !Integer

Rational !Rational

Real !Rational

Instances

Eq FixedName

Defined in Jukebox.Name

Methods

(==) :: FixedName -> FixedName -> Bool

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

Ord FixedName

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

Show FixedName

Defined in Jukebox.Name

Methods

showsPrec :: Int -> FixedName -> ShowS

show :: FixedName -> String

showList :: [FixedName] -> ShowS

type Renamer = String -> Int -> Renaming

data Renaming

Constructors

Renaming [String] String

base :: Named a => a -> String

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

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

withMaybeLabel :: Maybe String -> Name -> Name

withLabel :: String -> Name -> Name

renamer :: Named a => a -> Renamer

defaultRenamer :: Renamer

withRenamer :: Name -> Renamer -> Name

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

class Named a where

Minimal complete definition

name

Methods

name :: a -> Name

Instances

Named Int

Defined in Jukebox.Name

Methods

name :: Int -> Name

Named Integer

Defined in Jukebox.Name

Methods

name :: Integer -> Name

Named Name

Defined in Jukebox.Name

Methods

name :: Name -> Name

Named Term

Defined in Jukebox.Form

Methods

name :: Term -> Name

Named Type

Defined in Jukebox.Form

Methods

name :: Type -> Name

Named [Char]

Defined in Jukebox.Name

Methods

name :: [Char] -> Name

Named a => Named (a ::: b)

Defined in Jukebox.Name

Methods

name :: (a ::: b) -> Name

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

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

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

data a ::: b

Constructors

a ::: b

Instances

Named a => Eq (a ::: b)

Defined in Jukebox.Name

Methods

(==) :: (a ::: b) -> (a ::: b) -> Bool

(/=) :: (a ::: b) -> (a ::: b) -> Bool

Named a => Ord (a ::: b)

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

(Show a, Show b) => Show (a ::: b)

Defined in Jukebox.Name

Methods

showsPrec :: Int -> (a ::: b) -> ShowS

show :: (a ::: b) -> String

showList :: [a ::: b] -> ShowS

Named a => Named (a ::: b)

Defined in Jukebox.Name

Methods

name :: (a ::: b) -> Name

Typed b => Typed (a ::: b)

Defined in Jukebox.Form

Methods

typ :: (a ::: b) -> Type

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

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

newtype NameM a

Constructors

NameM

Fields

• unNameM :: State Int64 a

Instances

Monad NameM

Defined in Jukebox.Name

Methods

(>>=) :: NameM a -> (a -> NameM b) -> NameM b

(>>) :: NameM a -> NameM b -> NameM b

return :: a -> NameM a

fail :: String -> NameM a

Functor NameM

Defined in Jukebox.Name

Methods

fmap :: (a -> b) -> NameM a -> NameM b

(<$) :: a -> NameM b -> NameM a

Applicative NameM

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

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

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