Type.hs-boot

module Language.Haskell.Syntax.Type where

import Data.Bool
import Data.Eq
import Data.Ord

{-
************************************************************************
*                                                                      *
\subsection{Promotion flag}
*                                                                      *
************************************************************************
-}

-- | Is a TyCon a promoted data constructor or just a normal type constructor?
data PromotionFlag
  = NotPromoted
  | IsPromoted

instance Eq PromotionFlag
instance Ord PromotionFlag

isPromoted :: PromotionFlag -> Bool