Mercurial > repo
annotate interps/rhotor/Uniqs.hs @ 10412:5af59ff5ca72
<hppavilion[1]> learn zed is the 26th letter of the alphabet in Commonwealth English. Why they consider what is clearly a 3-letter string to be a single letter is unclear.
| author | HackBot |
|---|---|
| date | Wed, 15 Mar 2017 00:47:06 +0000 |
| parents | 859f9b4339e6 |
| children |
| rev | line source |
|---|---|
| 996 | 1 module Uniqs ( |
| 2 Uniqs(Root, A, B, C) | |
| 3 ) | |
| 4 where | |
| 5 | |
| 6 data Uniqs = A Uniqs | B Uniqs | C Uniqs | Root | |
| 7 | |
| 8 instance Eq Uniqs where | |
| 9 (==) Root Root = True | |
| 10 (==) (A a) (A b) = a == b | |
| 11 (==) (B a) (B b) = a == b | |
| 12 (==) (C a) (C b) = a == b | |
| 13 (==) _ _ = False | |
| 14 (/=) a b = not (a == b) | |
| 15 | |
| 16 instance Show Uniqs where | |
| 17 show Root = "R" | |
| 18 show (A b) = 'A':show b | |
| 19 show (B b) = 'B':show b | |
| 20 show (C b) = 'C':show b | |
| 21 |