egison-pattern-src-0.1.0.0: src/Language/Egison/Syntax/Pattern/Fixity/Precedence.hs

-- |
--
-- Module:      Language.Egison.Syntax.Pattern.Fixity.Precedence
-- Description: A precedence of infix operators
-- Stability:   experimental
--
-- A precedence of infix operators.

module Language.Egison.Syntax.Pattern.Fixity.Precedence
  ( Precedence(..)
  , toInt
  )
where

import           GHC.Generics                   ( Generic )
import           Data.Data                      ( Data
                                                , Typeable
                                                )


-- | A precedence of infix operators.
newtype Precedence = Precedence Int
  deriving newtype (Eq, Ord)
  deriving stock (Show, Generic, Data, Typeable)

-- | Obtain an integer representation of 'Precedence'.
toInt :: Precedence -> Int
toInt (Precedence i) = i