From f8e131d7924c24e0ed015507e2299638b72b6a57 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Tue, 23 Apr 2024 16:53:20 +0200 Subject: Define and expose the recomputing of KnownINat for ranks --- src/Data/Array/Nested.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/Data/Array/Nested.hs') diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs index 7f2c232..9cb3182 100644 --- a/src/Data/Array/Nested.hs +++ b/src/Data/Array/Nested.hs @@ -3,9 +3,9 @@ module Data.Array.Nested ( -- * Ranked arrays Ranked, - ListR, pattern (:::), pattern ZR, - IxR(..), pattern (:.:), pattern ZIR, IIxR, - StaticShapeR(..), pattern (:$:), pattern ZSR, + ListR, pattern (:::), pattern ZR, knownListR, + IxR(..), pattern (:.:), pattern ZIR, IIxR, knownIxR, + StaticShapeR(..), pattern (:$:), pattern ZSR, knownStaticShapeR, rshape, rindex, rindexPartial, rgenerate, rsumOuter1, rtranspose, rappend, rscalar, rfromVector, runScalar, rconstant, rfromList, rfromList1, rtoList, rtoList1, -- cgit v1.2.3-70-g09d2