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