Commit Graph

22 Commits

Author SHA1 Message Date
Eitan Chatav
ba71252348 git hash 2019-09-23 18:57:24 -07:00
Eitan Chatav
ce3e31da2c hash
and move exports
2019-09-16 22:42:57 -07:00
Eitan Chatav
cffa382f75 factor out free categories 2019-09-16 20:11:49 -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
b82ac4f6d1 0.5.1.0 2019-06-18 14:12:19 -07:00
ChShersh
9f5cfb1e20
[#109] Move from MonadBase and MonadBaseControl to MonadIO and MonadUnliftIO
Resolves #109
2019-03-25 12:52:50 +08:00
Eitan Chatav
e1c115e68c lts 2019-02-19 10:55:30 -08:00
Eitan Chatav
3b65e8f8e3 stack & cabal
and RowType in composite
2018-09-05 16:12:17 -07:00
Eitan Chatav
7ce2cb7852 didn't quite make it 2018-07-11 15:58:58 -07:00
Eitan Chatav
c79b77da6f circle & stack 2018-06-25 08:54:33 -07:00
Eitan Chatav
55374089f0 cabal & stack yaml 2018-06-22 20:02:09 -07:00
Eitan Chatav
19f38e9056 caba stack circle 2018-03-24 17:31:08 -07:00
Eitan Chatav
341d010012 add and drop constraints
and lose type level sets
2017-12-24 12:39:56 -08:00
Eitan Chatav
687faef5d5 rejigger constraints a bit 2017-12-23 18:50:53 -08:00
Eitan Chatav
29b120677b Revert "start on constraints"
This reverts commit 15ea7767b0.
2017-11-05 13:24:02 -08:00
Eitan Chatav
15ea7767b0 start on constraints
* `:=>` type level constraints + ty pairing, intended to connote Haskell's `=>`

* `ColumnConstraint` kind. A given column may have a DEFAULT value, no repeat values in different rows, or it might refer to the same value in another table's column.
2017-11-05 13:20:42 -08:00
Eitan Chatav
ee65456c02 version constraints 2017-08-28 10:11:32 -07:00
Eitan Chatav
7c8fe2dd72 ghc-8.2.1 2017-08-15 15:39:04 -07:00
Eitan Chatav
5b7868580e squeel ~> squeal 2017-08-14 14:27:52 -07:00
Eitan Chatav
8571e213a3 updates, fix binary issue 2017-06-26 13:34:54 -07:00
Eitan Chatav
86791754b4 initial work
* Connection & PQ types
* Query type
* PGType kind
* Value constraints
2017-01-30 18:58:27 -08:00
Eitan Chatav
f34e0fbe3c initial project skeleton 2017-01-19 21:02:56 -08:00