diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-04-14 10:31:46 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-04-14 10:33:54 +0200 |
| commit | 018ebecade82009a3410f19982dd435b6e0715d8 (patch) | |
| tree | 286688dcba6963211705c135a032ddd82df4cf88 /src/Data/Array/Nested.hs | |
| parent | 3e74b0673caba7c04353c0cedb1d6e02de1fd007 (diff) | |
Rename inductive naturals to INat
Diffstat (limited to 'src/Data/Array/Nested.hs')
| -rw-r--r-- | src/Data/Array/Nested.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs index aa7c7f9..0de3884 100644 --- a/src/Data/Array/Nested.hs +++ b/src/Data/Array/Nested.hs @@ -27,8 +27,8 @@ module Data.Array.Nested ( Elt(mshape, mindex, mindexPartial, mlift), Primitive(..), - -- * Natural numbers - module Data.Nat, + -- * Inductive natural numbers + module Data.INat, -- * Further utilities / re-exports type (++), @@ -39,4 +39,4 @@ import qualified Data.Vector.Unboxed as VU import Data.Array.Mixed import Data.Array.Nested.Internal -import Data.Nat +import Data.INat |