compiler/typecheck/TcRnTypes.lhs-boot

   1 \begin{code}
   2 module TcRnTypes where
   3
   4 import IOEnv
   5
   6 type TcM a = TcRn a
   7 type TcRn a = TcRnIf TcGblEnv TcLclEnv a
   8 type TcRnIf a b c = IOEnv (Env a b) c
   9
  10 data Env a b
  11 data TcGblEnv
  12 data TcLclEnv
  13 \end{code}