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

Copyright	2013-2019 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Relational.Pi.Unsafe

Contents

Projection path
Deprecated

Description

This module defines typed projection path objects. Contains internal structure and unsafe interfaces.

Synopsis

data Pi r0 r1
width' :: PersistableWidth r => Pi r ct -> PersistableRecordWidth ct
width :: PersistableWidth r => Pi r a -> Int
(<.>) :: Pi a b -> Pi b c -> Pi a c
(<?.>) :: Pi a (Maybe b) -> Pi b c -> Pi a (Maybe c)
(<?.?>) :: Pi a (Maybe b) -> Pi b (Maybe c) -> Pi a (Maybe c)
pi :: PersistableRecordWidth r0 -> Pi r0 r1 -> [a] -> [a]
definePi :: PersistableWidth r1 => Int -> Pi r0 r1
defineDirectPi' :: PersistableRecordWidth r1 -> [Int] -> Pi r0 r1
defineDirectPi :: PersistableWidth r1 => [Int] -> Pi r0 r1
expandIndexes' :: PersistableRecordWidth a -> Pi a b -> [Int]
expandIndexes :: PersistableWidth a => Pi a b -> [Int]
unsafeExpandIndexes' :: PersistableRecordWidth a -> Pi a b -> [Int]
unsafeExpandIndexes :: PersistableWidth a => Pi a b -> [Int]

Projection path

data Pi r0 r1 Source #

Projection path from type r0 into type r1. This type also indicate key object which type is r1 for record type r0.

Instances

Instances details

Category Pi Source #
Instance details Defined in Database.Relational.Pi.Unsafe Methods id :: forall (a :: k). Pi a a # (.) :: forall (b :: k) (c :: k) (a :: k). Pi b c -> Pi a b -> Pi a c #
HasProjection l a b => IsLabel l (Pi a b) Source #	Derive `IsLabel` instance from `HasProjection`.
Instance details Defined in Database.Relational.OverloadedProjection Methods fromLabel :: Pi a b #
ProductIsoApplicative (Pi a) Source #	Compose projection path `Pi` which has record result type using applicative style.
Instance details Defined in Database.Relational.Pi.Unsafe Methods pureP :: ProductConstructor a0 => a0 -> Pi a a0 # (\|*\|) :: Pi a (a0 -> b) -> Pi a a0 -> Pi a b #
ProductIsoFunctor (Pi a) Source #	Map projection path `Pi` which has record result type.
Instance details Defined in Database.Relational.Pi.Unsafe Methods (\|$\|) :: ProductConstructor (a0 -> b) => (a0 -> b) -> Pi a a0 -> Pi a b #
ProductIsoEmpty (Pi a) () Source #
Instance details Defined in Database.Relational.Pi.Unsafe Methods pureE :: Pi a () # peRight :: Pi a (a0, ()) -> Pi a a0 # peLeft :: Pi a ((), a0) -> Pi a a0 #
PersistableWidth r0 => Show (Pi r0 r1) Source #
Instance details Defined in Database.Relational.Pi.Unsafe Methods showsPrec :: Int -> Pi r0 r1 -> ShowS # show :: Pi r0 r1 -> String # showList :: [Pi r0 r1] -> ShowS #

width' :: PersistableWidth r => Pi r ct -> PersistableRecordWidth ct Source #

Get record width proof object.

width :: PersistableWidth r => Pi r a -> Int Source #

Get record width.

(<.>) :: Pi a b -> Pi b c -> Pi a c infixl 8 Source #

Compose projection path.

(<?.>) :: Pi a (Maybe b) -> Pi b c -> Pi a (Maybe c) infixl 8 Source #

Compose projection path. Maybe phantom functor is map-ed.

(<?.?>) :: Pi a (Maybe b) -> Pi b (Maybe c) -> Pi a (Maybe c) infixl 8 Source #

Compose projection path. Maybe phantom functors are join-ed like >=>.

pi :: PersistableRecordWidth r0 -> Pi r0 r1 -> [a] -> [a] Source #

Unsafely project untyped value list.

definePi Source #

Arguments

:: PersistableWidth r1
=> Int	Index of flat SQL value list
-> Pi r0 r1	Result projection path

Unsafely define projection path from type r0 into type r1. Use inferred PersistableRecordWidth.

defineDirectPi' Source #

Arguments

:: PersistableRecordWidth r1
-> [Int]	Indexes of flat SQL value list
-> Pi r0 r1	Result projection path

Unsafely define projection path from type r0 into type r1.

defineDirectPi Source #

Arguments

:: PersistableWidth r1
=> [Int]	Indexes of flat SQL value list
-> Pi r0 r1	Result projection path

Unsafely define projection path from type r0 into type r1. Use inferred PersistableRecordWidth.

expandIndexes' :: PersistableRecordWidth a -> Pi a b -> [Int] Source #

Expand indexes from key.

expandIndexes :: PersistableWidth a => Pi a b -> [Int] Source #

Expand indexes from key. Inferred width version.

Deprecated

unsafeExpandIndexes' :: PersistableRecordWidth a -> Pi a b -> [Int] Source #

Deprecated: Use expandIndexes' instead of this.

unsafeExpandIndexes :: PersistableWidth a => Pi a b -> [Int] Source #

Deprecated: use expandIndexes instead of this.