Patrick Thomson
589524b21e
add fixtures for testing
2019-01-10 16:05:11 -05:00
Patrick Thomson
f750f2952a
Remove 'both' function.
2019-01-10 15:53:15 -05:00
Patrick Thomson
8140b8ef9d
Merge remote-tracking branch 'origin/master' into simplify-both
2019-01-10 13:54:04 -05:00
Patrick Thomson
742d7caf95
Merge pull request #2328 from github/bump-submodules-2019-01-08
...
Bump proto3-suite version and remove unneeded dependency.
2019-01-10 13:23:05 -05:00
Josh Vera
d4e9ab09a9
Merge pull request #2326 from github/add-hydro-data-types
...
Add data types for Kafka event messages.
2019-01-10 13:16:52 -05:00
Rob Rix
77b8e617c5
Merge branch 'master' into bump-submodules-2019-01-08
2019-01-10 09:20:47 -05:00
Rob Rix
dd4fbcbbb2
Merge branch 'master' into simplify-both
2019-01-10 09:10:16 -05:00
Ayman Nadeem
48c32ce4b6
update Evaluatable to disambiguate
2019-01-09 20:40:06 -05:00
Ayman Nadeem
7b1fdcb34f
Add initial working but ugly carrier instance for Array in type domain
2019-01-09 20:39:48 -05:00
Ayman Nadeem
a14fcccd16
add Array carrier instance to Abstract domain
2019-01-09 20:38:34 -05:00
Rick Winfrey
0a5c9d45a0
Add back visibility to relations
2019-01-09 17:32:29 -08:00
Rick Winfrey
9ae24b65f6
Derive via Generically for Visibility
2019-01-09 17:32:15 -08:00
Ayman Nadeem
8cc1108071
create runArray effect handler
2019-01-09 11:35:00 -05:00
Ayman Nadeem
3eaebef180
ArrayC carrier type
2019-01-09 11:34:37 -05:00
Ayman Nadeem
eff8e2bb82
stub out Array effect data type
2019-01-09 11:34:15 -05:00
Ayman Nadeem
27efda0de5
klass smart constructor replaces klass method in AbstractValue
2019-01-09 10:21:56 -05:00
Ayman Nadeem
9abf7b3cc3
bye felicia to klass in Concrete domain
2019-01-09 10:21:15 -05:00
Ayman Nadeem
b8b20bdd98
bye felicia to klass in Type domain
2019-01-09 10:21:07 -05:00
Ayman Nadeem
dbf0b84847
bye felicia to klass in Abstract domain
2019-01-09 10:20:58 -05:00
Ayman Nadeem
1f12fff84f
add Klass constructor to object carrier instance in concrete domain
2019-01-08 20:55:36 -05:00
Ayman Nadeem
10bab90d27
add Klass constructor to object carrier instance in type domain
2019-01-08 20:45:26 -05:00
Ayman Nadeem
bc396f9552
add Klass constructor to object carrier instance in Abstract domain
2019-01-08 20:44:08 -05:00
Rick Winfrey
136af86301
Merge branch 'master' into visibility-resolution
2019-01-08 17:32:14 -08:00
Patrick Thomson
3342435f2f
Bump proto3-suite version and remove unneeded dependency.
...
`proto3-suite` now depends on `ansi-wl-pprint` rather than
`wl-pprint`, which means we can remove the latter's pinned
dependency and its associated license files.
2019-01-08 19:07:04 -05:00
joshvera
d96e4d398f
lints
2019-01-08 18:38:30 -05:00
joshvera
aafabac94d
Remove duplicate declarations left in Syntax/TypeScript during merge
2019-01-08 18:25:59 -05:00
joshvera
6ec962659c
Fix imports
2019-01-08 18:19:20 -05:00
joshvera
707723981a
Add QualifedExport
2019-01-08 18:19:04 -05:00
Patrick Thomson
2e66bc3443
Simplify Data.Functor.Both.
...
Though the previous definition (a type synonym that wrapped `Join (,)`)
was clever, it required a number of orphan instances, as well as an extra
`both` function to simulate a `Both` constructor. Using an ordinary data
structure removes the need for orphan instances.
2019-01-08 17:34:47 -05:00
Patrick Thomson
288153acaa
Remove unnecessary Finite instances.
2019-01-08 16:06:17 -05:00
Ayman Nadeem
b6295817f9
add Klass constructor to Object effect data type
2019-01-08 16:01:42 -05:00
joshvera
b23352e163
Merge remote-tracking branch 'origin/master' into indexer-prototype
2019-01-08 15:54:43 -05:00
joshvera
346c19b902
Merge branch 'add-references-to-indexer-prototype' into indexer-prototype
2019-01-08 15:48:20 -05:00
Patrick Thomson
a91aa3030c
Better documentation for the extensions.
2019-01-08 15:36:33 -05:00
Patrick Thomson
2894edd428
Include Push events in the cabal file.
2019-01-08 15:30:12 -05:00
Patrick Thomson
bb204429a7
Make sure RequestContext has the instances it needs.
2019-01-08 15:21:39 -05:00
Ayman Nadeem
9c88dc0615
move scopedEnvironment and object from abstractValue to effects
2019-01-08 14:38:45 -05:00
Patrick Thomson
8823d4857e
Use enumerateUpper for Type's instance of Finite.
2019-01-08 13:58:08 -05:00
Patrick Thomson
39bdfdf01f
Add Hydro data types corresponding to proposed push schema.
...
Provides a `Push` type. To build that, we needed `RequestContext`,
`UserType`, `RequestMethod`, `Spamurai`, `Timestamp`, and `IPVersion`.
The schemas have all been taken from https://github.com/github/hydro-schemas/ .
2019-01-08 13:55:09 -05:00
Ayman Nadeem
8c3305ff47
evaluatable instances can now use object effects
2019-01-08 13:54:47 -05:00
Ayman Nadeem
708904abae
added object to runDomain effect
2019-01-08 13:47:27 -05:00
Ayman Nadeem
db8149be7f
Add object carrier instance to concrete domain
2019-01-08 13:41:36 -05:00
Ayman Nadeem
ea520d1dfb
add object carrier instance to type
2019-01-08 13:28:45 -05:00
Ayman Nadeem
da4d43c681
get rid of scopedEnvironment in AbstractValue
2019-01-08 12:34:59 -05:00
Ayman Nadeem
158c4193db
fix object carrier instance in abstract domain
2019-01-08 12:34:31 -05:00
Ayman Nadeem
f79017d019
broken object carrier instance in abstract domain
2019-01-08 11:22:39 -05:00
Josh Vera
b153fe8c2c
Merge pull request #2322 from github/deriving-via
...
Use -XDerivingVia to clean up Eq1/Show1/Ord1/Semigroup/Monoid instances.
2019-01-08 11:04:38 -05:00
Patrick Thomson
00abc88daa
Remove unneeded extensions and document Generically.
2019-01-07 16:30:07 -05:00
Patrick Thomson
9c14b6fd85
Fix license version.
2019-01-07 16:23:26 -05:00
Patrick Thomson
2618b30f79
DerivingVia over TypeScript/JavaScript.
2019-01-07 16:21:15 -05:00
