utils/ext-core/Language/Core/PrimCoercions.hs

   1 {-# OPTIONS -Wall -fno-warn-missing-signatures #-}
   2 module Language.Core.PrimCoercions where
   3 import Language.Core.Core
   4
   5 -- Stuff the parser needs to know about
   6
   7 pv :: a -> Qual a
   8 pv = qual primMname
   9
  10 pvz :: Id -> Qual Id
  11 pvz = (qual primMname) . (++ "zh")
  12
  13 {- Coercions -}
  14 symCoercion, transCoercion, unsafeCoercion,
  15  leftCoercion, rightCoercion, instCoercion :: Qual Tcon
  16 symCoercion    = pv "sym"
  17 transCoercion  = pv "trans"
  18 unsafeCoercion = pv "CoUnsafe"
  19 leftCoercion   = pv "left"
  20 rightCoercion  = pv "right"
  21 instCoercion   = pv "inst"
  22
  23 {- Addrzh -}
  24 tcAddrzh = pvz "Addr"
  25 tAddrzh = Tcon tcAddrzh
  26 ktAddrzh = Kunlifted