| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Data.Witness.ListElement
Documentation
class HasListElement (n :: Nat) (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) # | |
Defined in Data.Witness.ListElement Associated Types type ListElement Zero (a, r) :: * # Methods getListElement :: NatType Zero -> (a, r) -> ListElement Zero (a, r) # putListElement :: NatType Zero -> ListElement Zero (a, r) -> (a, r) -> (a, r) # | |
| HasListElement n r => HasListElement (Succ n) (a, r) # | |
Defined in Data.Witness.ListElement Associated Types type ListElement (Succ n) (a, r) :: * # Methods getListElement :: NatType (Succ n) -> (a, r) -> ListElement (Succ n) (a, r) # putListElement :: NatType (Succ n) -> ListElement (Succ n) (a, r) -> (a, r) -> (a, r) # | |
modifyListElement :: HasListElement n t => NatType n -> (ListElement n t -> ListElement n t) -> t -> t #