khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-12-14 22:32:07 +03:00
Code Issues Projects Releases Wiki Activity

Remove old unused definitions.

Browse Source
This commit is contained in:
Kei Hibino 2013-08-29 21:36:22 +09:00
parent b987c95055
commit e5e5d246d0
1 changed files with 0 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
relational-join/src/Database/Relational/Query/Projectable.hs
View File

@ -11,7 +11,6 @@
module Database.Relational.Query.Projectable (
-- * Conversion between individual Projections
expr,
-- ProjectablePi (pi, piMaybe, piMaybe'),
-- * Projectable from SQL strings
SqlProjectable (unsafeProjectSqlTerms), unsafeProjectSql,
@ -96,21 +95,6 @@ exprOfProjection = UnsafeExpr.Expr . sqlStringOfProjection
expr :: Projection p a -> Expr p a
expr = exprOfProjection
-- | Projection interface.
class ProjectablePi p where
-- | Trace projection path 'Pi' to get narrower projection type 'p'.
pi :: p a -> Pi a b -> p b
-- | Trace projection path 'Pi' to get narrower projection type 'p'. From 'Maybe' type to 'Maybe' type.
piMaybe :: p (Maybe a) -> Pi a b -> p (Maybe b)
-- | Trace projection path 'Pi' to get narrower projection type 'p'.From 'Maybe' type to 'Maybe' type.
-- Leaf type of projection path is 'Maybe'.
piMaybe' :: p (Maybe a) -> Pi a (Maybe b) -> p (Maybe b)
instance ProjectablePi (Projection c) where
pi = Projection.pi
piMaybe = Projection.piMaybe
piMaybe' = Projection.piMaybe'
-- | Unsafely generate 'Projection' from SQL expression strings.
unsafeSqlTermsProjection :: [String] -> Projection c t