Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

  1. vector :: forall (n :: Nat) a t . (FromVector t a, KnownNat n) => t -> Array '[n] a

    harpie Harpie.Fixed

    Create a one-dimensional array.

    >>> pretty $ vector @3 @Int [2,3,4]
    [2,3,4]
    

  2. vector :: Arbitrary a => Int -> Gen [a]

    massiv-test Test.Massiv.Utils

    Generates a list of a given length.

  3. vector :: Vector v a => ContVec (Dim v) a -> v a

    fixed-vector Data.Vector.Fixed

    Convert continuation to the vector.

  4. vector :: Vector v a => ContVec (Dim v) a -> v a

    fixed-vector Data.Vector.Fixed.Cont

    Convert continuation to the vector.

  5. vector :: (Vector v a, Vector v b) => Iso [a] [b] (v a) (v b)

    optics-extra Data.Vector.Generic.Optics

    Convert a list to a Vector (or back.)

    >>> ([1,2,3] ^. vector :: Vector.Vector Int) == Vector.fromList [1,2,3]
    True
    
    >>> Vector.fromList [0,8,15] ^. re vector
    [0,8,15]
    

  6. vector :: Iso [a] [b] (Vector a) (Vector b)

    optics-extra Data.Vector.Optics

    Convert a list to a Vector (or back)

    >>> [1,2,3] ^. vector == Vector.fromList [1,2,3]
    True
    
    >>> [1,2,3] ^. vector % re vector
    [1,2,3]
    
    >>> Vector.fromList [0,8,15] ^. re vector % vector == Vector.fromList [0,8,15]
    True
    

  7. vector :: Label l => l -> Metric m -> Metric (Vector l m)

    prometheus-client Prometheus

    Creates a new vector of metrics given a label.

  8. vector :: Int -> Poke element -> Poke (Vector element)

    ptr Ptr.Poke

    No documentation available.

  9. vector :: Vector vector element => (element -> Poking) -> vector element -> Poking

    ptr Ptr.Poking

    No documentation available.

  10. vector :: Vector vector element => vector element -> Builder element

    vector-builder VectorBuilder.Builder

    Builder from an immutable vector of elements. Supports all kinds of vectors: boxed, unboxed, primitive, storable.

Page 14 of many | Previous | Next