module Test where

import qualified Prelude
import Prelude hiding ( (==), (/=), (<), (<=), (>), (>=) )

import Database.Squiggle.Types

table_foo :: Query (Bool, Int)
table_foo = table (Nothing, "foo") (field "a", field "b")

table_bar :: Query (Int, Bool, Bool)
table_bar = table (Nothing, "bar") (field "d", field "e", field "f")

query_test :: Query (Bool, Bool)
query_test = project (\ ((a, b), (d, e, f)) -> (a, f)) (join (\ (a, b) (d, e, f) -> b == d) table_foo table_bar)