Nm

Documentation

data Nm a

Constructors

Nm

Fields

• name :: Text
• unique :: !U
• loc :: a

Instances

Functor Nm

Defined in Nm

Methods

fmap :: (a -> b) -> Nm a -> Nm b

(<$) :: a -> Nm b -> Nm a

Show (Nm a)

Defined in Nm

Methods

showsPrec :: Int -> Nm a -> ShowS

show :: Nm a -> String

showList :: [Nm a] -> ShowS

Eq (Nm a)

Defined in Nm

Methods

(==) :: Nm a -> Nm a -> Bool

(/=) :: Nm a -> Nm a -> Bool

Pretty (Nm a)

Defined in Nm

Methods

pretty :: Nm a -> Doc ann

prettyList :: [Nm a] -> Doc ann

type TyName = Nm

eqName :: Nm a -> Nm a -> Bool