Jukebox.Name

Documentation

data Name

Instances

Eq Name

Ord Name

Show Name

Hashable Name

Named Name

Pretty Name

Typeable * Name

uniqueId :: Name -> Int64

base :: Name -> ByteString

stringBaseName :: Named a => a -> String

unsafeMakeName :: Int64 -> ByteString -> Name

data a ::: b

Constructors

!a ::: !b

Instances

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)

Typeable (* -> * -> *) (:::)

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

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

class Named a where

Minimal complete definition

name

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

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

Typeable (* -> *) Closed

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