view interps/rhotor/Uniqs.hs @ 7408:4315d5bac235

<b_jonas> slashlearn Ravnica/Ravnica: City of Guilds is a city of guilds. \xe2\x80\x9cCity of Guilds\xe2\x80\x9d is part of its name. The Wizards of the Coast Marketing Department: We Sell Anything thought players might not notice it was a City of Guilds unless they put the tagline into the name.
author HackBot
date Sun, 17 Apr 2016 19:29:52 +0000
parents 859f9b4339e6
children
line wrap: on
line source

module Uniqs (
	Uniqs(Root, A, B, C)
)
where
	
data Uniqs = A Uniqs | B Uniqs | C Uniqs | Root

instance Eq Uniqs where
	(==) Root Root 		= True
	(==) (A a) (A b) 	= a == b
	(==) (B a) (B b) 	= a == b
	(==) (C a) (C b) 	= a == b
	(==) _ _			= False
	(/=) a b			= not (a == b)

instance Show Uniqs where
	show Root			= "R"
	show (A b)			= 'A':show b
	show (B b)			= 'B':show b
	show (C b)			= 'C':show b