Copyright | 2017 Kei Hibino |
---|---|
License | BSD3 |
Maintainer | ex8k.hibino@gmail.com |
Stability | experimental |
Portability | unknown |
Safe Haskell | None |
Language | Haskell2010 |
Deprecated: backward compatibility definitions relational-query <= 0.9.*
This module contains backward compatibility definitions of relational-query <= 0.9.*
- type Projection = Record
- type ListProjection = RecordList
- class ProductConstructor c where
- type ProjectableFunctor = ProductIsoFunctor
- (|$|) :: ProductIsoFunctor f => forall a b. ProductConstructor (a -> b) => (a -> b) -> f a -> f b
- type ProjectableApplicative = ProductIsoApplicative
- (|*|) :: ProductIsoApplicative f => forall a b. 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
- unsafeProjectSql :: SqlProjectable p => String -> p a
- class ProjectableShowSql p where
- 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
productConstructor :: c #
type ProjectableFunctor = ProductIsoFunctor Source #
deprecated ProjectableFunctor
class replaced by ProductIsoFunctor
class.
(|$|) :: ProductIsoFunctor f => forall a b. ProductConstructor (a -> b) => (a -> b) -> f a -> f b #
type ProjectableApplicative = ProductIsoApplicative Source #
deprecated ProjectableApplicative
class replaced by ProductIsoApplicative
class.
(|*|) :: ProductIsoApplicative f => forall a b. f (a -> b) -> f a -> f b #
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.
unsafeProjectSqlTerms :: [StringSQL] -> p t Source #
Unsafely project from SQL expression terms.
SqlContext c => SqlProjectable (Record c) Source # | Unsafely make |
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.
unsafeShowSql' :: p 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.