Safe Haskell | None |
---|---|

Language | Haskell98 |

## Synopsis

- newtype ZeroBased n = ZeroBased {
- zeroBasedSize :: UnaryProxy n

- vector :: (Natural n, Storable a) => T n a -> Array (ZeroBased n) a

# Documentation

`ZeroBased`

denotes a range starting at zero and has a certain length.

## Instances

Eq (ZeroBased n) Source # | |

Natural n => Show (ZeroBased n) Source # | |

Natural n => C (ZeroBased n) Source # | |

Defined in Numeric.LAPACK.ShapeStatic | |

Natural n => Indexed (ZeroBased n) Source # | |

Defined in Numeric.LAPACK.ShapeStatic indices :: ZeroBased n -> [Index (ZeroBased n)] # offset :: ZeroBased n -> Index (ZeroBased n) -> Int # uncheckedOffset :: ZeroBased n -> Index (ZeroBased n) -> Int # inBounds :: ZeroBased n -> Index (ZeroBased n) -> Bool # sizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int) # uncheckedSizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int) # | |

Natural n => InvIndexed (ZeroBased n) Source # | |

Defined in Numeric.LAPACK.ShapeStatic | |

Natural n => Static (ZeroBased n) Source # | |

Defined in Numeric.LAPACK.ShapeStatic | |

type Index (ZeroBased n) Source # | |

Defined in Numeric.LAPACK.ShapeStatic |