Data.TCache.Defs

Documentation

type AccessTime = Integer

type ModifTime = Integer

data Status a

Constructors

NotRead

DoNotExist

Exist a

Instances

Typeable1 Status

data Elem a

Constructors

Elem !a !AccessTime !ModifTime

Instances

Typeable1 Elem

type TPVar a = TVar (Status (Elem a))

data DBRef a

Constructors

DBRef !String !(TPVar a)

Instances

Typeable1 DBRef

Eq (DBRef a)

Ord (DBRef a)

(IResource a, Typeable a) => Read (DBRef a)

Show (DBRef a)

SetOperations [DBRef a] [DBRef a] [DBRef a]

SetOperations [DBRef a] (JoinData a a') (JoinData a a')

Queriable reg a => RelationOps (reg -> a) a [DBRef reg]

(Typeable reg, IResource reg) => Select (reg -> a) (STM [DBRef reg]) (STM [a])

(Typeable reg, IResource reg, Typeable reg', IResource reg', Select (reg -> a) (STM [DBRef reg]) (STM [a]), Select (reg' -> b) (STM [DBRef reg']) (STM [b])) => Select (reg -> a, reg' -> b) (STM (JoinData reg reg')) (STM [([a], [b])])

(Typeable reg, IResource reg, Select (reg -> a) (STM [DBRef reg]) (STM [a]), Select (reg -> b) (STM [DBRef reg]) (STM [b])) => Select (reg -> a, reg -> b) (STM [DBRef reg]) (STM [(a, b)])

SetOperations (JoinData a a') [DBRef a'] (JoinData a a')

SetOperations (JoinData a a') [DBRef a] (JoinData a a')

(Queriable reg a, Queriable reg' a) => RelationOps (reg -> a) (reg' -> a) (JoinData reg reg')

(Typeable reg, IResource reg, Select (reg -> a) (STM [DBRef reg]) (STM [a]), Select (reg -> b) (STM [DBRef reg]) (STM [b]), Select (reg -> c) (STM [DBRef reg]) (STM [c])) => Select (reg -> a, reg -> b, reg -> c) (STM [DBRef reg]) (STM [(a, b, c)])

(Typeable reg, IResource reg, Select (reg -> a) (STM [DBRef reg]) (STM [a]), Select (reg -> b) (STM [DBRef reg]) (STM [b]), Select (reg -> c) (STM [DBRef reg]) (STM [c]), Select (reg -> d) (STM [DBRef reg]) (STM [d])) => Select (reg -> a, reg -> b, reg -> c, reg -> d) (STM [DBRef reg]) (STM [(a, b, c, d)])

castErr :: (Typeable a1, Typeable a) => a -> a1