From e5e5d246d0603e288ea249b5f78d2fb03ba179d8 Mon Sep 17 00:00:00 2001 From: Kei Hibino Date: Thu, 29 Aug 2013 21:36:22 +0900 Subject: [PATCH] Remove old unused definitions. --- .../src/Database/Relational/Query/Projectable.hs | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/relational-join/src/Database/Relational/Query/Projectable.hs b/relational-join/src/Database/Relational/Query/Projectable.hs index 8ae1a39e..6f20d298 100644 --- a/relational-join/src/Database/Relational/Query/Projectable.hs +++ b/relational-join/src/Database/Relational/Query/Projectable.hs @@ -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