Data.Index

Core

class Index n

class Dim n

class Rank a b

data a :. b

data Z

Ranges

class Ranged n

class Range n

data Peano

type family ToPeano n :: Peano

type family Size dim :: Nat

Static

sfoldlRange

sfoldrRange

swithRange

Runtime

foldlRange

foldrRange

withRange

Over Int indices

Static

sfoldlRangeIndices

sfoldrRangeIndices

swithRangeIndices

Runtime

foldlRangeIndices

foldrRangeIndices

withRangeIndices

Utility

bounds

range

srange

dimHead

dimTail

pdimHead

pdimTail

Syntax

dim