Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. data MVector (v :: Type -> Type -> Type) (n :: Nat) s a

    vector-sized Data.Vector.Generic.Sized

    A wrapper to tag mutable vectors with a type level length. Be careful when using the constructor here to not construct sized vectors which have a different length than that specified in the type parameter!

  2. withVectorUnsafe :: forall v a w b (n :: Nat) . (v a -> w b) -> Vector v n a -> Vector w n b

    vector-sized Data.Vector.Generic.Sized

    Apply a function on unsized vectors to a sized vector. The function must preserve the size of the vector, this is not checked.

  3. zipVectorsUnsafe :: forall u a v b w c (n :: Nat) . (u a -> v b -> w c) -> Vector u n a -> Vector v n b -> Vector w n c

    vector-sized Data.Vector.Generic.Sized

    Apply a function on two unsized vectors to sized vectors. The function must preserve the size of the vectors, this is not checked.

  4. type MVector = MVector MVector

    vector-sized Data.Vector.Mutable.Sized

    Vector specialized to use Mutable.

  5. type MVector = MVector MVector

    vector-sized Data.Vector.Primitive.Mutable.Sized

    Vector specialized to use Mutable.

  6. type MVector = MVector MVector

    vector-sized Data.Vector.Primitive.Sized

    Vector specialized to use Mutable.

  7. withVectorUnsafe :: forall a b (n :: Nat) . (Vector a -> Vector b) -> Vector n a -> Vector n b

    vector-sized Data.Vector.Primitive.Sized

    Apply a function on unsized vectors to a sized vector. The function must preserve the size of the vector, this is not checked.

  8. data BuildVector (n :: Nat) a

    vector-sized Data.Vector.Sized

    No documentation available.

  9. type MVector = MVector MVector

    vector-sized Data.Vector.Sized

    Vector specialized to use Mutable.

  10. withVectorUnsafe :: forall a b (n :: Nat) . (Vector a -> Vector b) -> Vector n a -> Vector n b

    vector-sized Data.Vector.Sized

    Apply a function on unsized vectors to a sized vector. The function must preserve the size of the vector, this is not checked.

Page 56 of many | Previous | Next