Integer package:clash-prelude

Arbitrary precision integers. In contrast with fixed-size integral types such as Int, the Integer type represents the entire infinite range of integers. For more information about this type's representation, see the comments in its implementation.

Attribute which argument is rendered as a integer. Example: https://www.intel.com/content/www/us/en/programmable/quartushelp/current/index.htm#hdl/vlog/vlog_file_dir_max_depth.htm

Conversion from an Integer. An integer literal represents the application of the function fromInteger to the appropriate value of type Integer, so such literals have type (Num a) => a.

conversion to Integer

Same as snatToInteger and natVal, but doesn't take term arguments. Example usage:

>>> natToInteger @5
5

Reify the type-level Nat n to it's term-level Integer representation.