Data.Ix.Deriving.Internal

Exports functions to mechanically derive Ix instances.

Note: this is an internal module, and as such, the API presented here is not guaranteed to be stable, even between minor releases of this library.

Ix

deriveIx :: Name -> Q [Dec]

Generates a Ix instance declaration for the given data type or data family instance.

makeRange :: Name -> Q Exp

Generates a lambda expression which behaves like range (without requiring an Ix instance).

makeUnsafeIndex :: Name -> Q Exp

Generates a lambda expression which behaves like unsafeIndex (without requiring an Ix instance).

makeInRange :: Name -> Q Exp

Generates a lambda expression which behaves like inRange (without requiring an Ix instance).