Skip to content

Commit f64e8db

Browse files
authored
Link to numeric type class hierarchy and cheatsheet (#237)
A useful resources that I believe was created after this book was written
1 parent 6e5a715 commit f64e8db

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

text/chapter6.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -191,7 +191,7 @@ class EuclideanRing a <= Field a
191191

192192
The `Field` type class is composed from several more general _superclasses_. This allows us to talk abstractly about types which support some but not all of the `Field` operations. For example, a type of natural numbers would be closed under addition and multiplication, but not necessarily under subtraction, so that type might have an instance of the `Semiring` class (which is a superclass of `Num`), but not an instance of `Ring` or `Field`.
193193

194-
Superclasses will be explained later in this chapter, but the full numeric type class hierarchy is beyond the scope of this chapter. The interested reader is encouraged to read the documentation for the superclasses of `Field` in `prelude`.
194+
Superclasses will be explained later in this chapter, but the full [numeric type class hierarchy](https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/introduction.html) ([cheatsheet](https://harry.garrood.me/numeric-hierarchy-overview/)) is beyond the scope of this chapter. The interested reader is encouraged to read the documentation for the superclasses of `Field` in `prelude`.
195195

196196
### Semigroups and Monoids
197197

0 commit comments

Comments
 (0)