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