{-# LANGUAGE ExplicitNamespaces #-}
{-# LANGUAGE PatternSynonyms #-}
module Data.Array.Nested (
  -- * Ranked arrays
  Ranked,
  ListR(ZR, (:::)), knownListR,
  IxR(.., ZIR, (:.:)), IIxR, knownIxR,
  ShR(.., ZSR, (:$:)), knownShR,
  rshape, rindex, rindexPartial, rgenerate, rsumOuter1,
  rtranspose, rappend, rscalar, rfromVector, rtoVector, runScalar,
  rconstant, rfromList, rfromList1, rtoList, rtoList1,
  rslice,
  -- ** Lifting orthotope operations to 'Ranked' arrays
  rlift,

  -- * Shaped arrays
  Shaped,
  ListS(ZS, (::$)),
  IxS(.., ZIS, (:.$)), IIxS,
  ShS(..), KnownShape(..),
  sshape, sindex, sindexPartial, sgenerate, ssumOuter1,
  stranspose, sappend, sscalar, sfromVector, stoVector, sunScalar,
  sconstant, sfromList, sfromList1, stoList, stoList1,
  sslice,
  -- ** Lifting orthotope operations to 'Shaped' arrays
  slift,

  -- * Mixed arrays
  Mixed,
  IxX(..), IIxX,
  KnownShapeX(..), StaticShX(..),
  mgenerate, mtranspose, mappend, mfromVector, mtoVector, munScalar,
  mconstant, mfromList1, mtoList1, mslice,

  -- * Array elements
  Elt(mshape, mindex, mindexPartial, mscalar, mfromList, mtoList, mlift, mlift2),
  PrimElt,
  Primitive(..),

  -- * Inductive natural numbers
  module Data.INat,

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

import Prelude hiding (mappend)

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