git.iko.soy/rowtype-yoga/purescript-yoga-postgres
on v0.3.0 help sign in
rowtype-yoga/purescript-yoga-postgres/compile-fail-tests/DoubleWhere.purs
20 lines 476 B history raw
1-- EXPECT: Lacks
2module Test.CompileFail.DoubleWhere where
4import Prelude
5import Data.Maybe (Maybe(..))
6import Type.Function (type (#))
7import Type.Proxy (Proxy(..))
8import Yoga.Postgres.Schema
10type UsersTable = Table "users"
11 ( id :: Int # PrimaryKey # AutoIncrement
12 , name :: String
13 , email :: String # Unique
14 , age :: Maybe Int
15 )
17usersTable :: Proxy UsersTable
18usersTable = Proxy
20bad = from usersTable # selectAll # where_ @"id = $id" # where_ @"name = $name"