CurryInfo: base-3.3.0 / Prelude.Enum

class Enum a where
  succ :: a -> a
  pred :: a -> a
  toEnum :: Int -> a
  fromEnum :: a -> Int
  enumFrom :: a -> [a]
  enumFromThen :: a -> a -> [a]
  enumFromTo :: a -> a -> [a]
  enumFromThenTo :: a -> a -> a -> [a]

  succ = toEnum . (+ 1) . fromEnum
  pred = toEnum . (\x -> x - 1) . fromEnum
  enumFrom x = map toEnum [fromEnum x ..]
  enumFromThen x y = map toEnum [fromEnum x, fromEnum y ..]
  enumFromTo x y = map toEnum [fromEnum x .. fromEnum y]
  enumFromThenTo x y z = map toEnum [fromEnum x, fromEnum y .. fromEnum z]

--- The class `Enum` provides methods to enumerate values of the given
--- type in a sequential order.
--- If a type is an instance of `Enum`, one can use the standard
--- notation for arithmetic sequences to enumerate list of values.

["succ 0 :: a -> a","pred 0 :: a -> a","toEnum :: Int -> a","fromEnum :: a -> Int","enumFrom 1 :: a -> [a]","enumFromThen 2 :: a -> a -> [a]","enumFromTo 2 :: a -> a -> [a]","enumFromThenTo 3 :: a -> a -> a -> [a]"]

Enum