1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface SpecTyFuns where
6 import Maybes(Labda(..))
7 import Pretty(PprStyle, Pretty(..), PrettyRep)
9 import TyVar(TyVarTemplate)
10 import UniType(UniType)
11 type ConstraintVector = [Bool]
12 data Labda a = Hamna | Ni a
13 type Pretty = Int -> Bool -> PrettyRep
15 argTysMatchSpecTys_error :: [Labda UniType] -> [UniType] -> Labda (Int -> Bool -> PrettyRep)
16 isUnboxedSpecialisation :: [Labda UniType] -> Bool
17 mkConstraintVector :: [TyVarTemplate] -> [(Class, TyVarTemplate)] -> [Bool]
18 mkSpecialisedCon :: Id -> [UniType] -> Id
19 pprSpecErrs :: PprStyle -> Bag (Id, [Labda UniType]) -> Bag (Id, [Labda UniType]) -> Bag (TyCon, [Labda UniType]) -> Int -> Bool -> PrettyRep
20 specialiseCallTys :: Bool -> Bool -> Bool -> [Bool] -> [UniType] -> [Labda UniType]
21 specialiseConstrTys :: [UniType] -> [Labda UniType]