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

(Indexable reg, Typeable reg, Typeable a, Show reg, Ord a, Show a, Read a, IResource reg, Read reg) => 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')

(IResource reg, Typeable reg, IResource reg', Typeable reg', Typeable a, Ord a, Read a, Show a, Read reg, Show reg, Read reg', Show reg', Serializable 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)])