relational-query-0.10.0.0: Typeful, Modular, Relational, algebraic query engine

Copyright2017 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

Database.Relational.Compat

Contents

Description

Deprecated: backward compatibility definitions relational-query <= 0.9.*

This module contains backward compatibility definitions of relational-query <= 0.9.*

Synopsis

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

Minimal complete definition

productConstructor

Methods

productConstructor :: c #

(|$|) :: ProductIsoFunctor f => forall a b. ProductConstructor (a -> b) => (a -> b) -> f a -> f b #

(|*|) :: 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.

Minimal complete definition

unsafeProjectSqlTerms

Methods

unsafeProjectSqlTerms :: [StringSQL] -> p t Source #

Unsafely project from SQL expression terms.

Instances

SqlContext c => SqlProjectable (Record c) Source #

Unsafely make Record from SQL terms.

class ProjectableShowSql p where Source #

Interface to get SQL expression from a record.

Minimal complete definition

unsafeShowSql'

Methods

unsafeShowSql' :: p a -> StringSQL Source #

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.

pap :: Pi r (a -> b) -> Pi r a -> Pi r b Source #

deprecated ap definition for Pi type. use (|*|) instead of this.

pzero :: Pi a () Source #

deprecated empty definition for Pi type. use pureE instead of this.