Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

  1. fromList :: forall (n :: Nat) a . KnownNat n => [a] -> Maybe (Vector n a)

    vector-sized Data.Vector.Sized

    O(n) Convert a list to a vector.

  2. fromListN :: forall (n :: Nat) a . KnownNat n => [a] -> Maybe (Vector n a)

    vector-sized Data.Vector.Sized

    O(n) Convert the first n elements of a list to a vector. The length of the resulting vector is inferred from the type.

  3. fromListN' :: forall (n :: Nat) a p . KnownNat n => p n -> [a] -> Maybe (Vector n a)

    vector-sized Data.Vector.Sized

    O(n) Convert the first n elements of a list to a vector. The length of the resulting vector is given explicitly as a Proxy argument.

  4. toList :: forall (n :: Nat) a . Vector n a -> [a]

    vector-sized Data.Vector.Sized

    O(n) Convert a vector to a list.

  5. withSizedList :: [a] -> (forall (n :: Nat) . KnownNat n => Vector n a -> r) -> r

    vector-sized Data.Vector.Sized

    O(n) Takes a list and returns a continuation providing a vector with a size parameter corresponding to the length of the list. Essentially converts a list into a vector with the proper size parameter, determined at runtime. See withSized

  6. fromList :: forall a (n :: Nat) . (Storable a, KnownNat n) => [a] -> Maybe (Vector n a)

    vector-sized Data.Vector.Storable.Sized

    O(n) Convert a list to a vector.

  7. fromListN :: forall (n :: Nat) a . (Storable a, KnownNat n) => [a] -> Maybe (Vector n a)

    vector-sized Data.Vector.Storable.Sized

    O(n) Convert the first n elements of a list to a vector. The length of the resulting vector is inferred from the type.

  8. fromListN' :: forall (n :: Nat) a p . (Storable a, KnownNat n) => p n -> [a] -> Maybe (Vector n a)

    vector-sized Data.Vector.Storable.Sized

    O(n) Convert the first n elements of a list to a vector. The length of the resulting vector is given explicitly as a Proxy argument.

  9. toList :: forall a (n :: Nat) . Storable a => Vector n a -> [a]

    vector-sized Data.Vector.Storable.Sized

    O(n) Convert a vector to a list.

  10. withSizedList :: Storable a => [a] -> (forall (n :: Nat) . KnownNat n => Vector n a -> r) -> r

    vector-sized Data.Vector.Storable.Sized

    O(n) Takes a list and returns a continuation providing a vector with a size parameter corresponding to the length of the list. Essentially converts a list into a vector with the proper size parameter, determined at runtime. See withSized

Page 88 of many | Previous | Next