Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. enumFromThen :: Enum a => a -> a -> [a]

   basement	Basement.Imports

   Used in Haskell's translation of [n,n'..] with [n,n'..] = enumFromThen n n', a possible implementation being enumFromThen n n' = n : n' : worker (f x) (f x n'), worker s v = v : worker s (s v), x = fromEnum n' - fromEnum n and

   f n y
   | n > 0 = f (n - 1) (succ y)
   | n < 0 = f (n + 1) (pred y)
   | otherwise = y
   
   

   Examples

   • enumFromThen 4 6 :: [Integer] = [4,6,8,10...]

   • enumFromThen 6 2 :: [Int] = [6,2,-2,-6,...,minBound ::
     Int]

2. enumFromThenTo :: Enum a => a -> a -> a -> [a]

   basement	Basement.Imports

   Used in Haskell's translation of [n,n'..m] with [n,n'..m] = enumFromThenTo n n' m, a possible implementation being enumFromThenTo n n' m = worker (f x) (c x) n m, x = fromEnum n' - fromEnum n, c x = bool (>=) ((x 0)

   f n y
   | n > 0 = f (n - 1) (succ y)
   | n < 0 = f (n + 1) (pred y)
   | otherwise = y
   
   

   and

   worker s c v m
   | c v m = v : worker s c (s v) m
   | otherwise = []
   
   

   Examples

   • enumFromThenTo 4 2 -6 :: [Integer] =
     [4,2,0,-2,-4,-6]

   • enumFromThenTo 6 8 2 :: [Int] = []

3. enumFromTo :: Enum a => a -> a -> [a]

   basement	Basement.Imports

   Used in Haskell's translation of [n..m] with [n..m] = enumFromTo n m, a possible implementation being

   enumFromTo n m
   | n <= m = n : enumFromTo (succ n) m
   | otherwise = []
   
   

   Examples

   • enumFromTo 6 10 :: [Int] = [6,7,8,9,10]

   • enumFromTo 42 1 :: [Integer] = []

4. enumFromN :: forall (v :: Type -> Type) (n :: Nat) a . (KnownNat n, Vector v a, Num a) => a -> Vector v n a

   vector-sized	Data.Vector.Generic.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.

5. enumFromN' :: forall (v :: Type -> Type) (n :: Nat) a p . (KnownNat n, Vector v a, Num a) => a -> p n -> Vector v n a

   vector-sized	Data.Vector.Generic.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.

6. enumFromStepN :: forall (v :: Type -> Type) (n :: Nat) a . (KnownNat n, Vector v a, Num a) => a -> a -> Vector v n a

   vector-sized	Data.Vector.Generic.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.

7. enumFromStepN' :: forall (v :: Type -> Type) (n :: Nat) a p . (KnownNat n, Vector v a, Num a) => a -> a -> p n -> Vector v n a

   vector-sized	Data.Vector.Generic.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.

8. enumFromN :: forall (n :: Nat) a . (KnownNat n, Prim a, Num a) => a -> Vector n a

   vector-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 inferred from the type.

9. enumFromN' :: forall (n :: Nat) a p . (KnownNat n, Prim a, Num a) => a -> p n -> Vector n a

   vector-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.

10. enumFromStepN :: forall (n :: Nat) a . (KnownNat n, Prim a, Num a) => a -> a -> Vector n a

    vector-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.

Page 47 of many | Previous | Next