{-# LANGUAGE ExplicitNamespaces #-}
module Data.Array.Nested (
  -- * Ranked arrays
  Ranked,
  IxR(..),
  rshape, rindex, rindexPartial, rgenerate, rsumOuter1,
  rtranspose,
  -- ** Lifting orthotope operations to 'Ranked' arrays
  rlift,

  -- * Shaped arrays
  Shaped,
  IxS(..),
  KnownShape(..), SShape(..),
  sshape, sindex, sindexPartial, sgenerate, ssumOuter1,
  stranspose,
  -- ** Lifting orthotope operations to 'Shaped' arrays
  slift,

  -- * Mixed arrays
  Mixed,
  IxX(..),
  KnownShapeX(..), StaticShapeX(..),
  mgenerate, mtranspose,

  -- * Array elements
  Elt(mshape, mindex, mindexPartial, mlift),
  Primitive(..),

  -- * Inductive natural numbers
  module Data.INat,

  -- * Further utilities / re-exports
  type (++),
) where

import Data.Array.Mixed
import Data.Array.Nested.Internal
import Data.INat