B16.hs

{-# LANGUAGE TemplateHaskell #-}

module Breadth.B16
  ( Tag(..)
  , Collection(..)
  , indices
  ) where

import Data.Recollections.TH
import GHC.Generics
import Leaf qualified

data Tag
  = N0 Leaf.Tag
  | N1 Leaf.Tag
  | N2 Leaf.Tag
  | N3 Leaf.Tag
  | N4 Leaf.Tag
  | N5 Leaf.Tag
  | N6 Leaf.Tag
  | N7 Leaf.Tag
  | N8 Leaf.Tag
  | N9 Leaf.Tag
  | N10 Leaf.Tag
  | N11 Leaf.Tag
  | N12 Leaf.Tag
  | N13 Leaf.Tag
  | N14 Leaf.Tag
  | N15 Leaf.Tag
  | End

mkCollection ''Tag
mkIndices ''Tag
mkBounded ''Tag
mkEnum ''Tag