view interps/rhotor/Uniqs.hs @ 11502:e77e2d4c642d draft

<singingbanana> le//rn welcome.wu/Welcome Wo Wehe Winternational wuhub wufor wesoteric wuprogramming wulanguage wudesign wand wudeployment wu! Wufor wumore winformation wucheck wout wour wiki: <wuttp://wesolangs.worg/> (Wufor Wuthe wother Wukinds wof wesoterica, wutry #wesoteric won WEFnet wor WUDALnet)
author HackEso <hackeso@esolangs.org>
date Fri, 13 Apr 2018 15:38:44 +0100
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