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.
enumFromN' :: forall (n :: Nat) a p . (KnownNat n, Prim a, Num a) => a -> p n -> Vector n avector-sized Data.Vector.Primitive.Sized O(n) Yield a vector of length n containing the values x, x+1, ..., x + (n - 1). The length is given explicitly as a Proxy argument.
enumFromStepN :: forall (n :: Nat) a . (KnownNat n, Prim a, Num a) => a -> a -> Vector n avector-sized Data.Vector.Primitive.Sized O(n) Yield a vector of the given length containing the values x, x+y, x+2y, ..., x + (n - 1)y. The length is inferred from the type.
enumFromStepN' :: forall (n :: Nat) a p . (KnownNat n, Prim a, Num a) => a -> a -> p n -> Vector n avector-sized Data.Vector.Primitive.Sized O(n) Yield a vector of the given length containing the values x, x+y, x+2y, ..., x + (n - 1)y. The length is given explicitly as a Proxy argument.
enumFromN :: forall (n :: Nat) a . (KnownNat n, Num a) => a -> Vector n avector-sized Data.Vector.Sized O(n) Yield a vector of length n containing the values x, x+1, ..., x + (n - 1). The length is inferred from the type.
enumFromN' :: forall (n :: Nat) a p . (KnownNat n, Num a) => a -> p n -> Vector n avector-sized Data.Vector.Sized O(n) Yield a vector of length n containing the values x, x+1, ..., x + (n - 1). The length is given explicitly as a Proxy argument.
enumFromStepN :: forall (n :: Nat) a . (KnownNat n, Num a) => a -> a -> Vector n avector-sized Data.Vector.Sized O(n) Yield a vector of the given length containing the values x, x+y, x+2y, ... , x + (n - 1)y. The length is inferred from the type.
enumFromStepN' :: forall (n :: Nat) a p . (KnownNat n, Num a) => a -> a -> p n -> Vector n avector-sized Data.Vector.Sized O(n) Yield a vector of the given length containing the values x, x+y, x+2y, ... , x + (n - 1)y. The length is given explicitly as a Proxy argument.
enumFromN :: forall (n :: Nat) a . (KnownNat n, Storable a, Num a) => a -> Vector n avector-sized Data.Vector.Storable.Sized O(n) Yield a vector of length n containing the values x, x+1, ..., x + (n - 1). The length is inferred from the type.
enumFromN' :: forall (n :: Nat) a p . (KnownNat n, Storable a, Num a) => a -> p n -> Vector n avector-sized Data.Vector.Storable.Sized O(n) Yield a vector of length n containing the values x, x+1, ..., x + (n - 1). The length is given explicitly as a Proxy argument.
enumFromStepN :: forall (n :: Nat) a . (KnownNat n, Storable a, Num a) => a -> a -> Vector n avector-sized Data.Vector.Storable.Sized O(n) Yield a vector of the given length containing the values x, x+y, x+2y, ..., x + (n - 1)y. The length is inferred from the type.