Data.Index

Core

class Dim n

zero

class Rank a b

data a :. b

data Z

Selecting whether to unroll loops

data Mode

roll

unroll

modeProxy

Using ranges

foldlRange

foldrRange

withRange

Over Int indices

foldlRangeIndices

foldrRangeIndices

withRangeIndices

Range types

class Ranged n

type family InRange a b :: Bool

class Range n

data Peano

type family ToPeano n :: Peano

type family Size dim :: Nat

Utility

bounds

range

dimHead

dimTail

pdimHead

pdimTail

cnat

type family And a b :: Bool

Syntax

dim

dimu

dimr