FileNotUtf8.hs

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

{- | The name @fileNotUtf8@, targeting 'FilePath': the constructor of a file that is not valid UTF-8 text.

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

@since 0.2.0.0
-}
module Document.Build.Name.FileNotUtf8 (
  FileNotUtf8Like (..),
) where

import Control.Lens (Optic)

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

@since 0.2.0.0
-}
class FileNotUtf8Like p f x x' where
  fileNotUtf8 ::
    Optic p f x x' FilePath FilePath

{- | Identity

@since 0.2.0.0
-}
instance (x' ~ FilePath) => FileNotUtf8Like p f FilePath x' where
  fileNotUtf8 =
    id
  {-# INLINE fileNotUtf8 #-}