SupportedExtensions.hs

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -Wall #-}

{- | The name @supportedExtensions@, targeting @['String']@: the file extensions that are supported.

Any value of the target type has the name, as the identity.

@since 0.2.0.0
-}
module Document.Build.Name.SupportedExtensions (
  SupportedExtensionsLike (..),
) where

import Control.Lens (Optic)

{- | A field or a constructor named @supportedExtensions@.

@since 0.2.0.0
-}
class SupportedExtensionsLike p f x x' where
  supportedExtensions ::
    Optic p f x x' [String] [String]

{- | Identity

@since 0.2.0.0
-}
instance (x' ~ [String]) => SupportedExtensionsLike p f [String] x' where
  supportedExtensions =
    id
  {-# INLINE supportedExtensions #-}