Andrea Rossato
4eff1244c5
add an ihaskell-display module for displaying matplotlib visualizations
2025-03-08 18:29:08 +01:00
Vaibhav Sagar
8856c17bbd
ihaskell-widgets fixes for GHC < 9.0 ( #1529 )
...
* ihaskell-widgets: work with aeson <2
* stack/stack-8.{4,6}: turn off -Werror
2024-10-23 13:10:12 +11:00
Andrei
cf2f5c04fb
Make ihaskell-widgets extensible
2024-10-21 15:32:20 -04:00
Andrei
8bfde35b62
Update for ipywidgets 8
2024-10-20 22:11:17 -04:00
Phillip Seeber
bfed5699a5
ihaskell-graphviz: add layout engines besides dot
2024-01-17 16:33:02 +01:00
Vaibhav Sagar
249e4406f9
ihaskell-aeson: remove here
dependency ( #1449 )
2023-12-23 18:16:56 +11:00
Tom McLaughlin
9f57e2c52e
Nix and stack.yaml organization
2023-12-02 18:08:27 -08:00
Vaibhav Sagar
72e663bcc1
ihaskell-diagrams: 0.4.0.0
2023-11-09 14:27:18 +11:00
Vaibhav Sagar
31e8523626
ihaskell-widgets.cabal: 0.4.0.0
2023-11-08 12:05:30 +11:00
Tom McLaughlin
f2567d6dc3
Fix warnings about non-specific cabal version
2023-08-10 23:00:11 -07:00
thomasjm
7a8d728ad1
Switch from pager to HTML output for directives
2023-08-10 23:00:11 -07:00
James Brock
995a7f2c18
Add ihaskell-plot PlotExample.ipynb
2022-10-31 15:01:29 +09:00
James Brock
c8a7f5613c
Remove one ByteString → String
conversion step for SVG
2022-10-31 12:27:39 +09:00
James Brock
6bc4bd704f
Display rendering withSystemTempDirectory
2022-10-31 12:27:39 +09:00
Hypercube
2706ee4c7a
refactor IHaskell.Display.Gnuplot
2022-07-22 00:00:00 +00:00
Hypercube
5bf443fb7c
avoid switching directory in ihaskell-display
2022-07-19 00:00:00 +00:00
pe200012
196596438f
update to lts-19
2022-06-03 18:40:36 +08:00
Vaibhav Sagar
3bc72b479b
ihaskell-widgets: attempt to add support for Aeson 2.0
2021-11-06 12:18:19 -04:00
James Brock
561b9f0c41
Add example notebook for ihaskell-gnuplot
2021-08-22 21:31:31 +09:00
Vaibhav Sagar
6116de70da
Merge pull request #1249 from jamesdbrock/examples-update
...
Update some example notebooks
2021-08-16 22:58:23 +10:00
James Brock
c4b7036b19
Update some example notebooks
...
Update some example notebooks to the latest notebook version, so that
when they start, Jupyter doesn't immediately update them and mark them
as changed.
Also replace the fake diagrams test notebook with a real diagrams test
notebook. The fake diagrams test notebook was actually the charts test
notebook.
2021-08-16 14:41:56 +09:00
James Brock
9f76defd2f
replaceOutput runs without flickering the GUI
...
Also export `OutputMsg` constructors so that users can call
`setField` on an `OutputWidget` to write their own `replaceOutput`
functions.
2021-08-16 11:32:47 +09:00
David Davó
bd6c403ccc
Removed unused imports
2021-08-15 13:11:47 +02:00
David Davó
14781f81ce
Updated widgets sample Notebooks
2021-08-15 11:57:22 +02:00
David Davó
6dbb61ef42
Added ChangeHandlers to picker widgets
2021-08-15 10:36:55 +02:00
David Davó
948c68526b
Updated documentation and removed unused fields
2021-08-13 16:40:25 +02:00
David Davó
414cd64fca
Added widget list notebook
2021-08-12 23:21:17 +02:00
David Davó
3cca06044d
Unified widget builders naming convention
2021-08-12 11:19:06 +02:00
David Davó
08627708f3
Some updates to widgets examples
2021-08-07 08:53:34 +02:00
David Davó
6322e6b02f
Output widget display anything
2021-08-06 19:39:05 +02:00
David Davó
7e3f0e0068
Output widget with text
2021-08-06 17:41:50 +02:00
David Davó
3c9dec708c
ByteString: Removed orphan
2021-08-05 14:42:36 +02:00
David Davó
1f772ccb96
Added jslink and removed warnings
2021-08-05 13:21:38 +02:00
David Davó
6275019ac1
Added link widgets and toKey in Singletons
2021-08-04 22:03:52 +02:00
David Davó
67ab446eed
Added widgets styles
2021-07-30 19:21:19 +02:00
David Davó
abf2a721f9
Added DesciptionStyle
2021-07-30 14:33:35 +02:00
David Davó
45fcace9b7
Updated layout
2021-07-30 12:32:07 +02:00
David Davó
6fa862320b
Added layout widget
2021-07-30 00:02:40 +02:00
David Davó
97d1719b9a
Updated SelectionContainer widgets
2021-07-25 17:08:27 +02:00
David Davó
74e3615527
Updated Box widgets
2021-07-25 16:40:08 +02:00
David Davó
f9abfc1960
Started controller widget
2021-07-25 13:40:14 +02:00
David Davó
be8e61f9a9
Added DatePicker widget
2021-07-24 13:31:34 +02:00
David Davó
754b3be822
Added colorpicker widget
2021-07-23 18:51:02 +02:00
David Davó
2ae0cba2d0
Added Play widget
2021-07-23 18:22:39 +02:00
David Davó
ad2b61a784
Added more String widgets
2021-07-23 13:28:04 +02:00
David Davó
cc718f3e5b
Added media widgets
2021-07-22 13:38:51 +02:00
David Davó
f3bbe00b58
Added buffer paths to widgets
2021-07-22 12:09:26 +02:00
David Davó
5a03d3ddd5
Selection widget demo
2021-07-19 19:59:32 +02:00
David Davó
d26ecb0209
Finished reimplementing class hierarchy
2021-07-17 11:38:57 +02:00
David Davó
c05da98545
Adding new fields to widgets
2021-07-16 23:29:51 +02:00