-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Additional shape types for the comfort-array package
--   
--   Some extra array shape types additional to the ones in the
--   <tt>comfort-array</tt> package. These require some more package
--   dependencies and use type-encoded natural numbers.
--   
--   <ul>
--   <li><tt>Static.ZeroBased</tt>: Like <tt>Shape.ZeroBased</tt> but with
--   type-encoded number as size.</li>
--   <li><tt>Simplex</tt>: Simplices of any dimension, where the dimension
--   is encoded in the type. Only a private module for demonstration.
--   Production-ready implementation in <tt>comfort-array</tt>.</li>
--   </ul>
@package comfort-array-shape
@version 0.0

module Data.Array.Comfort.Shape.Static

-- | <a>ZeroBased</a> denotes a range starting at zero and has a certain
--   length.
--   
--   <pre>
--   &gt;&gt;&gt; Shape.indices (Static.ZeroBased (Unary.unary TypeNum.u0))
--   []
--   
--   &gt;&gt;&gt; Shape.indices (Static.ZeroBased (Unary.unary TypeNum.u1))
--   [i0]
--   
--   &gt;&gt;&gt; Shape.indices (Static.ZeroBased (Unary.unary TypeNum.u7))
--   [i0,i1,i2,i3,i4,i5,i6]
--   </pre>
newtype ZeroBased n
ZeroBased :: Proxy (Un n) -> ZeroBased n
[zeroBasedSize] :: ZeroBased n -> Proxy (Un n)
vector :: (Natural n, Storable a) => T n a -> Array (ZeroBased n) a
instance Type.Data.Num.Unary.Natural n => GHC.Show.Show (Data.Array.Comfort.Shape.Static.ZeroBased n)
instance GHC.Classes.Eq (Data.Array.Comfort.Shape.Static.ZeroBased n)
instance Type.Data.Num.Unary.Natural n => Data.Array.Comfort.Shape.C (Data.Array.Comfort.Shape.Static.ZeroBased n)
instance Type.Data.Num.Unary.Natural n => Data.Array.Comfort.Shape.Indexed (Data.Array.Comfort.Shape.Static.ZeroBased n)
instance Type.Data.Num.Unary.Natural n => Data.Array.Comfort.Shape.InvIndexed (Data.Array.Comfort.Shape.Static.ZeroBased n)
instance Type.Data.Num.Unary.Natural n => Data.Array.Comfort.Shape.Static (Data.Array.Comfort.Shape.Static.ZeroBased n)