OutputSha256.hs

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

{- | The name @outputSha256@, targeting 'String': the SHA-256 hash of an output file.

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

@since 0.2.0.0
-}
module Document.Build.Name.OutputSha256 (
  OutputSha256Like (..),
) where

import Control.Lens (Optic)

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

@since 0.2.0.0
-}
class OutputSha256Like p f x x' where
  outputSha256 ::
    Optic p f x x' String String

{- | Identity

@since 0.2.0.0
-}
instance (x' ~ String) => OutputSha256Like p f String x' where
  outputSha256 =
    id
  {-# INLINE outputSha256 #-}