fixed-vector-hetero 0.3.1.0 → 0.3.1.1
raw patch · 4 files changed
+27/−20 lines, 4 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Data.Vector.HFixed.Class: instance (GHVector f, Arity (GElems f)) => GHVector (M1 i c f)
- Data.Vector.HFixed.Class: instance (GHVector f, GHVector g, Arity (GElems f), Arity (GElems g)) => GHVector (f :*: g)
- Data.Vector.HFixed.Class: instance (Prim a, HomArity n a) => HVector (Vec n a)
- Data.Vector.HFixed.Class: instance (Storable a, HomArity n a) => HVector (Vec n a)
- Data.Vector.HFixed.Class: instance (Unbox n a, HomArity n a) => HVector (Vec n a)
- Data.Vector.HFixed.Class: instance (c x, ArityC c xs) => ArityC c (x : xs)
- Data.Vector.HFixed.Class: instance Arity '[]
- Data.Vector.HFixed.Class: instance Arity xs => Applicative (Fun xs)
- Data.Vector.HFixed.Class: instance Arity xs => Applicative (TFun f xs)
- Data.Vector.HFixed.Class: instance Arity xs => Arity (x : xs)
- Data.Vector.HFixed.Class: instance Arity xs => Functor (Fun xs)
- Data.Vector.HFixed.Class: instance Arity xs => Functor (TFun f xs)
- Data.Vector.HFixed.Class: instance Arity xs => HVector (ContVec xs)
- Data.Vector.HFixed.Class: instance Arity xs => HVectorF (ContVecF xs)
- Data.Vector.HFixed.Class: instance Arity xs => Index Z (x : xs)
- Data.Vector.HFixed.Class: instance Arity xs => Monad (Fun xs)
- Data.Vector.HFixed.Class: instance Arity xs => Monad (TFun f xs)
- Data.Vector.HFixed.Class: instance ArityC c '[]
- Data.Vector.HFixed.Class: instance GHVector (K1 R x)
- Data.Vector.HFixed.Class: instance GHVector U1
- Data.Vector.HFixed.Class: instance HVector ()
- Data.Vector.HFixed.Class: instance HVector (Complex a)
- Data.Vector.HFixed.Class: instance HVector (a, b)
- Data.Vector.HFixed.Class: instance HVector (a, b, c)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a')
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b')
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b', c')
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b', c', d')
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b', c', d', e')
- Data.Vector.HFixed.Class: instance HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b', c', d', e', f')
- Data.Vector.HFixed.Class: instance HomArity Z a
- Data.Vector.HFixed.Class: instance HomArity n a => HVector (Vec n a)
- Data.Vector.HFixed.Class: instance HomArity n a => HomArity (S n) a
- Data.Vector.HFixed.Class: instance Index n xs => Index (S n) (x : xs)
- Data.Vector.HFixed.Class: runContVec :: ContVec xs -> forall r. Fun xs r -> r
- Data.Vector.HFixed.Class: unFun :: Fun b -> Fn as b
- Data.Vector.HFixed.Class: unTFun :: TFun f as b -> Fn (Wrap f as) b
- Data.Vector.HFixed.Cont: instance Arity xs => HVector (VecList xs)
- Data.Vector.HFixed.Cont: instance Arity xs => HVectorF (VecListF xs)
- Data.Vector.HFixed.Cont: runContVec :: ContVec xs -> forall r. Fun xs r -> r
- Data.Vector.HFixed.Cont: unFun :: Fun b -> Fn as b
- Data.Vector.HFixed.Cont: unTFun :: TFun f as b -> Fn (Wrap f as) b
- Data.Vector.HFixed.Functor.HVecF: getHVecF :: HVecF xs f -> HVec (Wrap f xs)
- Data.Vector.HFixed.Functor.HVecF: instance (Arity (Wrap f xs), Arity xs) => HVector (HVecF xs f)
- Data.Vector.HFixed.Functor.HVecF: instance (Arity xs, ArityC Eq (Wrap f xs)) => Eq (HVecF xs f)
- Data.Vector.HFixed.Functor.HVecF: instance (Arity xs, ArityC Eq (Wrap f xs), ArityC Ord (Wrap f xs)) => Ord (HVecF xs f)
- Data.Vector.HFixed.Functor.HVecF: instance (Arity xs, ArityC NFData (Wrap f xs)) => NFData (HVecF xs f)
- Data.Vector.HFixed.Functor.HVecF: instance Arity xs => HVectorF (HVecF xs)
- Data.Vector.HFixed.HVec: instance (ArityC Ord xs, Eq (HVec xs)) => Ord (HVec xs)
- Data.Vector.HFixed.HVec: instance Arity xs => HVector (HVec xs)
- Data.Vector.HFixed.HVec: instance ArityC Eq xs => Eq (HVec xs)
- Data.Vector.HFixed.HVec: instance ArityC Monoid xs => Monoid (HVec xs)
- Data.Vector.HFixed.HVec: instance ArityC NFData xs => NFData (HVec xs)
- Data.Vector.HFixed.HVec: instance ArityC Show xs => Show (HVec xs)
+ Data.Vector.HFixed.Class: [runContVec] :: ContVec xs -> forall r. Fun xs r -> r
+ Data.Vector.HFixed.Class: [unFun] :: Fun b -> Fn as b
+ Data.Vector.HFixed.Class: [unTFun] :: TFun f as b -> Fn (Wrap f as) b
+ Data.Vector.HFixed.Class: instance (Data.Primitive.Types.Prim a, Data.Vector.HFixed.Class.HomArity n a) => Data.Vector.HFixed.Class.HVector (Data.Vector.Fixed.Primitive.Vec n a)
+ Data.Vector.HFixed.Class: instance (Data.Vector.Fixed.Unboxed.Unbox n a, Data.Vector.HFixed.Class.HomArity n a) => Data.Vector.HFixed.Class.HVector (Data.Vector.Fixed.Unboxed.Vec n a)
+ Data.Vector.HFixed.Class: instance (Data.Vector.HFixed.Class.GHVector f, Data.Vector.HFixed.Class.Arity (Data.Vector.HFixed.Class.GElems f)) => Data.Vector.HFixed.Class.GHVector (GHC.Generics.M1 i c f)
+ Data.Vector.HFixed.Class: instance (Data.Vector.HFixed.Class.GHVector f, Data.Vector.HFixed.Class.GHVector g, Data.Vector.HFixed.Class.Arity (Data.Vector.HFixed.Class.GElems f), Data.Vector.HFixed.Class.Arity (Data.Vector.HFixed.Class.GElems g)) => Data.Vector.HFixed.Class.GHVector (f GHC.Generics.:*: g)
+ Data.Vector.HFixed.Class: instance (Foreign.Storable.Storable a, Data.Vector.HFixed.Class.HomArity n a) => Data.Vector.HFixed.Class.HVector (Data.Vector.Fixed.Storable.Vec n a)
+ Data.Vector.HFixed.Class: instance (c x, Data.Vector.HFixed.Class.ArityC c xs) => Data.Vector.HFixed.Class.ArityC c (x : xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity '[]
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => Data.Vector.HFixed.Class.Arity (x : xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => Data.Vector.HFixed.Class.HVector (Data.Vector.HFixed.Class.ContVec xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => Data.Vector.HFixed.Class.HVectorF (Data.Vector.HFixed.Class.ContVecF xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => Data.Vector.HFixed.Class.Index Data.Vector.Fixed.Cont.Z (x : xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => GHC.Base.Applicative (Data.Vector.HFixed.Class.Fun xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => GHC.Base.Applicative (Data.Vector.HFixed.Class.TFun f xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => GHC.Base.Functor (Data.Vector.HFixed.Class.Fun xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => GHC.Base.Functor (Data.Vector.HFixed.Class.TFun f xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => GHC.Base.Monad (Data.Vector.HFixed.Class.Fun xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Arity xs => GHC.Base.Monad (Data.Vector.HFixed.Class.TFun f xs)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.ArityC c '[]
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.GHVector (GHC.Generics.K1 GHC.Generics.R x)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.GHVector GHC.Generics.U1
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector ()
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (Data.Complex.Complex a)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a')
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b')
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b', c')
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b', c', d')
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b', c', d', e')
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HVector (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a', b', c', d', e', f')
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HomArity Data.Vector.Fixed.Cont.Z a
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HomArity n a => Data.Vector.HFixed.Class.HVector (Data.Vector.Fixed.Boxed.Vec n a)
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.HomArity n a => Data.Vector.HFixed.Class.HomArity (Data.Vector.Fixed.Cont.S n) a
+ Data.Vector.HFixed.Class: instance Data.Vector.HFixed.Class.Index n xs => Data.Vector.HFixed.Class.Index (Data.Vector.Fixed.Cont.S n) (x : xs)
+ Data.Vector.HFixed.Cont: [runContVec] :: ContVec xs -> forall r. Fun xs r -> r
+ Data.Vector.HFixed.Cont: [unFun] :: Fun b -> Fn as b
+ Data.Vector.HFixed.Cont: [unTFun] :: TFun f as b -> Fn (Wrap f as) b
+ Data.Vector.HFixed.Cont: instance Data.Vector.HFixed.Class.Arity xs => Data.Vector.HFixed.Class.HVector (Data.Vector.HFixed.Cont.VecList xs)
+ Data.Vector.HFixed.Cont: instance Data.Vector.HFixed.Class.Arity xs => Data.Vector.HFixed.Class.HVectorF (Data.Vector.HFixed.Cont.VecListF xs)
+ Data.Vector.HFixed.Functor.HVecF: [getHVecF] :: HVecF xs f -> HVec (Wrap f xs)
+ Data.Vector.HFixed.Functor.HVecF: instance (Data.Vector.HFixed.Class.Arity (Data.Vector.HFixed.TypeFuns.Wrap f xs), Data.Vector.HFixed.Class.Arity xs) => Data.Vector.HFixed.Class.HVector (Data.Vector.HFixed.Functor.HVecF.HVecF xs f)
+ Data.Vector.HFixed.Functor.HVecF: instance (Data.Vector.HFixed.Class.Arity xs, Data.Vector.HFixed.Class.ArityC Control.DeepSeq.NFData (Data.Vector.HFixed.TypeFuns.Wrap f xs)) => Control.DeepSeq.NFData (Data.Vector.HFixed.Functor.HVecF.HVecF xs f)
+ Data.Vector.HFixed.Functor.HVecF: instance (Data.Vector.HFixed.Class.Arity xs, Data.Vector.HFixed.Class.ArityC GHC.Classes.Eq (Data.Vector.HFixed.TypeFuns.Wrap f xs)) => GHC.Classes.Eq (Data.Vector.HFixed.Functor.HVecF.HVecF xs f)
+ Data.Vector.HFixed.Functor.HVecF: instance (Data.Vector.HFixed.Class.Arity xs, Data.Vector.HFixed.Class.ArityC GHC.Classes.Eq (Data.Vector.HFixed.TypeFuns.Wrap f xs), Data.Vector.HFixed.Class.ArityC GHC.Classes.Ord (Data.Vector.HFixed.TypeFuns.Wrap f xs)) => GHC.Classes.Ord (Data.Vector.HFixed.Functor.HVecF.HVecF xs f)
+ Data.Vector.HFixed.Functor.HVecF: instance Data.Vector.HFixed.Class.Arity xs => Data.Vector.HFixed.Class.HVectorF (Data.Vector.HFixed.Functor.HVecF.HVecF xs)
+ Data.Vector.HFixed.HVec: instance (Data.Vector.HFixed.Class.ArityC GHC.Classes.Ord xs, GHC.Classes.Eq (Data.Vector.HFixed.HVec.HVec xs)) => GHC.Classes.Ord (Data.Vector.HFixed.HVec.HVec xs)
+ Data.Vector.HFixed.HVec: instance Data.Vector.HFixed.Class.Arity xs => Data.Vector.HFixed.Class.HVector (Data.Vector.HFixed.HVec.HVec xs)
+ Data.Vector.HFixed.HVec: instance Data.Vector.HFixed.Class.ArityC Control.DeepSeq.NFData xs => Control.DeepSeq.NFData (Data.Vector.HFixed.HVec.HVec xs)
+ Data.Vector.HFixed.HVec: instance Data.Vector.HFixed.Class.ArityC GHC.Base.Monoid xs => GHC.Base.Monoid (Data.Vector.HFixed.HVec.HVec xs)
+ Data.Vector.HFixed.HVec: instance Data.Vector.HFixed.Class.ArityC GHC.Classes.Eq xs => GHC.Classes.Eq (Data.Vector.HFixed.HVec.HVec xs)
+ Data.Vector.HFixed.HVec: instance Data.Vector.HFixed.Class.ArityC GHC.Show.Show xs => GHC.Show.Show (Data.Vector.HFixed.HVec.HVec xs)
- Data.Vector.HFixed: class Arity (Elems v) => HVector v where type family Elems v :: [*] type instance Elems v = GElems (Rep v) construct = fmap to gconstruct inspect v = ginspect (from v)
+ Data.Vector.HFixed: class Arity (Elems v) => HVector v where type family Elems v :: [*] Elems v = GElems (Rep v) construct = fmap to gconstruct inspect v = ginspect (from v)
- Data.Vector.HFixed: mapFunctor :: HVectorF v => (forall a. f a -> g a) -> v f -> v g
+ Data.Vector.HFixed: mapFunctor :: (HVectorF v) => (forall a. f a -> g a) -> v f -> v g
- Data.Vector.HFixed: mk0 :: (HVector v, Elems v ~ []) => v
+ Data.Vector.HFixed: mk0 :: (HVector v, Elems v ~ '[]) => v
- Data.Vector.HFixed.Class: WitAllInstancesNil :: WitAllInstances c []
+ Data.Vector.HFixed.Class: WitAllInstancesNil :: WitAllInstances c '[]
- Data.Vector.HFixed.Class: accum :: Arity xs => (forall a as. t (a : as) -> a -> t as) -> (t [] -> b) -> t xs -> Fn xs b
+ Data.Vector.HFixed.Class: accum :: Arity xs => (forall a as. t (a : as) -> a -> t as) -> (t '[] -> b) -> t xs -> Fn xs b
- Data.Vector.HFixed.Class: accumTy :: Arity xs => (forall a as. t (a : as) -> f a -> t as) -> (t [] -> b) -> t xs -> Fn (Wrap f xs) b
+ Data.Vector.HFixed.Class: accumTy :: Arity xs => (forall a as. t (a : as) -> f a -> t as) -> (t '[] -> b) -> t xs -> Fn (Wrap f xs) b
- Data.Vector.HFixed.Class: class Arity (Elems v) => HVector v where type family Elems v :: [*] type instance Elems v = GElems (Rep v) construct = fmap to gconstruct inspect v = ginspect (from v)
+ Data.Vector.HFixed.Class: class Arity (Elems v) => HVector v where type family Elems v :: [*] Elems v = GElems (Rep v) construct = fmap to gconstruct inspect v = ginspect (from v)
- Data.Vector.HFixed.Class: uncurryFun2 :: Arity xs => (x -> y -> Fun xs (Fun ys r)) -> Fun (x : xs) (Fun (y : ys) r)
+ Data.Vector.HFixed.Class: uncurryFun2 :: (Arity xs) => (x -> y -> Fun xs (Fun ys r)) -> Fun (x : xs) (Fun (y : ys) r)
- Data.Vector.HFixed.Cont: Nil :: VecList []
+ Data.Vector.HFixed.Cont: Nil :: VecList '[]
- Data.Vector.HFixed.Cont: NilF :: VecListF [] f
+ Data.Vector.HFixed.Cont: NilF :: VecListF '[] f
- Data.Vector.HFixed.Cont: accum :: Arity xs => (forall a as. t (a : as) -> a -> t as) -> (t [] -> b) -> t xs -> Fn xs b
+ Data.Vector.HFixed.Cont: accum :: Arity xs => (forall a as. t (a : as) -> a -> t as) -> (t '[] -> b) -> t xs -> Fn xs b
- Data.Vector.HFixed.Cont: accumTy :: Arity xs => (forall a as. t (a : as) -> f a -> t as) -> (t [] -> b) -> t xs -> Fn (Wrap f xs) b
+ Data.Vector.HFixed.Cont: accumTy :: Arity xs => (forall a as. t (a : as) -> f a -> t as) -> (t '[] -> b) -> t xs -> Fn (Wrap f xs) b
- Data.Vector.HFixed.Cont: class Arity (Elems v) => HVector v where type family Elems v :: [*] type instance Elems v = GElems (Rep v) construct = fmap to gconstruct inspect v = ginspect (from v)
+ Data.Vector.HFixed.Cont: class Arity (Elems v) => HVector v where type family Elems v :: [*] Elems v = GElems (Rep v) construct = fmap to gconstruct inspect v = ginspect (from v)
- Data.Vector.HFixed.Cont: foldl :: ArityC c xs => Proxy c -> (forall a. c a => b -> a -> b) -> b -> ContVec xs -> b
+ Data.Vector.HFixed.Cont: foldl :: (ArityC c xs) => Proxy c -> (forall a. c a => b -> a -> b) -> b -> ContVec xs -> b
- Data.Vector.HFixed.Cont: foldr :: ArityC c xs => Proxy c -> (forall a. c a => a -> b -> b) -> b -> ContVec xs -> b
+ Data.Vector.HFixed.Cont: foldr :: (ArityC c xs) => Proxy c -> (forall a. c a => a -> b -> b) -> b -> ContVec xs -> b
- Data.Vector.HFixed.Cont: mapFunctor :: Arity xs => (forall a. f a -> g a) -> ContVecF xs f -> ContVecF xs g
+ Data.Vector.HFixed.Cont: mapFunctor :: (Arity xs) => (forall a. f a -> g a) -> ContVecF xs f -> ContVecF xs g
- Data.Vector.HFixed.Cont: mk0 :: ContVec []
+ Data.Vector.HFixed.Cont: mk0 :: ContVec '[]
- Data.Vector.HFixed.Cont: monomorphize :: ArityC c xs => Proxy c -> (forall x. c x => x -> a) -> ContVec xs -> ContVec (Len xs) a
+ Data.Vector.HFixed.Cont: monomorphize :: (ArityC c xs) => Proxy c -> (forall x. c x => x -> a) -> ContVec xs -> ContVec (Len xs) a
- Data.Vector.HFixed.Cont: monomorphizeF :: ArityC c xs => Proxy c -> (forall x. c x => f x -> a) -> ContVecF xs f -> ContVec (Len xs) a
+ Data.Vector.HFixed.Cont: monomorphizeF :: (ArityC c xs) => Proxy c -> (forall x. c x => f x -> a) -> ContVecF xs f -> ContVec (Len xs) a
- Data.Vector.HFixed.Cont: replicate :: ArityC c xs => Proxy c -> (forall x. c x => x) -> ContVec xs
+ Data.Vector.HFixed.Cont: replicate :: (ArityC c xs) => Proxy c -> (forall x. c x => x) -> ContVec xs
- Data.Vector.HFixed.Cont: unfoldr :: ArityC c xs => Proxy c -> (forall a. c a => b -> (a, b)) -> b -> ContVec xs
+ Data.Vector.HFixed.Cont: unfoldr :: (ArityC c xs) => Proxy c -> (forall a. c a => b -> (a, b)) -> b -> ContVec xs
- Data.Vector.HFixed.Cont: zipMono :: ArityC c xs => Proxy c -> (forall a. c a => a -> a -> a) -> ContVec xs -> ContVec xs -> ContVec xs
+ Data.Vector.HFixed.Cont: zipMono :: (ArityC c xs) => Proxy c -> (forall a. c a => a -> a -> a) -> ContVec xs -> ContVec xs -> ContVec xs
- Data.Vector.HFixed.Cont: zipMonoF :: ArityC c xs => Proxy c -> (forall a. c a => f a -> g a -> h a) -> ContVecF xs f -> ContVecF xs g -> ContVecF xs h
+ Data.Vector.HFixed.Cont: zipMonoF :: (ArityC c xs) => Proxy c -> (forall a. c a => f a -> g a -> h a) -> ContVecF xs f -> ContVecF xs g -> ContVecF xs h
- Data.Vector.HFixed.HVec: unsafeFreezeHVec :: PrimMonad m => MutableHVec (PrimState m) xs -> m (HVec xs)
+ Data.Vector.HFixed.HVec: unsafeFreezeHVec :: (PrimMonad m) => MutableHVec (PrimState m) xs -> m (HVec xs)
Files
- ChangeLog +5/−0
- Data/Vector/HFixed/Class.hs +13/−12
- Data/Vector/HFixed/TypeFuns.hs +7/−6
- fixed-vector-hetero.cabal +2/−2
ChangeLog view
@@ -1,5 +1,10 @@ Changes in 0.3.1.0 + * Fix build for GHC 8.0+++Changes in 0.3.1.0+ * replicateF added * type signature of zipMonoF generalized
Data/Vector/HFixed/Class.hs view
@@ -1,19 +1,20 @@ {-# LANGUAGE CPP #-}-{-# LANGUAGE GADTs #-}-{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DefaultSignatures #-}+{-# LANGUAGE ExplicitNamespaces #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE DataKinds #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE InstanceSigs #-} {-# LANGUAGE KindSignatures #-}-{-# LANGUAGE TypeOperators #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE DefaultSignatures #-}-{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE RankNTypes #-}-{-# LANGUAGE ConstraintKinds #-}-{-# LANGUAGE InstanceSigs #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE UndecidableInstances #-} module Data.Vector.HFixed.Class ( -- * Types and type classes -- ** Peano numbers@@ -33,7 +34,7 @@ , tfunToFun -- ** Type functions , Proxy(..)- , (++)()+ , type (++)() , Len , Wrap , HomList@@ -298,7 +299,7 @@ type Elems v = GElems (Rep v) -- | Function for constructing vector construct :: Fun (Elems v) v- default construct :: (Generic v, GHVector (Rep v), GElems (Rep v) ~ Elems v, Functor (Fun (Elems v)))+ default construct :: (Generic v, GHVector (Rep v), GElems (Rep v) ~ Elems v) => Fun (Elems v) v construct = fmap to gconstruct -- | Function for deconstruction of vector. It applies vector's
Data/Vector/HFixed/TypeFuns.hs view
@@ -1,8 +1,9 @@-{-# LANGUAGE CPP #-}-{-# LANGUAGE TypeOperators #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE CPP #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE ExplicitNamespaces #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} -- | Type functions module Data.Vector.HFixed.TypeFuns ( -- * Type proxy@@ -11,7 +12,7 @@ , proxy , unproxy -- * Type functions- , (++)()+ , type (++)() , Len , Head , HomList
fixed-vector-hetero.cabal view
@@ -1,5 +1,5 @@ Name: fixed-vector-hetero-Version: 0.3.1.0+Version: 0.3.1.1 Synopsis: Generic heterogeneous vectors Description: Generic heterogeneous vectors@@ -27,7 +27,7 @@ -- tuples Ghc-options: -Wall -fcontext-stack=50 Build-Depends:- base >=4.6 && <5,+ base >=4.7 && <5, deepseq, transformers, ghc-prim,