succ -package:type-natural

succ :: Enum a => a -> a
base Prelude Data.Enum GHC.Enum, relude Relude.Enum, ghc-internal GHC.Internal.Enum
Successor of a value. For numeric types, succ adds 1.
succ :: Enum a => a -> a
hedgehog Hedgehog.Internal.Prelude, base-compat Prelude.Compat, protolude Protolude Protolude.Base, rio RIO.Partial, base-prelude BasePrelude, classy-prelude ClassyPrelude, numeric-prelude NumericPrelude NumericPrelude.Base, Cabal-syntax Distribution.Compat.Prelude, basic-prelude CorePrelude, universum Universum.Base, ihaskell IHaskellPrelude, basement Basement.Compat.Base Basement.Imports, numhask NumHask.Prelude, clash-prelude Clash.HaskellPrelude, foundation Foundation, ghc-lib-parser GHC.Prelude.Basic, prelude-compat Prelude2010, dimensional Numeric.Units.Dimensional.Prelude, rebase Rebase.Prelude, mixed-types-num Numeric.MixedTypes.PreludeHiding, xmonad-contrib XMonad.Config.Prime, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, copilot-language Copilot.Language.Prelude, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.Prelude, vcr Imports, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude
the successor of a value. For numeric types, succ adds 1.
succ :: Enum a => a -> a
ghc GHC.Prelude.Basic
succ :: forall (n :: Nat) . Nat n -> Fin n -> Maybe (Fin n)
natural-arithmetic Arithmetic.Fin
Return the successor of the Fin or return nothing if the argument is the greatest inhabitant.
succ :: forall (a :: Nat) . Nat a -> Nat (a + 1)
natural-arithmetic Arithmetic.Nat
The successor of a number.
succ :: Proxy x -> Proxy (Succ x)
tfp Type.Data.Num
succ :: Proxy n -> Proxy (Succ n)
tfp Type.Data.Num.Unary
succ :: Enum a => a <-> a
invertible Data.Invertible.Enum Data.Invertible.Prelude
Combine succ and pred
succ :: Proxy i -> Proxy (Succ i)
numtype-dk Numeric.NumType.DK.Integers
succ :: UpwardEnum a => a -> Maybe a
prelude-safeenum Prelude.SafeEnum
The successor of a value, or Nothing is there isn't one. For the numeric types in the Prelude, succ adds 1.
Succ :: T -> T
numeric-prelude Number.Peano
type family Succ x
tfp Type.Data.Num Type.Data.Num.Decimal.Number
data Succ x
tfp Type.Data.Num.Unary
Succ :: Natural n => HeadSingleton (Succ n)
tfp Type.Data.Num.Unary
Succ :: Nat -> Nat
hvect Data.HVect, boltzmann-samplers Boltzmann.Data.Oracle
Succ :: Peano -> Peano
Agda Agda.Utils.Size, peano Data.Peano
data Succ a
rank1dynamic Data.Rank1Typeable
data Succ pos
fixed-length Data.FixedLength
Succ :: pos -> Succ pos
fixed-length Data.FixedLength
type family Succ (z :: Z) :: Z
units Data.Metrology Data.Metrology.Poly Data.Metrology.Vector Data.Metrology.Z
Add one to an integer
type Succ b = 'BP (Succ' b)
bin Data.Type.Bin
Successor type family. 
>>> :kind! Succ Bin5
Succ Bin5 :: Bin
= 'BP ('B0 ('B1 'BE))

Succ   :: Bin -> Bin
Succ'  :: Bin -> BinP
Succ'' :: BinP -> Bin
type family Succ (b :: BinP) :: BinP
bin Data.Type.BinP
type family Succ (i :: TypeInt) :: TypeInt
numtype-dk Numeric.NumType.DK.Integers
data Succ
generic-data-surgery Generic.Data.Surgery.Internal
Succ :: PeanoNat -> PeanoNat
witness Data.PeanoNat