succ package:clash-prelude

the successor of a value. For numeric types, succ adds 1.

Successor of a base-2 encoded natural number NB: Not synthesizable

Successor of a singleton natural number

Successor of a counter. Examples:

>>> type T = (Unsigned 2, Unsigned 2)

>>> countSucc @T (1, 1)
(1,2)

>>> countSucc @T (1, 2)
(1,3)

>>> countSucc @T (1, 3)
(2,0)

>>> countSucc @T (3, 3)
(0,0)

>>> countSucc @(Index 9, Index 2) (0, 1)
(1,0)

>>> countSucc @(Either (Index 9) (Index 9)) (Left 8)
Right 0

Gets the successor of a. If it overflows, the first part of the tuple will be set to True and the second part wraps around to countMin.

Gets the successor of a. If it overflows, the first part of the tuple will be set to True and the second part wraps around to countMin.

Get successor of (or in other words, add 1 to) given number