Haskell Dominoes

Dominoes.hs

{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE GADTs         #-}


module Dominoes where

data (🀰) where
  (:🀱) ∷ (🀰)
  (:🀲) ∷ (🀰)
  (:🀳) ∷ (🀰)
  (:🀴) ∷ (🀰)
  (:🀵) ∷ (🀰)
  (:🀶) ∷ (🀰)
  (:🀷) ∷ (🀰)
  (:🀸) ∷ (🀰)
  (:🀹) ∷ (🀰)
  (:🀺) ∷ (🀰)
  (:🀻) ∷ (🀰)
  (:🀼) ∷ (🀰)
  (:🀽) ∷ (🀰)
  (:🀾) ∷ (🀰)
  (:🀿) ∷ (🀰)
  (:🁀) ∷ (🀰)
  (:🁁) ∷ (🀰)
  (:🁂) ∷ (🀰)
  (:🁃) ∷ (🀰)
  (:🁄) ∷ (🀰)
  (:🁅) ∷ (🀰)
  (:🁆) ∷ (🀰)
  (:🁇) ∷ (🀰)
  (:🁈) ∷ (🀰)
  (:🁉) ∷ (🀰)
  (:🁊) ∷ (🀰)
  (:🁋) ∷ (🀰)
  (:🁌) ∷ (🀰)
  (:🁍) ∷ (🀰)
  (:🁎) ∷ (🀰)
  (:🁏) ∷ (🀰)
  (:🁐) ∷ (🀰)
  (:🁑) ∷ (🀰)
  (:🁒) ∷ (🀰)
  (:🁓) ∷ (🀰)
  (:🁔) ∷ (🀰)
  (:🁕) ∷ (🀰)
  (:🁖) ∷ (🀰)
  (:🁗) ∷ (🀰)
  (:🁘) ∷ (🀰)
  (:🁙) ∷ (🀰)
  (:🁚) ∷ (🀰)
  (:🁛) ∷ (🀰)
  (:🁜) ∷ (🀰)
  (:🁝) ∷ (🀰)
  (:🁞) ∷ (🀰)
  (:🁟) ∷ (🀰)
  (:🁠) ∷ (🀰)
  (:🁡) ∷ (🀰)
  deriving (Eq, Ord, Bounded, Enum)


-- unicode aliases for convenience
(🀱) ∷ (🀰)
(🀱) = (:🀱)
(🀲) ∷ (🀰)
(🀲) = (:🀲)
(🀳) ∷ (🀰)
(🀳) = (:🀳)
(🀴) ∷ (🀰)
(🀴) = (:🀴)
(🀵) ∷ (🀰)
(🀵) = (:🀵)
(🀶) ∷ (🀰)
(🀶) = (:🀶)
(🀷) ∷ (🀰)
(🀷) = (:🀷)

(🀸) ∷ (🀰)
(🀸) = (:🀸)
(🀹) ∷ (🀰)
(🀹) = (:🀹)
(🀺) ∷ (🀰)
(🀺) = (:🀺)
(🀻) ∷ (🀰)
(🀻) = (:🀻)
(🀼) ∷ (🀰)
(🀼) = (:🀼)
(🀽) ∷ (🀰)
(🀽) = (:🀽)
(🀾) ∷ (🀰)
(🀾) = (:🀾)

(🀿) ∷ (🀰)
(🀿) = (:🀿)
(🁀) ∷ (🀰)
(🁀) = (:🁀)
(🁁) ∷ (🀰)
(🁁) = (:🁁)
(🁂) ∷ (🀰)
(🁂) = (:🁂)
(🁃) ∷ (🀰)
(🁃) = (:🁃)
(🁄) ∷ (🀰)
(🁄) = (:🁄)
(🁅) ∷ (🀰)
(🁅) = (:🁅)

(🁆) ∷ (🀰)
(🁆) = (:🁆)
(🁇) ∷ (🀰)
(🁇) = (:🁇)
(🁈) ∷ (🀰)
(🁈) = (:🁈)
(🁉) ∷ (🀰)
(🁉) = (:🁉)
(🁊) ∷ (🀰)
(🁊) = (:🁊)
(🁋) ∷ (🀰)
(🁋) = (:🁋)
(🁌) ∷ (🀰)
(🁌) = (:🁌)

(🁍) ∷ (🀰)
(🁍) = (:🁍)
(🁎) ∷ (🀰)
(🁎) = (:🁎)
(🁏) ∷ (🀰)
(🁏) = (:🁏)
(🁐) ∷ (🀰)
(🁐) = (:🁐)
(🁑) ∷ (🀰)
(🁑) = (:🁑)
(🁒) ∷ (🀰)
(🁒) = (:🁒)
(🁓) ∷ (🀰)
(🁓) = (:🁓)

(🁔) ∷ (🀰)
(🁔) = (:🁔)
(🁕) ∷ (🀰)
(🁕) = (:🁕)
(🁖) ∷ (🀰)
(🁖) = (:🁖)
(🁗) ∷ (🀰)
(🁗) = (:🁗)
(🁘) ∷ (🀰)
(🁘) = (:🁘)
(🁙) ∷ (🀰)
(🁙) = (:🁙)
(🁚) ∷ (🀰)
(🁚) = (:🁚)

(🁛) ∷ (🀰)
(🁛) = (:🁛)
(🁜) ∷ (🀰)
(🁜) = (:🁜)
(🁝) ∷ (🀰)
(🁝) = (:🁝)
(🁞) ∷ (🀰)
(🁞) = (:🁞)
(🁟) ∷ (🀰)
(🁟) = (:🁟)
(🁠) ∷ (🀰)
(🁠) = (:🁠)
(🁡) ∷ (🀰)
(🁡) = (:🁡)