lawful
A constraint to assert that your typeclass instances are lawful (by matt-noonan)
relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library (by kowainik)
Our great sponsors
| lawful | relude | |
|---|---|---|
| - | 5 | |
| 1 | 687 | |
| - | 0.4% | |
| 0.0 | 6.0 | |
| almost 6 years ago | 3 months ago | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lawful
Posts with mentions or reviews of lawful.
We have used some of these posts to build our list of alternatives
and similar projects.
We haven't tracked posts mentioning lawful yet.
Tracking mentions began in Dec 2020.
relude
Posts with mentions or reviews of relude.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-06.
-
GHCanIUse - GHC language extensions compatibility table
I've also hoped that the "standard library" (i.e. Prelude) should be redesigned. I just found relude which looks very promising.
-
Good Haskell Source Code
Project to look at is: https://github.com/kowainik/relude.
-
Assessing Haskell (blogpost, slightly negative!)
Another good practice to prevent runtime exceptions is to avoid partial functions like head and tail. One way to ensure that one doesn't accidentally slip in is to use an alternative prelude (e.g. relude) that doesn't export them by default. Another alternative is to use hlint to warn about them (and then import their safe counterparts instead).
-
How do I code for the Maybe type for the following code?
That note is wrong, it is only a problem if the function input has a large cardinality. I opened a PR to fix this: https://github.com/kowainik/relude/pull/389
-
Folding Nonempty Structures In Haskell
And relude.
What are some alternatives?
When comparing lawful and relude you can also consider the following projects:
gdp - Ghosts of Departed Proofs
protolude - A sensible starting Prelude template.
safe-exceptions-checked
universum - :milky_way: Prelude written in @Serokell
safe-buffer-monad
base-prelude - The most complete prelude formed only from the "base" package
preamble - Yet Another Prelude
humble-prelude
papa - Reasonable Haskell default import
cronus - Another bloated standard library.
prolude - :hatching_chick: ACI Learning's custom prelude.
intro - Safe and minimal Haskell Prelude