Skip to content

Commit b5c3da9

Browse files
committed
Update go snaps
1 parent 8528f23 commit b5c3da9

2 files changed

Lines changed: 316 additions & 0 deletions

File tree

Lines changed: 281 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,281 @@
1+
(transaction
2+
(configure
3+
{ :ivm.maintenance_level "off"
4+
:semantics_version 0})
5+
(epoch
6+
(writes
7+
(define
8+
(fragment :f1
9+
(def :users
10+
([id::INT name::STRING score::FLOAT]
11+
(or
12+
(and
13+
(primitive :rel_primitive_eq id 100)
14+
(primitive :rel_primitive_eq name "Alice")
15+
(primitive :rel_primitive_eq score 95.5))
16+
(and
17+
(primitive :rel_primitive_eq id 200)
18+
(primitive :rel_primitive_eq name "Bob")
19+
(primitive :rel_primitive_eq score 87.3)))))
20+
(def :products
21+
([id::INT name::STRING price::(DECIMAL 10 2) active::BOOLEAN]
22+
(or
23+
(and
24+
(primitive :rel_primitive_eq id 1)
25+
(primitive :rel_primitive_eq name "Widget")
26+
(primitive :rel_primitive_eq price 19.99)
27+
(primitive :rel_primitive_eq active true))
28+
(and
29+
(primitive :rel_primitive_eq id 2)
30+
(primitive :rel_primitive_eq name "Gadget")
31+
(primitive :rel_primitive_eq price 29.5)
32+
(primitive :rel_primitive_eq active false)))))
33+
(def :events
34+
([event_id::INT timestamp::DATETIME description::STRING]
35+
(or
36+
(and
37+
(primitive :rel_primitive_eq event_id 1)
38+
(primitive :rel_primitive_eq timestamp (datetime 2025 1 1 10 30 0 0))
39+
(primitive :rel_primitive_eq description "Start"))
40+
(and
41+
(primitive :rel_primitive_eq event_id 2)
42+
(primitive :rel_primitive_eq timestamp (datetime 2025 1 2 14 45 0 0))
43+
(primitive :rel_primitive_eq description "End")))))
44+
(def :simple
45+
([key::STRING value::INT]
46+
(or
47+
(and
48+
(primitive :rel_primitive_eq key "a")
49+
(primitive :rel_primitive_eq value 1))
50+
(and
51+
(primitive :rel_primitive_eq key "b")
52+
(primitive :rel_primitive_eq value 2)))))
53+
(def :names
54+
([name::STRING]
55+
(or
56+
(primitive :rel_primitive_eq name "Alice")
57+
(primitive :rel_primitive_eq name "Bob")
58+
(primitive :rel_primitive_eq name "Carol"))))
59+
(def :col_id
60+
([row::INT v::INT]
61+
(or
62+
(and
63+
(primitive :rel_primitive_eq row 1)
64+
(primitive :rel_primitive_eq v 100))
65+
(and
66+
(primitive :rel_primitive_eq row 2)
67+
(primitive :rel_primitive_eq v 200))
68+
(and
69+
(primitive :rel_primitive_eq row 3)
70+
(primitive :rel_primitive_eq v 300)))))
71+
(def :col_name
72+
([row::INT v::STRING]
73+
(or
74+
(and
75+
(primitive :rel_primitive_eq row 1)
76+
(primitive :rel_primitive_eq v "Alice"))
77+
(and
78+
(primitive :rel_primitive_eq row 2)
79+
(primitive :rel_primitive_eq v "Bob"))
80+
(and
81+
(primitive :rel_primitive_eq row 3)
82+
(primitive :rel_primitive_eq v "Carol")))))
83+
(def :col_score
84+
([row::INT v::FLOAT]
85+
(or
86+
(and
87+
(primitive :rel_primitive_eq row 1)
88+
(primitive :rel_primitive_eq v 95.5))
89+
(and
90+
(primitive :rel_primitive_eq row 2)
91+
(primitive :rel_primitive_eq v 87.3))
92+
(and
93+
(primitive :rel_primitive_eq row 3)
94+
(primitive :rel_primitive_eq v 92.0)))))
95+
(def :col_active
96+
([row::INT v::BOOLEAN]
97+
(or
98+
(and
99+
(primitive :rel_primitive_eq row 1)
100+
(primitive :rel_primitive_eq v true))
101+
(and
102+
(primitive :rel_primitive_eq row 2)
103+
(primitive :rel_primitive_eq v false))
104+
(and
105+
(primitive :rel_primitive_eq row 3)
106+
(primitive :rel_primitive_eq v true))))))))
107+
(reads
108+
(export
109+
(export_csv_config_v2
110+
(path "users_basic.csv")
111+
(table_def
112+
:users)
113+
(csv_config
114+
{ :csv_compression "auto"
115+
:csv_decimal_separator "."
116+
:csv_delimiter ","
117+
:csv_encoding "utf-8"
118+
:csv_escapechar "\""
119+
:csv_header_row 1
120+
:csv_quotechar "\""
121+
:csv_skip 0})))
122+
(export
123+
(export_csv_config_v2
124+
(path "users_pipe.csv")
125+
(table_def
126+
:users)
127+
(csv_config
128+
{ :csv_compression "auto"
129+
:csv_decimal_separator "."
130+
:csv_delimiter "|"
131+
:csv_encoding "utf-8"
132+
:csv_escapechar "\\"
133+
:csv_header_row 1
134+
:csv_quotechar "\""
135+
:csv_skip 0})))
136+
(export
137+
(export_csv_config_v2
138+
(path "users_compressed.csv.gz")
139+
(table_def
140+
:users)
141+
(csv_config
142+
{ :csv_compression "gzip"
143+
:csv_decimal_separator "."
144+
:csv_delimiter ","
145+
:csv_encoding "utf-8"
146+
:csv_escapechar "\\"
147+
:csv_header_row 1
148+
:csv_partition_size_mb 1000
149+
:csv_quotechar "\""
150+
:csv_skip 0})))
151+
(export
152+
(export_csv_config_v2
153+
(path "products.csv")
154+
(table_def
155+
:products)
156+
(csv_config
157+
{ :csv_compression "auto"
158+
:csv_decimal_separator "."
159+
:csv_delimiter ","
160+
:csv_encoding "utf-8"
161+
:csv_escapechar "\\"
162+
:csv_header_row 1
163+
:csv_quotechar "\""
164+
:csv_skip 0})))
165+
(export
166+
(export_csv_config_v2
167+
(path "events.csv")
168+
(table_def
169+
:events)
170+
(csv_config
171+
{ :csv_compression "auto"
172+
:csv_decimal_separator "."
173+
:csv_delimiter ","
174+
:csv_encoding "utf-8"
175+
:csv_escapechar "\\"
176+
:csv_header_row 1
177+
:csv_quotechar "\""
178+
:csv_skip 0})))
179+
(export
180+
(export_csv_config_v2
181+
(path "users.tsv")
182+
(table_def
183+
:users)
184+
(csv_config
185+
{ :csv_compression "auto"
186+
:csv_decimal_separator "."
187+
:csv_delimiter "\t"
188+
:csv_encoding "utf-8"
189+
:csv_escapechar "\\"
190+
:csv_header_row 1
191+
:csv_quotechar "\""
192+
:csv_skip 0})))
193+
(export
194+
(export_csv_config_v2
195+
(path "simple_no_header.csv")
196+
(table_def
197+
:simple)
198+
(csv_config
199+
{ :csv_compression "auto"
200+
:csv_decimal_separator "."
201+
:csv_delimiter ","
202+
:csv_encoding "utf-8"
203+
:csv_escapechar "\\"
204+
:csv_header_row 0
205+
:csv_quotechar "\""
206+
:csv_skip 0})))
207+
(export
208+
(export_csv_config_v2
209+
(path "names_only.csv")
210+
(table_def
211+
:names)
212+
(csv_config
213+
{ :csv_compression "auto"
214+
:csv_decimal_separator "."
215+
:csv_delimiter ","
216+
:csv_encoding "utf-8"
217+
:csv_escapechar "\""
218+
:csv_header_row 1
219+
:csv_quotechar "\""
220+
:csv_skip 0})))
221+
(export
222+
(export_csv_config_v2
223+
(path "gnf_all_columns.csv")
224+
(gnf_columns
225+
(column "id" :col_id)
226+
(column "name" :col_name)
227+
(column "score" :col_score)
228+
(column "active" :col_active))
229+
(csv_config
230+
{ :csv_compression "auto"
231+
:csv_decimal_separator "."
232+
:csv_delimiter ","
233+
:csv_encoding "utf-8"
234+
:csv_escapechar "\\"
235+
:csv_header_row 1
236+
:csv_quotechar "\""
237+
:csv_skip 0})))
238+
(export
239+
(export_csv_config_v2
240+
(path "gnf_subset.csv")
241+
(gnf_columns
242+
(column "user_id" :col_id)
243+
(column "user_name" :col_name))
244+
(csv_config
245+
{ :csv_compression "auto"
246+
:csv_decimal_separator "."
247+
:csv_delimiter ","
248+
:csv_encoding "utf-8"
249+
:csv_escapechar "\\"
250+
:csv_header_row 1
251+
:csv_quotechar "\""
252+
:csv_skip 0})))
253+
(export
254+
(export_csv_config_v2
255+
(path "gnf_custom.csv.gz")
256+
(gnf_columns
257+
(column "id" :col_id)
258+
(column "score" :col_score))
259+
(csv_config
260+
{ :csv_compression "auto"
261+
:csv_decimal_separator "."
262+
:csv_delimiter ","
263+
:csv_encoding "utf-8"
264+
:csv_escapechar "\""
265+
:csv_header_row 1
266+
:csv_quotechar "\""
267+
:csv_skip 0})))
268+
(export
269+
(export_csv_config_v2
270+
(path "gnf_single.csv")
271+
(gnf_columns
272+
(column "score" :col_score))
273+
(csv_config
274+
{ :csv_compression "auto"
275+
:csv_decimal_separator "."
276+
:csv_delimiter ","
277+
:csv_encoding "utf-8"
278+
:csv_escapechar "\""
279+
:csv_header_row 1
280+
:csv_quotechar "\""
281+
:csv_skip 0}))))))
Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
(transaction
2+
(configure
3+
{ :ivm.maintenance_level "off"
4+
:semantics_version 0})
5+
(epoch
6+
(writes
7+
(define
8+
(fragment :f1
9+
(def :my_table
10+
([col1::INT col2::STRING]
11+
(or
12+
(and
13+
(primitive :rel_primitive_eq col1 1)
14+
(primitive :rel_primitive_eq col2 "hello"))
15+
(and
16+
(primitive :rel_primitive_eq col1 2)
17+
(primitive :rel_primitive_eq col2 "world"))))
18+
(attrs
19+
(attribute :csv_export))))))
20+
(reads
21+
(export
22+
(export_csv_config_v2
23+
(path "output.csv")
24+
(table_def
25+
:my_table)
26+
(csv_config
27+
{ :csv_compression ""
28+
:csv_decimal_separator "."
29+
:csv_delimiter ","
30+
:csv_encoding "utf-8"
31+
:csv_escapechar "\\"
32+
:csv_header_row 1
33+
:csv_partition_size_mb 10
34+
:csv_quotechar "\""
35+
:csv_skip 0}))))))

0 commit comments

Comments
 (0)