minion-0.1.0.0: src/Web/Minion/Media.hs

module Web.Minion.Media (ContentType (..), AllContentTypes (..)) where

import Data.List.NonEmpty qualified as Nel
import Network.HTTP.Media qualified as Http

class ContentType a where
  media :: Nel.NonEmpty Http.MediaType

class AllContentTypes cts where
  allContentTypes :: [Http.MediaType]

instance (ContentType ct, AllContentTypes cts) => AllContentTypes (ct ': cts) where
  allContentTypes = Nel.toList (media @ct) <> allContentTypes @cts

instance AllContentTypes '[] where
  allContentTypes = mempty