Safe Haskell | None |
---|---|
Language | Haskell98 |
Data.Iterable.Instantiate
Description
Helpers for instantiating transitive and reflexive instances of Iterable.
- self_iterable :: TypeQ -> DecsQ
- trans_iterable :: TypeQ -> TypeQ -> TypeQ -> DecsQ
Documentation
self_iterable :: TypeQ -> DecsQ #
Generates convenience function for iterating over a single object. self_iterable typA = gen_iterable typA typA [e| id |] [e| L.singleton |]