hasql-th (empty) → 0.1

raw patch · 9 files changed

+238/−0 lines, 9 filesdep +attoparsecdep +base-preludedep +bytestringsetup-changed

Dependencies added: attoparsec, base-prelude, bytestring, hasql, hasql-transaction, template-haskell, text

Files

• LICENSE +22/−0
• Setup.hs +2/−0
• hasql-th.cabal +64/−0
• library/Hasql/TH.hs +31/−0
• library/Hasql/TH/Parsers.hs +23/−0
• library/Hasql/TH/Prelude.hs +18/−0
• library/Hasql/TH/Queries.hs +14/−0
• library/Hasql/TH/Renderers.hs +48/−0
• library/Hasql/TH/Transactions.hs +16/−0

@@ -0,0 +1,22 @@+Copyright (c) 2015, Nikita Volkov++Permission is hereby granted, free of charge, to any person+obtaining a copy of this software and associated documentation+files (the "Software"), to deal in the Software without+restriction, including without limitation the rights to use,+copy, modify, merge, publish, distribute, sublicense, and/or sell+copies of the Software, and to permit persons to whom the+Software is furnished to do so, subject to the following+conditions:++The above copyright notice and this permission notice shall be+included in all copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES+OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT+HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,+WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING+FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR+OTHER DEALINGS IN THE SOFTWARE.

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,64 @@+name:+  hasql-th+version:+  0.1+category:+  Hasql, Database, PostgreSQL, Template Haskell+synopsis:+  Template Haskell utilities for Hasql+homepage:+  https://github.com/nikita-volkov/hasql-th +bug-reports:+  https://github.com/nikita-volkov/hasql-th/issues +author:+  Nikita Volkov <nikita.y.volkov@mail.ru>+maintainer:+  Nikita Volkov <nikita.y.volkov@mail.ru>+copyright:+  (c) 2015, Nikita Volkov+license:+  MIT+license-file:+  LICENSE+build-type:+  Simple+cabal-version:+  >=1.10+++source-repository head+  type:+    git+  location:+    git://github.com/nikita-volkov/hasql-th.git+++library+  hs-source-dirs:+    library+  ghc-options:+  default-extensions:+    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, ImpredicativeTypes, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples+  default-language:+    Haskell2010+  other-modules:+    Hasql.TH.Prelude+    Hasql.TH.Queries+    Hasql.TH.Transactions+    Hasql.TH.Parsers+    Hasql.TH.Renderers+  exposed-modules:+    Hasql.TH+  build-depends:+    -- database:+    hasql >= 0.15 && < 0.16,+    hasql-transaction >= 0.3 && < 0.4,+    -- template-haskell:+    template-haskell >= 2.8 && < 3,+    -- parsers:+    attoparsec >= 0.10 && < 0.14,+    -- data:+    bytestring >= 0.10 && < 0.11,+    text >= 1 && < 2,+    -- general:+    base-prelude >= 0.1.19 && < 0.2

@@ -0,0 +1,31 @@+module Hasql.TH where++import Hasql.TH.Prelude+import Language.Haskell.TH+import qualified Hasql.TH.Parsers as Parsers+import qualified Hasql.TH.Renderers as Renderers+import qualified Data.Text.IO+++-- |+-- Read an SQL-file, containing multiple statements,+-- and produce a transaction expression.+-- +-- Allows to store plain SQL in external files and read it at compile time.+-- +-- E.g.,+-- +-- >migration1 :: Transaction ()+-- >migration1 =+-- >  $(Hasql.TH.readFileAsTransaction "sql/migration-1.sql")+-- +readFileAsTransaction :: String -> Q Exp+readFileAsTransaction path =+  do+    contents <-+      runIO $ Data.Text.IO.readFile path+    statements <- +      either (fail . showString ("Parsing failure: ")) return $+      Parsers.run Parsers.statements contents+    return $+      Renderers.statementsTransactionExp statements

@@ -0,0 +1,23 @@+module Hasql.TH.Parsers where++import Hasql.TH.Prelude+import Data.Attoparsec.Text+import qualified Data.Text.Encoding+++run :: Parser a -> Text -> Either String a+run parser input =+  parseOnly parser input++statements :: Parser [ByteString]+statements =+  sepBy' statement separator+  where+    separator =+      char ';' *> skipSpace++statement :: Parser ByteString+statement =+  fmap Data.Text.Encoding.encodeUtf8 $+  takeWhile1 (/= ';')+

@@ -0,0 +1,18 @@+module Hasql.TH.Prelude+( +  module Exports,+)+where+++-- base-prelude+-------------------------+import BasePrelude as Exports hiding (assert, left, right, isLeft, isRight, error)++-- bytestring+-------------------------+import Data.ByteString as Exports (ByteString)++-- text+-------------------------+import Data.Text as Exports (Text)

@@ -0,0 +1,14 @@+module Hasql.TH.Queries where++import Hasql.TH.Prelude+import Hasql.Query+import qualified Hasql.Encoders as Encoders+import qualified Hasql.Decoders as Decoders+++statement :: ByteString -> Query () ()+statement sql =+  Query sql Encoders.unit Decoders.unit False+++

@@ -0,0 +1,48 @@+module Hasql.TH.Renderers where++import Hasql.TH.Prelude+import Language.Haskell.TH+import qualified Hasql.Transaction as Transaction+import qualified Hasql.TH.Transactions as Transactions+import qualified Data.ByteString as ByteString+++statementsTransactionExp :: [ByteString] -> Exp+statementsTransactionExp x =+  sequenceExp_ (map statementTransactionExp x)++statementTransactionExp :: ByteString -> Exp+statementTransactionExp x =+  AppE (VarE 'Transactions.statement) (byteStringExp x)++byteStringExp :: ByteString -> Exp+byteStringExp x =+  AppE (VarE 'ByteString.pack) (listExp integralExp (ByteString.unpack x))++integralExp :: Integral a => a -> Exp+integralExp x =+  LitE (IntegerL (fromIntegral x))++listExp :: (a -> Exp) -> [a] -> Exp+listExp renderer x =+  ListE (map renderer x)++stringExp :: String -> Exp+stringExp x =+  LitE (StringL x)++charExp :: Char -> Exp+charExp x =+  LitE (CharL x)++sequenceExp_ :: [Exp] -> Exp+sequenceExp_ =+  foldl' andThenExp pureExp_++pureExp_ :: Exp+pureExp_ =+  AppE (VarE 'pure) (TupE [])++andThenExp :: Exp -> Exp -> Exp+andThenExp exp1 exp2 =+  AppE (AppE (VarE '(*>)) exp1) exp2

@@ -0,0 +1,16 @@+module Hasql.TH.Transactions where++import Hasql.TH.Prelude+import Hasql.Transaction+import qualified Hasql.TH.Queries as Queries+import qualified Data.ByteString+++statement :: ByteString -> Transaction ()+statement sql =+  query () (Queries.statement sql)++statements :: ByteString -> Transaction ()+statements =+  traverse_ statement .+  Data.ByteString.split (fromIntegral (ord ';'))