recollections-0.1.1.0: test/Nested/Outer.hs

{-# LANGUAGE TemplateHaskell #-}

module Nested.Outer
  ( Tag(..)
  , Collection(..)
  , indices
  , distribute
  , index
  , tabulate
  ) where

import Data.Recollections.TH
import GHC.Generics
import Nested.Inner qualified as Inner

data Tag
  = Front Inner.Tag
  | Local
  | Back Inner.Tag
  deriving (Eq, Ord, Show)

mkCollection ''Tag
mkIndices ''Tag
mkDistribute ''Tag
mkIndex ''Tag
mkTabulate ''Tag
mkBounded ''Tag
mkEnum ''Tag