Logic & Foundations with Haskell: Haskell 12 :: Typeclasses for Natural Numbers
Channel: Marius Furter
Date: 2023-05-06

We implement the typeclasses Ord, Enum, Num, Real and Integral for the natural numbers. This allows us to use all standard functions for these typeclasses on our natural number datatype. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23

00:00 Introduction
01:51 data Nat
02:38 foldn
04:56 Typeclass Ord
12:50 Typeclass Enum
20:47 Typeclass Num
30:13 Typeclasses Real and Integral

The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z