Comments (5)
HeinrichApfelmus
commented on September 26, 2024
Yes please, although that would require figuring out how to deal with compositionality.
from hyper-haskell.
amigalemming
commented on September 26, 2024
On Mon, 18 Mar 2019, Heinrich Apfelmus wrote:
Yes please, although that would require figuring out how to deal with compositionality.
In the current Text-based design we could combine the objects with '<br>'.
However, Xhtml would require '<br/>'.
But hm, for lists of numbers you currently use showList, what makes sense, too.
I guess, there should be a DisplayList class
such that for every element type there can be a custom list instance.
from hyper-haskell.
HeinrichApfelmus
commented on September 26, 2024
A DisplayList class? I would like to stick to the trick that the Haskell Prelude uses, namely that for every type, we also implements a showList function that is responsible for showing a list of these things.
from hyper-haskell.
amigalemming
commented on September 26, 2024
On Tue, 19 Mar 2019, Heinrich Apfelmus wrote:
A DisplayList class? I would like to stick to the trick that the Haskell
Prelude uses, namely that for every type, we also implements a showList
function that is responsible for showing a list of these things.
I think the 'showList' design was the answer to the problem, that the
Haskell creators wanted the single [Char] instance to behave differently
from all other list instances.
Is this the case here, too?
My DisplayList approach would be this one:
class DisplayList a where
displayList :: [a] -> Graphic
instance (DisplayList a) => Display [a] where
display = displayList
This would also avoid FlexibleInstances.
Maybe with a default implementation:
class (Display a) => DisplayList a where
displayList :: [a] -> Graphic
displayList = Text.intersperse (Text.pack "<br>") . map display
For graphical objects we might use the stacking with <br> and for numbers
we would use the list notation, i.e. [1,2,3].
from hyper-haskell.
HeinrichApfelmus
commented on September 26, 2024
I think we have the same problem: Some lists should be displayed differently from the default display, just like [Char] should be displayed differently from the default [a]. The only difference is that in our case, it applies to many instances, not just a single one.
We do not have to introduce a DefaultList class, the displayList function can be added to the Display class with exactly the same code and effect.
class Display a where
display :: a -> Graphic
displayList :: [a] -> Graphic
displayList = Text.intersperse (Text.pack "<br>") . map display
instance Display a => Display [a] where
display = displayList
from hyper-haskell.
Related Issues (20)
- Cell evaluation fails when done too early after opening HOT 2
- Installation/running on linux HOT 3
- Automated HTML rendering of notebooks HOT 2
- Can't run interpreter with my GHC setup HOT 7
- MacOS: "Error: 1" using stack back-end HOT 2
- Does HyperHaskell work with Plotly? HOT 1
- reference to 'acceptNewSock' undefined HOT 1
- Support qualified imports with module aliases
- Use annotated Haskell modules as notebook format HOT 1
- Hyper.html should take a Blaze.Html type as input
- Hyper.Graphics should be an alias for a Blaze.Html type HOT 1
- Ctrl-Return in "Module Imports" should reload imports
- Configuration of font size HOT 1
- Embedded GHC interpreter cannot find any modules or symbols HOT 2
- Paths on Mac? HOT 8
- Scaling (via diagrams) doesn't work
- Too strict version bounds on QuickCheck for hyper-extra HOT 1
- Upgrade electron beyond 11
- hyper-haskell-server.nix out of date
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from hyper-haskell.