David Himmelstrup
4260dc85a1
Add workflow with the same build commands as stackage nightly.
2020-09-09 12:56:14 +08:00
David Himmelstrup
b3a685f57a
Disable unit tests if reanimate library isn't built.
2020-09-09 12:52:32 +08:00
David Himmelstrup
b756ea5ceb
Bump version to 0.5.0.0
2020-09-09 11:15:06 +08:00
David Himmelstrup
3ced61e3f5
Fix warning.
2020-09-09 09:23:18 +08:00
David Himmelstrup
e369dbec36
Disable hashing for now.
2020-09-08 19:09:03 +08:00
David Himmelstrup
4481f10ebf
Add --disable-hashing flag.
2020-09-08 19:08:52 +08:00
shaurya gupta
e9f893b6e3
hash frames ( #157 )
...
* cache frames via hashing
* use reanimate-svg-0.10.3.0
* NFC: whitespace
* Add hashable-1.3.0.0 to extra deps in lts-13,14
* allow-newer in lts-13
Co-authored-by: David Himmelstrup <lemmih@gmail.com>
2020-09-08 18:58:32 +08:00
David Himmelstrup
1c7fa10f86
Efficient time variables. ( #145 )
...
Co-authored-by: shaurya gupta <shauryab98@gmail.com>
2020-09-08 17:35:00 +08:00
David Himmelstrup
f207019713
Use reanimate-svg-0.11.0.0 ( #161 )
...
* Use new reanimate-svg.
* Disable nix workflow.
2020-09-08 14:01:18 +08:00
Jan Hrček
9d71dd9454
Fix missing backslashes in haddock examples
2020-09-06 16:54:27 +08:00
David Himmelstrup
e83436df02
JS fixes for embedded playground.
2020-09-05 17:37:06 +08:00
David Himmelstrup
bf2c1f95f3
Allow overwrite for embedded playgrounds in row mode.
2020-09-05 16:42:51 +08:00
David Himmelstrup
06bb9c6828
Limit the trigger for nix CI.
2020-09-04 21:07:21 +08:00
David Himmelstrup
45ca5781e1
Minor style changes. ( #155 )
...
* Bump docker watch interval to 30mins.
* Style changes.
2020-09-04 10:15:10 +08:00
dependabot-preview[bot]
d7460692e7
Bump ohanhi/keyboard from 2.0.0 to 2.0.1 in /playground/viewer-elm
...
Bumps [ohanhi/keyboard](https://github.com/ohanhi/keyboard ) from 2.0.0 to 2.0.1.
- [Release notes](https://github.com/ohanhi/keyboard/releases )
- [Commits](https://github.com/ohanhi/keyboard/compare/2.0.0...2.0.1 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-09-03 16:54:38 +08:00
dependabot-preview[bot]
20c40cb210
Bump elm/core from 1.0.4 to 1.0.5 in /viewer-elm
...
Bumps [elm/core](https://github.com/elm/core ) from 1.0.4 to 1.0.5.
- [Release notes](https://github.com/elm/core/releases )
- [Changelog](https://github.com/elm/core/blob/master/changelog.md )
- [Commits](https://github.com/elm/core/compare/1.0.4...1.0.5 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-09-03 16:46:56 +08:00
dependabot-preview[bot]
9045e21a27
Bump elm/core from 1.0.4 to 1.0.5 in /playground/viewer-elm
...
Bumps [elm/core](https://github.com/elm/core ) from 1.0.4 to 1.0.5.
- [Release notes](https://github.com/elm/core/releases )
- [Changelog](https://github.com/elm/core/blob/master/changelog.md )
- [Commits](https://github.com/elm/core/compare/1.0.4...1.0.5 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-09-03 16:36:11 +08:00
dependabot-preview[bot]
3d0a46e3e5
Bump bburdette/websocket from 1.0.2 to 1.0.3 in /viewer-elm
...
Bumps [bburdette/websocket](https://github.com/bburdette/websocket ) from 1.0.2 to 1.0.3.
- [Release notes](https://github.com/bburdette/websocket/releases )
- [Commits](https://github.com/bburdette/websocket/compare/1.0.2...1.0.3 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-09-03 16:32:32 +08:00
dependabot-preview[bot]
cca0ab1fd6
Bump bburdette/websocket from 1.0.2 to 1.0.3 in /playground/viewer-elm
...
Bumps [bburdette/websocket](https://github.com/bburdette/websocket ) from 1.0.2 to 1.0.3.
- [Release notes](https://github.com/bburdette/websocket/releases )
- [Commits](https://github.com/bburdette/websocket/compare/1.0.2...1.0.3 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-09-03 16:32:16 +08:00
dependabot-preview[bot]
6f99e4b04c
Bump ohanhi/keyboard from 2.0.0 to 2.0.1 in /viewer-elm
...
Bumps [ohanhi/keyboard](https://github.com/ohanhi/keyboard ) from 2.0.0 to 2.0.1.
- [Release notes](https://github.com/ohanhi/keyboard/releases )
- [Commits](https://github.com/ohanhi/keyboard/compare/2.0.0...2.0.1 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-09-03 16:32:01 +08:00
David Himmelstrup
fb868cab9b
Run playground tests on PRs without deploying to GitHub Pages. ( #148 )
2020-09-03 15:32:41 +08:00
David Himmelstrup
00e2ba6eeb
Delete out-of-date documentation.
2020-09-02 21:53:46 +08:00
David Himmelstrup
cb5529aff8
Disable automatic snippet generation.
2020-09-02 19:42:52 +08:00
David Himmelstrup
9087896c19
Note that the playground has been completed.
2020-09-02 18:49:54 +08:00
David Himmelstrup
5e1cd70efa
Report parse errors in snippets.
2020-09-02 18:47:59 +08:00
David Himmelstrup
fd38077260
Make the HelloWorld example more interesting.
2020-09-02 18:47:45 +08:00
David Himmelstrup
eff3bad069
Apply scale before computing bounding boxes.
2020-09-02 18:36:32 +08:00
David Himmelstrup
3a67862f38
Upgrade to latest discord-haskell library.
2020-09-02 11:20:53 +08:00
Ben Ford
f6f388c8da
Adding haskell.nix based default and shell.nix ( #141 )
...
Co-authored-by: Ben Ford <ben@perurbis.com>
2020-09-02 09:47:04 +08:00
David Himmelstrup
51263e2fba
Fix minor bug.
2020-09-01 18:17:32 +08:00
David Himmelstrup
0191ab9123
Fix tests.
2020-09-01 15:48:30 +08:00
David Himmelstrup
755fb02c6c
Rewamp object effects.
2020-09-01 14:15:06 +08:00
David Himmelstrup
7797585dc0
Switch to LTS-16.12 to get Windows fixes. ( #147 )
2020-09-01 13:43:44 +08:00
David Himmelstrup
1f7c0e705c
Get rid of pdual nonsense.
2020-08-31 21:05:27 +08:00
David Himmelstrup
903be6173e
Implement SSSP with finger trees.
2020-08-31 20:56:13 +08:00
David Himmelstrup
1ec6d3bba8
Release 0.4.3.0
v0.4.3.0
2020-08-29 15:58:50 +08:00
David Himmelstrup
8a2d43e993
Add 'support reanimate' modal.
2020-08-29 11:44:55 +08:00
David Himmelstrup
5f80018309
Script for updating the cached snippet info. This is only used for local development.
2020-08-29 10:33:25 +08:00
David Himmelstrup
2527929eff
Wibbles to camera snippet.
2020-08-29 10:32:44 +08:00
David Himmelstrup
842bf0aded
Fix snippet #8
2020-08-28 15:24:05 +08:00
David Himmelstrup
917dc3693d
Improve the safety of the playground and limit the resources it may use. ( #144 )
...
* Improve the safety of the playground and limit the resources it may use.
* Don't send new code to server until 0.5s after the last keypress.
2020-08-28 14:49:55 +08:00
shaurya gupta
392978c173
Playground: restart ghci upon crash ( #137 )
2020-08-28 10:53:45 +08:00
David Himmelstrup
15472e46f8
Hyperlink all examples.
2020-08-28 10:46:07 +08:00
David Himmelstrup
a5f643dd91
Switch to hyperlinked API documentation.
2020-08-28 00:21:16 +08:00
David Himmelstrup
f93b6d9a5a
Bump version to 0.4.2.0
v0.4.2.0
2020-08-27 22:42:42 +08:00
David Himmelstrup
c2953de80d
Update changelog.
2020-08-27 22:42:36 +08:00
David Himmelstrup
d6523a4160
Bring doc coverage up to 100%.
2020-08-27 22:38:12 +08:00
lemmih
3f2a4e092a
Fix object positions in playground.
2020-08-27 19:30:00 +08:00
David Himmelstrup
b9d3966366
Fix coverage calculation.
2020-08-27 18:36:59 +08:00
David Himmelstrup
938b933b57
Compute doc coverage with stack rather than cabal.
2020-08-27 17:53:00 +08:00