jukebox-0.1.2: A first-order reasoning toolbox

Safe Haskell	None

Jukebox.Name

Documentation

data Name Source

Instances

Eq Name
Ord Name
Show Name
Typeable Name
Hashable Name
Named Name
Pretty Name

uniqueId :: Name -> Int64Source

base :: Name -> ByteStringSource

stringBaseName :: Named a => a -> StringSource

unsafeMakeName :: Int64 -> ByteString -> Name Source

data a ::: b Source

Constructors

!a ::: !b

Instances

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

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

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

class Named a whereSource

Methods

name :: a -> Name Source

baseName :: a -> ByteStringSource

Instances

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

data Closed a Source

Instances

Functor Closed
Typeable1 Closed
(Symbolic a, Pretty a) => Show (Problem a)

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

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

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

open :: Closed a -> aSource

closed0 :: Closed ()Source

stdNames :: Closed [Name]Source

nameO :: Name Source

nameI :: Name Source

data NameM a Source

Instances

Monad NameM
Functor NameM

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

unsafeClose :: Int64 -> a -> Closed aSource

maxIndex :: Closed a -> Int64Source

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

uniquify :: [Name] -> Name -> ByteStringSource