OutputPages.hs

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

{- | The name @outputPages@, targeting @'Maybe' 'Int'@: the number of pages of an output file, if it is a PDF file.

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

@since 0.2.0.0
-}
module Document.Build.Name.OutputPages (
  OutputPagesLike (..),
) where

import Control.Lens (Optic)

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

@since 0.2.0.0
-}
class OutputPagesLike p f x x' where
  outputPages ::
    Optic p f x x' (Maybe Int) (Maybe Int)

{- | Identity

@since 0.2.0.0
-}
instance (x' ~ Maybe Int) => OutputPagesLike p f (Maybe Int) x' where
  outputPages =
    id
  {-# INLINE outputPages #-}