jukebox-0.4.5: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell2010

Jukebox.Name

Documentation

data Name Source #

Instances
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 #

Show Name Source # 
Instance details

Defined in Jukebox.Name

Methods

showsPrec :: Int -> Name -> ShowS #

show :: Name -> String #

showList :: [Name] -> ShowS #

Pretty Name Source # 
Instance details

Defined in Jukebox.TPTP.Print

Named Name Source # 
Instance details

Defined in Jukebox.Name

Methods

name :: Name -> Name Source #

data Renaming Source #

Constructors

Renaming [String] String 

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

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

class Named a where Source #

Methods

name :: a -> Name Source #

Instances
Named Int Source # 
Instance details

Defined in Jukebox.Name

Methods

name :: Int -> Name Source #

Named Integer Source # 
Instance details

Defined in Jukebox.Name

Methods

name :: Integer -> Name Source #

Named Name Source # 
Instance details

Defined in Jukebox.Name

Methods

name :: Name -> Name Source #

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 [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 #

data a ::: b Source #

Constructors

a ::: b 
Instances
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 #

(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 => Named (a ::: b) Source # 
Instance details

Defined in Jukebox.Name

Methods

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

Typed b => Typed (a ::: b) Source # 
Instance details

Defined in Jukebox.Form

Methods

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

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

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

newtype NameM a Source #

Constructors

NameM 

Fields

Instances
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 #

fail :: String -> NameM a #

Functor NameM Source # 
Instance details

Defined in Jukebox.Name

Methods

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

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

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 #

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