-------------------------------------------------------------------------
-- Haskell interface to Ty AST
-------------------------------------------------------------------------

%%[1 hs module (Ty.Ty)
%%]

%%[1 hs export(AGTyItf(..), Ty(..), tyUnk, tyTopNm)
%%]

%%[1 hs import(Common)
%%]

%%[1 ag import({Ty/AbsSynAG})
%%]

%%[1 ag
DERIVING AllTy: Eq,Ord,Show
%%]

-------------------------------------------------------------------------
-- Top name
-------------------------------------------------------------------------

%%[1 hs
tyTopNm :: Ty -> Nm
tyTopNm (Ty_Con n) = n
tyTopNm _          = nmUnk
%%]

-------------------------------------------------------------------------
-- Misc
-------------------------------------------------------------------------

%%[1 hs
tyUnk :: Ty
tyUnk = Ty_Con nmUnk
%%]