, buildToArrPRepr
, buildFromArrPRepr)
where
-import VectUtils
+import Vectorise.Utils
import Vectorise.Monad
import Vectorise.Builtins
import Vectorise.Type.Repr
tyvars
(SynonymTyCon rhs_ty)
(typeKind rhs_ty)
+ NoParentTyCon
(Just $ mk_fam_inst prepr_tc vect_tc)
where
tyvars = tyConTyVars vect_tc