Safe Haskell  None 

Language  Haskell98 
Documentation
>>>
import qualified Data.Array.Comfort.Shape.Static as Static
>>>
import qualified Data.Array.Comfort.Shape as Shape
>>>
>>>
import qualified Type.Data.Num.Unary.Literal as TypeNum
>>>
import qualified Type.Data.Num.Unary as Unary
ZeroBased
denotes a range starting at zero and has a certain length.
>>>
Shape.indices (Static.ZeroBased (Unary.unary TypeNum.u0))
[]>>>
Shape.indices (Static.ZeroBased (Unary.unary TypeNum.u1))
[i0]>>>
Shape.indices (Static.ZeroBased (Unary.unary TypeNum.u7))
[i0,i1,i2,i3,i4,i5,i6]
ZeroBased  

Instances
Eq (ZeroBased n) Source #  
Natural n => Show (ZeroBased n) Source #  
Natural n => C (ZeroBased n) Source #  
Defined in Data.Array.Comfort.Shape.Static  
Natural n => Indexed (ZeroBased n) Source #  
Defined in Data.Array.Comfort.Shape.Static indices :: ZeroBased n > [Index (ZeroBased n)] # offset :: ZeroBased n > Index (ZeroBased n) > Int # uncheckedOffset :: ZeroBased n > Index (ZeroBased n) > Int # unifiedOffset :: Checking check => ZeroBased n > Index (ZeroBased n) > Result check Int # inBounds :: ZeroBased n > Index (ZeroBased n) > Bool # sizeOffset :: ZeroBased n > (Int, Index (ZeroBased n) > Int) # uncheckedSizeOffset :: ZeroBased n > (Int, Index (ZeroBased n) > Int) # unifiedSizeOffset :: Checking check => ZeroBased n > (Int, Index (ZeroBased n) > Result check Int) #  
Natural n => InvIndexed (ZeroBased n) Source #  
Natural n => Static (ZeroBased n) Source #  
Defined in Data.Array.Comfort.Shape.Static  
type Index (ZeroBased n) Source #  
Defined in Data.Array.Comfort.Shape.Static 