Jukebox.Name

Documentation

data Name

Instances

Eq Name

Ord Name

Show Name

Typeable Name

Hashable Name

Named Name

Pretty Name

uniqueId :: Name -> Int64

base :: Name -> ByteString

stringBaseName :: Named a => a -> String

unsafeMakeName :: Int64 -> ByteString -> Name

data a ::: b

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) -> a

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

class Named a where

Methods

name :: a -> Name

baseName :: a -> ByteString

Instances

Named ByteString

Named Name

Named Term

Named Type

Named [Char]

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

data Closed a

Instances

Functor Closed

Typeable1 Closed

(Symbolic a, Pretty a) => Show (Problem a)

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

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

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

open :: Closed a -> a

closed0 :: Closed ()

stdNames :: Closed [Name]

nameO :: Name

nameI :: Name

data NameM a

Instances

Monad NameM

Functor NameM

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

unsafeClose :: Int64 -> a -> Closed a

maxIndex :: Closed a -> Int64

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

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