Util.Object

Module which generates globally unique ObjectIDs.

Documentation

newtype ObjectID

Constructors

ObjectID Int

Instances

Eq ObjectID

Defined in Util.Object

Methods

(==) :: ObjectID -> ObjectID -> Bool

(/=) :: ObjectID -> ObjectID -> Bool

Ord ObjectID

Defined in Util.Object

Methods

compare :: ObjectID -> ObjectID -> Ordering

(<) :: ObjectID -> ObjectID -> Bool

(<=) :: ObjectID -> ObjectID -> Bool

(>) :: ObjectID -> ObjectID -> Bool

(>=) :: ObjectID -> ObjectID -> Bool

max :: ObjectID -> ObjectID -> ObjectID

min :: ObjectID -> ObjectID -> ObjectID

Read ObjectID

Defined in Util.Object

Methods

readsPrec :: Int -> ReadS ObjectID

readList :: ReadS [ObjectID]

readPrec :: ReadPrec ObjectID

readListPrec :: ReadPrec [ObjectID]

Show ObjectID

Defined in Util.Object

Methods

showsPrec :: Int -> ObjectID -> ShowS

show :: ObjectID -> String

showList :: [ObjectID] -> ShowS

class Object o where

Minimal complete definition

objectID

Methods

objectID :: o -> ObjectID

newObject :: IO ObjectID

staticObject :: Int -> ObjectID

newInt :: IO Int