Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
vector-sized Data.Vector.Generic.Sized O(n) Convert the first n elements of a list to a vector. The length of the resultant vector is inferred from the type.
-
vector-sized Data.Vector.Generic.Sized O(n) Convert the first n elements of a list to a vector. The length of the resultant vector is given explicitly as a Proxy argument.
fromListN :: forall (n :: Nat) a . (Prim a, KnownNat n) => [a] -> Maybe (Vector n a)vector-sized Data.Vector.Primitive.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.
fromListN' :: forall (n :: Nat) a p . (Prim a, KnownNat n) => p n -> [a] -> Maybe (Vector n a)vector-sized Data.Vector.Primitive.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.
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.
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.
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.
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.
fromListN :: forall (n :: Nat) a . (Unbox a, KnownNat n) => [a] -> Maybe (Vector n a)vector-sized Data.Vector.Unboxed.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.
fromListN' :: forall (n :: Nat) a p . (Unbox a, KnownNat n) => p n -> [a] -> Maybe (Vector n a)vector-sized Data.Vector.Unboxed.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.