Rob Rix
5ef7725373
Add a little program against the DSL.
2018-05-23 14:52:56 -04:00
Rick Winfrey
de94112e45
Remove Program syntax
2018-05-23 11:48:29 -07:00
Rick Winfrey
2a4e5bf010
Remove commented out instance body
2018-05-23 11:45:46 -07:00
Rob Rix
2056dd4e14
Define an iff convenience for Boolean.
2018-05-23 14:39:26 -04:00
Rob Rix
7e057b3f14
Define a handler for booleans in Type.
2018-05-23 14:37:19 -04:00
Rob Rix
03a60b3c75
Define a handler for booleans in Value.
2018-05-23 14:34:25 -04:00
Rick Winfrey
7bc88d088c
Boilerplate and minimal syntax for Haskell assignment
2018-05-23 11:32:15 -07:00
Rob Rix
655c4a12ad
Define an asBool' smart constructor.
2018-05-23 14:32:10 -04:00
Rob Rix
7d4ac1f492
Define a bool smart constructor.
2018-05-23 14:31:19 -04:00
Rob Rix
30c0090ebd
Define a Boolean effect.
2018-05-23 14:31:01 -04:00
Rob Rix
477e34aca2
Eta-reduce.
2018-05-23 14:17:35 -04:00
Rob Rix
9d8c91f32f
Define a handler for Variable effects.
2018-05-23 14:10:32 -04:00
Timothy Clem
b92f81d0b6
More sophisticated health server
2018-05-23 11:04:15 -07:00
Rob Rix
f856674f6e
Simplify the handlers with interpretAny.
2018-05-23 13:47:59 -04:00
Rob Rix
b37073aea1
Bump effects for interpretAny.
2018-05-23 13:46:34 -04:00
Rob Rix
e75872bdb9
Move runUnitValue down.
2018-05-23 13:41:44 -04:00
Rob Rix
7289acfb29
Define a handler for the unit type.
2018-05-23 13:40:18 -04:00
Rob Rix
07624e0ae3
We don’t need to use equality constraints to bind the effect types.
2018-05-23 13:39:03 -04:00
Rob Rix
e6fe079885
We don’t need to apply the function type any more.
2018-05-23 13:37:27 -04:00
Rob Rix
1f8ab5bbfe
🔥 some scoped type variables.
2018-05-23 13:36:37 -04:00
Rob Rix
e8629b80f9
Use the \\ class.
2018-05-23 13:31:31 -04:00
Rob Rix
fb65fa24c3
Bump effects.
2018-05-23 13:28:46 -04:00
Rob Rix
2d63f5cdfd
Revert "Hide the Delete typeclass."
...
This reverts commit 41546b367250750616ad5eaab3a8e5b7370a8000.
2018-05-23 13:28:38 -04:00
Rob Rix
9e02243e58
Define a handler for Unit effects.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 13:13:40 -04:00
Rob Rix
bb79415ec0
Define the (curried) const function.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:52:42 -04:00
Rob Rix
b11ad895f4
Expect closed values.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:51:32 -04:00
Rob Rix
09b5dd8f33
Define the identity function.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:49:28 -04:00
Rob Rix
a8c68e40b1
Define a helper to build lambdas with gensym’d names.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:49:00 -04:00
Rob Rix
a368e8d9f4
Define variable' requests.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:48:39 -04:00
Rob Rix
433aa96cd7
Define a Variable effect.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:48:31 -04:00
Rob Rix
49fe219908
Define a unit' request.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:48:21 -04:00
Rob Rix
41854f6bbc
Define a Unit effect type.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:48:11 -04:00
Rob Rix
3200ce88a7
Rename type variables to TVar.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:47:57 -04:00
Rick Winfrey
a11fa704f9
Bump haskell-tree-sitter
...
- Adds tree-sitter-haskell bindings
2018-05-23 09:44:58 -07:00
Patrick Thomson
168f1bea3c
Merge pull request #1881 from github/strict-equals
...
Add strict-equality function.
2018-05-23 12:38:56 -04:00
Rob Rix
10cf048dfc
Specialize to m effects.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:27:34 -04:00
Rob Rix
c9d8a82f12
Define a smart constructor for Call.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:26:36 -04:00
Rob Rix
53e9daad79
Close over alloc/assign.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:24:33 -04:00
Rob Rix
8d2b48aa59
Lift handlers into Value.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:22:05 -04:00
Rob Rix
20a4ccf7f5
Handle self-referential effects lists for Types.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:14:40 -04:00
Patrick Thomson
a7f9633319
typo
2018-05-23 12:10:16 -04:00
Rob Rix
fa6af66a65
Handle self-referential effects lists.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:04:49 -04:00
Rob Rix
c8a64a5693
Add a smart constructor for Lambda.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:04:22 -04:00
Patrick Thomson
7da61bd4c9
Merge branch 'master' into strict-equals
2018-05-23 11:33:32 -04:00
Patrick Thomson
eaa54a3230
Add strict-equality function.
...
TypeScript, JavaScript, and PHP support an === operator, which
corresponds to strict equality (usually the equality you want). I've
added a constructor to Comparison that takes care of this. Actually
implementing non-strict equality for the above languages will have to
wait until we can build behavior a la carte.
I chose not to add Ruby's case-equality operator, though it uses ===,
since the behavior is so different. (For example, a === a is not
always true over Ruby's ===).
2018-05-23 11:28:31 -04:00
Rob Rix
531e9892ba
Hide the Delete typeclass.
2018-05-23 10:47:31 -04:00
Rob Rix
a3d4ea1140
Bump effects for https://github.com/joshvera/effects/pull/48
2018-05-23 10:46:31 -04:00
Josh Vera
c868aba53e
Merge pull request #1865 from github/fix-module-inclusion-edges
...
Fix module inclusion edges
2018-05-23 10:31:21 -04:00
Rob Rix
115e887739
Merge branch 'master' into decompose-values
2018-05-23 09:59:16 -04:00
Rob Rix
39e4f6cc0a
Use prettyShow from .ghci.
2018-05-23 09:48:14 -04:00
