jukebox-0.2.4: A first-order reasoning toolbox

Safe Haskell	None
Language	Haskell98

Jukebox.Name

Documentation

data Name Source

Constructors

Fixed !FixedName
Unique !Int64 String Renamer

Instances

Eq Name Source
Ord Name Source
Show Name Source
Named Name Source

data FixedName Source

Constructors

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

Instances

Eq FixedName Source
Ord FixedName Source
Show FixedName Source

type Renamer = String -> Int -> Renaming Source

data Renaming Source

Constructors

Renaming [String] String

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

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

defaultRenamer :: Renamer Source

withRenamer :: Name -> Renamer -> Name Source

compareName :: Name -> Either FixedName Int64 Source

class Named a where Source

Methods

name :: a -> Name Source

Instances

Named Name Source
Named Term Source
Named Type Source
Named [Char] Source
Named a => Named ((:::) a b) Source

data a ::: b Source

Constructors

a ::: b

Instances

Named a => Eq ((:::) a b) Source
Named a => Ord ((:::) a b) Source
(Show a, Show b) => Show ((:::) a b) Source
Named a => Named ((:::) a b) Source
Typed b => Typed ((:::) a b) Source

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

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

newtype NameM a Source

Constructors

NameM
Fields unNameM :: State Int64 a

Instances

Monad NameM Source
Functor NameM Source
Applicative NameM Source

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

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