Data.IxSet.Typed

# Set type

data IxSet ixs a

data IxList ixs a

class Indexable ixs a

class IsIndexOf ix ixs

type family All (c :: * -> Constraint) (xs :: [*]) :: Constraint

## Declaring indices

data Ix ix a

ixList

class MkIxList ixs ixs' a r

ixFun

ixGen

## TH derivation of indices

noCalcs

inferIxSet

# Changes to set

type IndexOp

type SetOp

change

insert

insertList

delete

updateIx

deleteIx

# Creation

empty

fromSet

fromList

# Conversion

toSet

toList

toAscList

toDescList

getOne

getOneOr

# Size checking

size

null

# Set operations

(&&&)

(|||)

union

intersection

# Indexing

(@=)

(@<)

(@>)

(@<=)

(@>=)

(@><)

(@>=<)

(@><=)

(@>=<=)

(@+)

(@*)

getEQ

getLT

getGT

getLTE

getGTE

getRange

groupBy

groupAscBy

groupDescBy

# Index creation helpers

flatten

flattenWithCalcs

# Debugging and optimization

stats