| Copyright | 2017 Kei Hibino |
|---|---|
| License | BSD3 |
| Maintainer | ex8k.hibino@gmail.com |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | None |
| Language | Haskell2010 |
Database.Relational.Compat
Description
Deprecated: backward compatibility definitions relational-query <= 0.9.*
This module contains backward compatibility definitions of relational-query <= 0.9.*
Synopsis
- type Projection = Record
- type ListProjection = RecordList
- class ProductConstructor c where
- productConstructor :: c
- type ProjectableFunctor = ProductIsoFunctor
- (|$|) :: (ProductIsoFunctor f, ProductConstructor (a -> b)) => (a -> b) -> f a -> f b
- type ProjectableApplicative = ProductIsoApplicative
- (|*|) :: ProductIsoApplicative f => f (a -> b) -> f a -> f b
- type ProjectableIdZip p = ProductIsoEmpty p ()
- rightId :: ProjectableIdZip p => p (a, ()) -> p a
- leftId :: ProjectableIdZip p => p ((), a) -> p a
- class SqlProjectable p where
- unsafeProjectSqlTerms :: [StringSQL] -> p t
- unsafeProjectSql :: SqlProjectable p => String -> p a
- class ProjectableShowSql p where
- unsafeShowSql' :: p a -> StringSQL
- unsafeShowSql :: ProjectableShowSql p => p a -> String
- pfmap :: ProductConstructor (a -> b) => (a -> b) -> Pi r a -> Pi r b
- pap :: Pi r (a -> b) -> Pi r a -> Pi r b
- pzero :: Pi a ()
deprecated types
type Projection = Record Source #
deprecated Projection type replaced by Record type.
type ListProjection = RecordList Source #
deprecated Projection type replaced by Record type.
deprecated classes
class ProductConstructor c where #
Define product isomorphic inference rule to specify record constructor
Methods
productConstructor :: c #
type ProjectableFunctor = ProductIsoFunctor Source #
deprecated ProjectableFunctor class replaced by ProductIsoFunctor class.
(|$|) :: (ProductIsoFunctor f, ProductConstructor (a -> b)) => (a -> b) -> f a -> f b infixl 4 #
type ProjectableApplicative = ProductIsoApplicative Source #
deprecated ProjectableApplicative class replaced by ProductIsoApplicative class.
(|*|) :: ProductIsoApplicative f => f (a -> b) -> f a -> f b infixl 4 #
type ProjectableIdZip p = ProductIsoEmpty p () Source #
deprecated ProjectableIdZip class replaced by ProductIsoEmpty class.
rightId :: ProjectableIdZip p => p (a, ()) -> p a Source #
deprecated right-id-law definition replaced by peRight
leftId :: ProjectableIdZip p => p ((), a) -> p a Source #
deprecated left-id-law definition replaced by peLeft
class SqlProjectable p where Source #
Interface to project SQL terms unsafely.
Methods
unsafeProjectSqlTerms Source #
Arguments
| :: [StringSQL] | SQL expression strings |
| -> p t | Result record |
Unsafely project from SQL expression terms.
Instances
| SqlContext c => SqlProjectable (Record c) Source # | Unsafely make |
Defined in Database.Relational.Compat Methods unsafeProjectSqlTerms :: [StringSQL] -> Record c t Source # | |
unsafeProjectSql :: SqlProjectable p => String -> p a Source #
Deprecated. Use Database.Relational.unsafeProjectSql instead of this.
class ProjectableShowSql p where Source #
Interface to get SQL expression from a record.
Methods
unsafeShowSql' :: p a -> StringSQL Source #
Instances
| ProjectableShowSql (Record c) Source # | |
Defined in Database.Relational.Compat Methods unsafeShowSql' :: Record c a -> StringSQL Source # | |
unsafeShowSql :: ProjectableShowSql p => p a -> String Source #
Deprecated. Use Database.Relational.unsafeShowSql instead of this.
deprecated defintions about Pi
pfmap :: ProductConstructor (a -> b) => (a -> b) -> Pi r a -> Pi r b Source #
deprecated map definition for Pi type. use (|$|) instead of this.