ghc/compiler/envs/LIE.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface LIE where
   3 import Class(Class)
   4 import Id(Id)
   5 import Inst(Inst, InstOrigin, OverloadedLit)
   6 import UniType(UniType)
   7 import Unique(Unique)
   8 data Inst       {-# GHC_PRAGMA Dict Unique Class UniType InstOrigin | Method Unique Id [UniType] InstOrigin | LitInst Unique OverloadedLit UniType InstOrigin #-}
   9 data LIE        {-# GHC_PRAGMA MkLIE [Inst] #-}
  10 mkLIE :: [Inst] -> LIE
  11         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _N_ _F_ _IF_ARGS_ 0 1 X 2 \ (u0 :: [Inst]) -> _!_ _ORIG_ LIE MkLIE [] [u0] _N_ #-}
  12 nullLIE :: LIE
  13         {-# GHC_PRAGMA _A_ 0 _N_ _N_ _N_ _N_ _N_ #-}
  14 plusLIE :: LIE -> LIE -> LIE
  15         {-# GHC_PRAGMA _A_ 2 _U_ 11 _N_ _S_ "U(L)U(L)" {_A_ 2 _U_ 12 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  16 unMkLIE :: LIE -> [Inst]
  17         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "U(S)" {_A_ 1 _U_ 1 _N_ _N_ _F_ _IF_ARGS_ 0 1 X 1 \ (u0 :: [Inst]) -> u0 _N_} _F_ _IF_ARGS_ 0 1 C 2 \ (u0 :: LIE) -> case u0 of { _ALG_ _ORIG_ LIE MkLIE (u1 :: [Inst]) -> u1; _NO_DEFLT_ } _N_ #-}
  18 unitLIE :: Inst -> LIE
  19         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _N_ _N_ _N_ #-}
  20