Copyright | Copyright (C) 2015 Kyle Carter |
---|---|
License | BSD3 |
Maintainer | Kyle Carter <kylcarte@indiana.edu> |
Stability | experimental |
Portability | RankNTypes |
Safe Haskell | None |
Language | Haskell2010 |
A singleton
-esque type for representing indices in a type-level list.
Documentation
data Index :: [k] -> k -> * where Source
TestEquality k (Index k as) Source | |
Show1 k (Index k as) Source | |
Ord1 k (Index k as) Source | |
Eq1 k (Index k as) Source | |
Known k (Index k as) a => Known k (Index k ((:<) k b as)) a Source | |
Known k (Index k ((:<) k a as)) a Source | |
Read2 [k] k (Index k) Source | |
IxTraversable1 [k] k (Index k) (Sum k) Source | |
IxTraversable1 [k] k (Index k) (Prod k) Source | |
IxFoldable1 [k] k (Index k) (Sum k) Source | |
IxFoldable1 [k] k (Index k) (Prod k) Source | |
IxFunctor1 [k] k (Index k) (Sum k) Source | |
IxFunctor1 [k] k (Index k) (Prod k) Source | |
Eq (Index k as a) Source | |
Ord (Index k as a) Source | |
Show (Index k as a) Source | |
type KnownC k (Index k ((:<) k b as)) a = ØC | |
type KnownC k (Index k ((:<) k a as)) a = ØC |