| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.Witness.ListElement
Documentation
class HasListElement n list where Source
Associated Types
type ListElement n list :: * Source
Methods
getListElement :: Nat n -> list -> ListElement n list Source
putListElement :: Nat n -> ListElement n list -> list -> list Source
Instances
| HasListElement Zero (a, r) Source | |
| HasListElement n r => HasListElement (Succ n) (a, r) Source |
modifyListElement :: HasListElement n t => Nat n -> (ListElement n t -> ListElement n t) -> t -> t Source