https://github.com/justinwoo/purescript-jajanmen

Cool type-safe Symbol query parameterized helper for Node-SQLite3
https://github.com/justinwoo/purescript-jajanmen

purescript query sqlite3 type-level

Last synced: about 2 months ago
JSON representation

Cool type-safe Symbol query parameterized helper for Node-SQLite3

• Host: GitHub
• URL: https://github.com/justinwoo/purescript-jajanmen
• Owner: justinwoo
• License: mit
• Created: 2018-05-28T23:08:19.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-03-23T12:42:32.000Z (almost 6 years ago)
• Last Synced: 2024-10-11T23:44:39.627Z (2 months ago)
• Topics: purescript, query, sqlite3, type-level
• Language: PureScript
• Homepage:
• Size: 954 KB
• Stars: 7
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# PureScript-Jajanmen

Cool type-safe Symbol query parameterized helper for [Node-SQLite3](https://github.com/justinwoo/purescript-node-sqlite3).

![](https://i.imgur.com/bYe4UrU.jpg)

Because jajanmen is delicious, and my other library is called [Chanpon](https://github.com/justinwoo/purescript-chanpon).

See the post about this library here: 

See the talk about this library here: 

## Usage

First, prepare some queries:

```purs

-- inferred type:

getEm

  :: forall a b

   . J.AllowedParamType a

  => J.AllowedParamType b

  => SL.DBConnection

  -> { "$name" :: a, "$count" :: b }

  -> Aff Foreign

getEm db = J.queryDB db queryP

  where

    queryP = SProxy :: SProxy "select name, count from mytable where name = $name and count = $count"

-- inferred type:

getSomethin :: SL.DBConnection -> Aff Foreign

getSomethin db = J.queryDB db queryP params

  where

    queryP = SProxy :: SProxy "select name, count from mytable where name = $name and count = $count"

    params = { "$name": "asdf", "$count": 4 }

-- inferred type:

addSomethin

  :: forall a b

   . J.AllowedParamType a

  => J.AllowedParamType b

  => SL.DBConnection

  -> { "$name" :: a, "$count" :: b }

  -> Aff Foreign

addSomethin db params = J.queryDB db queryP params

  where

    queryP = SProxy :: SProxy "insert or replace into mytable (name, count) values ($name, $count)"

```

Then put it to work:

```purs

type MyRow = { name :: String, count :: Int }

main :: Effect Unit

main = launchAff_ do

  db <- SL.newDB "./test/testdb.sqlite"

  _ <- SL.queryDB db "create table if not exists mytable (name text, count int)" []

  _ <- SL.queryDB db "delete from mytable" []

  _ <- addSomethin db { "$name": "apples", "$count": 3 }

  _ <- addSomethin db { "$name": "asdf", "$count": 4 }

  f1 <- getEm db { "$name": "apples", "$count": 3 }

  testResult f1 [{ name: "apples", count: 3 }]

  f2 <- getSomethin db

  testResult f2 [{ name: "asdf", count: 4 }]

  log "tests passed"

  where

    testResult f expected =

      case JSON.read f of

        Left e -> throwError (error $ show e)

        Right (actual :: Array MyRow) -> assertEqual { actual, expected }

    assertEqual = liftEffect <<< Assert.assertEqual

```