ilyakooo0/squeal
1
0
Fork 0
mirror of https://github.com/ilyakooo0/squeal.git synced 2024-09-11 13:57:29 +03:00
Code Issues Projects Releases Wiki Activity
1,104 Commits 7 Branches 0 Tags 3 MiB
dev
Commit Graph

1104 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eitan Chatav
4a6ab0481c haddock 2019-09-02 11:45:25 -07:00
Eitan Chatav
c79185d9d4 delete a line 2019-09-02 11:42:35 -07:00
Eitan Chatav
6be23e22b5 setof and more 2019-09-02 11:40:41 -07:00
Eitan Chatav
79e6b1ca80 types 2019-09-02 10:41:03 -07:00
Eitan Chatav
ea86c4cc17 languageSql 
and other things
 2019-09-02 10:39:25 -07:00
Eitan Chatav
70f2f10490 Merge branch 'dev' into dev-fun 2019-09-02 09:46:06 -07:00
Eitan Chatav
f29788f29a
Merge pull request #145 from morphismtech/dev-index 
Indexes
 2019-09-02 09:45:42 -07:00
Eitan Chatav
121553e511 fix parenthesization of indexes 2019-09-02 09:33:48 -07:00
Eitan Chatav
22fb78f753 more operators and functions 
and create or replace functions
 2019-09-02 09:21:04 -07:00
Eitan Chatav
68393ec248 drop function 2019-08-30 15:45:33 -07:00
Eitan Chatav
20cad4139f functions 2019-08-30 15:27:44 -07:00
Eitan Chatav
f57b03b0bd Merge branch 'dev' into dev-index 2019-08-30 14:56:39 -07:00
Eitan Chatav
75661c1a26
Merge pull request #141 from morphismtech/dev-oid 
OIDs
 2019-08-30 14:55:33 -07:00
Eitan Chatav
4149bd1580 drop index 2019-08-30 14:18:16 -07:00
Eitan Chatav
53523c5e7c index method 
and haddocks
 2019-08-30 14:11:30 -07:00
Eitan Chatav
d641873800 indexes 
and range doctest
 2019-08-30 13:43:29 -07:00
Eitan Chatav
008b288632 simpler doctest 2019-08-28 13:51:30 -07:00
Eitan Chatav
913536a1ec fix merge bug 2019-08-28 13:38:56 -07:00
Eitan Chatav
bb711e6d6b Merge branch 'dev' into dev-oid-merge 2019-08-28 13:38:09 -07:00
Eitan Chatav
79968042b3
Merge pull request #140 from morphismtech/dev-range 
Range types, operators and functions
 2019-08-28 13:31:42 -07:00
Eitan Chatav
af6826bf11 check sequentially for now 2019-08-28 12:45:15 -07:00
Eitan Chatav
dac1fa6150 rename tests and executable 
and comment out some tests
 2019-08-28 12:41:44 -07:00
Eitan Chatav
f94cce2644 disintegrate test suites 2019-08-28 11:29:37 -07:00
Eitan Chatav
65893e08bb Update Property.hs 2019-08-26 11:44:15 -07:00
Eitan Chatav
1afd17c391 time and time range tests 2019-08-21 16:29:43 -07:00
Eitan Chatav
78d8e0b32f Merge branch 'dev' into dev-range 2019-08-21 13:30:11 -07:00
Eitan Chatav
842fa5060b Merge branch 'dev' into dev-oid 2019-08-21 13:29:52 -07:00
Eitan Chatav
1b21626afc
Merge pull request #144 from morphismtech/dev-haddocks 
fix docs
 2019-08-21 13:27:29 -07:00
Eitan Chatav
4e44a3af7c fix docs 
and some extraneous constraints
 2019-08-21 12:49:12 -07:00
Eitan Chatav
5ae6708c65 fix test 2019-08-21 12:13:29 -07:00
Eitan Chatav
163dca82d5 Oid newtype 2019-08-21 11:43:06 -07:00
Eitan Chatav
5657b81dd2
Merge pull request #143 from league/domain-alias 
Fix alias type variable in createDomain
 2019-08-21 09:34:27 -07:00
Christopher League
2de32fba42 Correct alias constraint on createDomain; fixes #142 2019-08-21 11:30:22 -04:00
Christopher League
c135984cda Add non-compiling createDomain to Example program 
This fails type-checking, but it should work.
 2019-08-21 11:29:17 -04:00
Eitan Chatav
f0f3e4f653 oid 2019-08-15 13:19:51 -04:00
Eitan Chatav
e2abe3d03e range tests 2019-07-22 13:01:25 -04:00
Eitan Chatav
54d2f033df range binary 2019-07-22 11:15:43 -04:00
Eitan Chatav
cd2e14eb78 url 2019-07-16 14:25:02 -04:00
Eitan Chatav
2f6c226867 failing tests 2019-07-16 14:24:12 -04:00
Eitan Chatav
8a3e90afb9 tests! 2019-07-16 13:15:56 -04:00
Eitan Chatav
9a2cd8d159 operator renaming 2019-07-16 12:37:04 -04:00
Eitan Chatav
510539617f test changes 2019-07-15 09:17:40 -07:00
Eitan Chatav
1e3cf9f272 binary tests 
binary tests for some basic types. I will need such tests for range types. Later I will need this to be exhaustive over all pg types.
 2019-07-14 20:05:12 -07:00
Eitan Chatav
0980480a7a rejigger ADTs 
no impossible state!
 2019-07-12 11:50:12 -07:00
Eitan Chatav
5b1f4252bc undo 2019-07-12 09:15:25 -07:00
Eitan Chatav
ffed04248b type empty ranges 2019-07-11 19:42:38 -07:00
Eitan Chatav
84df501be6 range operators & functions 2019-07-11 18:58:45 -07:00
Eitan Chatav
d6ad73f4c3 greaterThan ~> moreThan 2019-07-11 17:19:49 -07:00
Eitan Chatav
466adc763c fix test 2019-07-11 13:21:41 -07:00
Eitan Chatav
df5a08abc5 rename half interval constructors 2019-07-11 12:59:47 -07:00