jukebox-0.1.5: A first-order reasoning toolbox

Safe Haskell	None
Language	Haskell98

Jukebox.Name

Documentation

data Name Source

Instances

Eq Name Source
Ord Name Source
Show Name Source
Hashable Name Source
Named Name Source
Pretty Name Source

uniqueId :: Name -> Int64 Source

base :: Name -> ByteString Source

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

unsafeMakeName :: Int64 -> ByteString -> Name 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 => Hashable ((:::) 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

class Named a where Source

Minimal complete definition

Methods

name :: a -> Name Source

baseName :: a -> ByteString Source

Instances

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

data Closed a Source

Instances

Functor Closed Source

close :: Closed a -> (a -> NameM b) -> Closed b Source

close_ :: Closed a -> NameM b -> Closed b Source

closedIO :: Closed (IO a) -> IO (Closed a) Source

open :: Closed a -> a Source

closed0 :: Closed () Source

stdNames :: Closed [Name] Source

nameO :: Name Source

nameI :: Name Source

data NameM a Source

Instances

Monad NameM Source
Functor NameM Source
Applicative NameM Source

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

unsafeClose :: Int64 -> a -> Closed a Source

maxIndex :: Closed a -> Int64 Source

supply :: (Closed () -> Closed a) -> NameM a Source

uniquify :: [Name] -> Name -> ByteString Source