iterable-3.0: API for hierarchical multilevel collections.

Safe HaskellNone
LanguageHaskell98

Data.Iterable.Instantiate

Description

Helpers for instantiating transitive and reflexive instances of Iterable.

Synopsis

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 |]

trans_iterable :: TypeQ -> TypeQ -> TypeQ -> DecsQ #

Generates a transitive instance of Iterable between $typA and $typC, assuming existence of Iterable $typA $typB, and Iterable $typB $typC.