recollections-0.1.1.0: test-kmettoverse/Nested/Inner.hs

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}

module Nested.Inner
  ( Tag(..)
  , Collection(..)
  , indices
  ) where

import Data.Distributive (Distributive(..))
import Data.Functor.Rep (Representable(..))
import Data.Recollections.TH
import GHC.Generics

data Tag = Foo | Bar | Baz
  deriving (Eq, Ord, Show)

mkCollection ''Tag
mkIndices ''Tag
mkDistributive ''Tag
mkRepresentable ''Tag
mkBounded ''Tag
mkEnum ''Tag