UniqFM
UniqSet
Util
- VectType
VectUtils
Vectorise.Var
Vectorise.Convert
Vectorise.Env
Vectorise.Vect
Vectorise.Exp
- Vectorise.Type.Type
- Vectorise.Type.TyConDecl
- Vectorise.Type.Classify
+ Vectorise.Type.Env
Vectorise.Type.Repr
Vectorise.Type.PData
Vectorise.Type.PRepr
Vectorise.Type.PADict
Vectorise.Type.PRDict
+ Vectorise.Type.Type
+ Vectorise.Type.TyConDecl
+ Vectorise.Type.Classify
Vectorise.Utils.Closure
Vectorise.Utils.Hoisting
Vectorise.Builtins.Base
module Vectorise( vectorise )
where
-import VectType
+import Vectorise.Type.Env
+import Vectorise.Type.Type
+import Vectorise.Convert
import Vectorise.Utils.Hoisting
import Vectorise.Exp
import Vectorise.Vect
(vectPolyExpr)
where
import VectUtils
-import VectType
+import Vectorise.Type.Type
import Vectorise.Utils.Closure
import Vectorise.Utils.Hoisting
import Vectorise.Var
{-# OPTIONS -fno-warn-missing-signatures #-}
-module VectType (
- vectTyCon,
- vectAndLiftType,
- vectType,
+module Vectorise.Type.Env (
vectTypeEnv,
- buildPADict,
- fromVect
)
where
import VectUtils
import Vectorise.Env
-import Vectorise.Convert
import Vectorise.Vect
import Vectorise.Monad
import Vectorise.Builtins
-import Vectorise.Type.Type
import Vectorise.Type.TyConDecl
import Vectorise.Type.Classify
import Vectorise.Type.PADict
vectLiteral
) where
import VectUtils
-import VectType
import Vectorise.Monad
import Vectorise.Env
import Vectorise.Vect
+import Vectorise.Type.Type
import CoreSyn
import Type
import Var