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.

Exact lookup

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

   tasty-quickcheck	Test.Tasty.QuickCheck

   Generates a list of a given length.

2. vector :: (Vector v a, ToJSON a) => Text -> v a -> Value

   criterion	Criterion.Report

   Render the elements of a vector. It will substitute each value in the vector for x in the following Mustache template:

   {{#foo}}
   {{x}}
   {{/foo}}
   

3. vector :: forall (v :: Type -> Type) a b . (Vector v a, Vector v b) => Iso [a] [b] (v a) (v b)

   lens	Data.Vector.Generic.Lens

   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] ^. from vector
   [0,8,15]
   

4. vector :: forall a b p f . (Profunctor p, Functor f) => p (Vector a) (f (Vector b)) -> p [a] (f [b])

   lens	Data.Vector.Lens

   Convert a list to a Vector (or back)

   >>> [1,2,3] ^. vector == Vector.fromList [1,2,3]
   True
   

   >>> [1,2,3] ^. vector . from vector
   [1,2,3]
   

   >>> Vector.fromList [0,8,15] ^. from vector . vector == Vector.fromList [0,8,15]
   True
   

5. vector :: Vector v a => Fold a (v a)

   foldl	Control.Foldl

   Fold all values into a vector

6. vector :: Num a => V3 a -> V4 a

   linear	Linear.V4

   Convert a 3-dimensional affine vector into a 4-dimensional homogeneous vector, i.e. sets the w coordinate to 0.

7. vector :: [R] -> Vector R

   hmatrix	Numeric.LinearAlgebra.Data

   Create a real vector.

   >>> vector [1..5]
   [1.0,2.0,3.0,4.0,5.0]
   it :: Vector R
   

8. vector :: forall (n :: Nat) . KnownNat n => [ℝ] -> R n

   hmatrix	Numeric.LinearAlgebra.Static

   No documentation available.

9. vector :: Vector vector a => vector a -> Unfoldr a

   deferred-folds	DeferredFolds.Unfoldr

   Elements of a vector

10. vector :: Decoder a -> Decoder (Vector a)

    dhall	Dhall.Marshal.Decode

    Decode a Vector.

    >>> input (vector natural) "[1, 2, 3]"
    [1,2,3]
    

Page 13 of many | Previous | Next