Rob Rix
|
a58463007e
|
Derive a Generic instance for Category.
|
2016-06-23 09:55:43 -04:00 |
|
Rob Rix
|
10b424cd47
|
Add an Error category.
|
2016-06-03 18:37:40 -04:00 |
|
Rob Rix
|
83b57fc643
|
Add a Category for the top-level scope.
|
2016-06-03 18:34:42 -04:00 |
|
Rob Rix
|
038bde4aaa
|
Reformat to line Category constructors up.
This reverts commit 5ce35d2a39ff6b83abd19d0d9476cc75922a36fe.
|
2016-06-03 18:32:21 -04:00 |
|
Rob Rix
|
7802d4916c
|
🔥 FlexibleInstances & RecordWildCards pragmas.
|
2016-06-03 16:02:06 -04:00 |
|
Rob Rix
|
43757e8a61
|
🔥 Categorizable.
This reverts commit be59b0c161362baae63308478177819828be7e1b.
|
2016-06-02 19:10:41 -04:00 |
|
joshvera
|
9ef2745944
|
Replace comparable with (==) category
|
2016-05-31 16:58:57 -04:00 |
|
joshvera
|
0244e9a929
|
Store a category in Info instead of a Set
|
2016-05-31 16:13:01 -04:00 |
|
joshvera
|
473ec980b1
|
Merge remote-tracking branch 'origin/master' into diff-summaries
|
2016-05-26 13:40:54 -04:00 |
|
joshvera
|
8180b37285
|
Use Protolude via the Prologue module and add NoImplicitPrelude
|
2016-05-26 12:58:04 -04:00 |
|
joshvera
|
48c7498ce2
|
Define Term in terms of Cofree
|
2016-05-04 14:37:24 -04:00 |
|
joshvera
|
6c07d4dc55
|
WIP CofreeF
|
2016-05-03 12:17:38 -04:00 |
|
Rob Rix
|
b29fc796b7
|
Add an ArrayLiteral category.
|
2016-03-02 23:01:46 -05:00 |
|
Rob Rix
|
d52a9d79b1
|
Add Category constructors for integer/string/symbol literals.
|
2016-02-24 13:47:53 -07:00 |
|
Rob Rix
|
ebc12c9919
|
Add a Pair constructor.
|
2016-02-13 21:01:52 -05:00 |
|
Matt Diephouse
|
eb51a2b87e
|
Add a binary operator category
|
2016-02-05 16:59:38 -05:00 |
|
Matt Diephouse
|
9e2ccc0924
|
Add a function call category
|
2016-02-05 16:54:08 -05:00 |
|
Matt Diephouse
|
611edbb783
|
Give Categorizables actual Categorys
|
2016-02-05 13:48:13 -05:00 |
|
Matt Diephouse
|
8bbda1884d
|
Category should derive Ord
|
2016-02-04 16:47:33 -05:00 |
|
Matt Diephouse
|
8df205c10e
|
Category should derive Show
|
2016-02-04 16:43:05 -05:00 |
|
Matt Diephouse
|
a13053c960
|
Add a Category type
|
2016-02-04 16:35:42 -05:00 |
|
Matt Diephouse
|
170b7c6e1e
|
Rename Categorizable module to Category
|
2016-02-04 13:59:33 -05:00 |
|