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