Portability	portable
Stability	provisional
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	Safe-Inferred

Numeric.Natural.Internal

Description

This module exposes the potentially unsafe operations that are sometimes needed for efficiency: The Natural data constructor and unsafePred.

Synopsis

Documentation

newtype Natural

Constructors

Natural
Fields runNatural :: Integer

Instances

class Integral n => Whole n where

A refinement of Integral to represent types that do not contain negative numbers.

Methods

Instances