Data.Iterable.Instantiate

Helpers for instantiating transitive and reflexive instances of Iterable.

Documentation

self_iterable :: Q Type -> DecsQ

Generates convenience function for iterating over a single object. self_iterable typA = gen_iterable typA typA [e| id |] [e| L.singleton |]

trans_iterable :: Q Type -> Q Type -> Q Type -> DecsQ

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