Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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.Mutable.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. newtype MVector (v :: Type -> Type -> Type) (n :: Nat) s a

    vector-sized Data.Vector.Generic.Mutable.Sized.Internal

    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!

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

    vector-sized Data.Vector.Generic.Mutable.Sized.Internal

    No documentation available.

  4. data BuildVector (n :: Nat) a

    vector-sized Data.Vector.Generic.Sized

    No documentation available.

  5. 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!

  6. 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.

  7. 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.

  8. type MVector = MVector MVector

    vector-sized Data.Vector.Mutable.Sized

    Vector specialized to use Mutable.

  9. type MVector = MVector MVector

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

    Vector specialized to use Mutable.

  10. type MVector = MVector MVector

    vector-sized Data.Vector.Primitive.Sized

    Vector specialized to use Mutable.

Page 55 of many | Previous | Next