{-# LANGUAGE DeriveFunctor #-}

module Nm ( Nm (..), TyName
          , eqName
          ) where

import qualified Data.Text     as T
import           Prettyprinter (Pretty (pretty))
import           U

data Nm a = Nm { forall a. Nm a -> Text
name   :: T.Text
               , forall a. Nm a -> U
unique :: !U
               , forall a. Nm a -> a
loc    :: a
               } deriving ((forall a b. (a -> b) -> Nm a -> Nm b)
-> (forall a b. a -> Nm b -> Nm a) -> Functor Nm
forall a b. a -> Nm b -> Nm a
forall a b. (a -> b) -> Nm a -> Nm b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall a b. (a -> b) -> Nm a -> Nm b
fmap :: forall a b. (a -> b) -> Nm a -> Nm b
$c<$ :: forall a b. a -> Nm b -> Nm a
<$ :: forall a b. a -> Nm b -> Nm a
Functor)

-- test
eqName :: Nm a -> Nm a -> Bool
eqName :: forall a. Nm a -> Nm a -> Bool
eqName (Nm Text
n U
_ a
_) (Nm Text
n' U
_ a
_) = Text
n Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
== Text
n'

instance Eq (Nm a) where
    == :: Nm a -> Nm a -> Bool
(==) (Nm Text
_ U
u a
_) (Nm Text
_ U
u' a
_) = U
u U -> U -> Bool
forall a. Eq a => a -> a -> Bool
== U
u'

instance Pretty (Nm a) where
    pretty :: forall ann. Nm a -> Doc ann
pretty (Nm Text
t U
_ a
_) = Text -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Text -> Doc ann
pretty Text
t

instance Show (Nm a) where show :: Nm a -> String
show=Doc Any -> String
forall a. Show a => a -> String
show(Doc Any -> String) -> (Nm a -> Doc Any) -> Nm a -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
.Nm a -> Doc Any
forall a ann. Pretty a => a -> Doc ann
forall ann. Nm a -> Doc ann
pretty

type TyName = Nm