Generates a Ix instance declaration for the given data type or data
family instance.
Modulederiving-compat-0.6.8Haskell2010
Data.Ix.Deriving
Exports functions to mechanically derive Ix instances.
Contents
Synopsis
- value deriveIx
- value makeRange
- value makeUnsafeIndex
- value makeInRange
- Packagederiving-compat-0.6.8
- Exports4
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceDeriving.hs
Ix
Generates a lambda expression which behaves like range (without
requiring an Ix instance).
Generates a lambda expression which behaves like unsafeIndex (without
requiring an Ix instance).
Generates a lambda expression which behaves like inRange (without
requiring an Ix instance).
deriveIx limitations
Be aware of the following potential gotchas:
Type variables of kind
*are assumed to haveIxconstraints. If this is not desirable, use makeRange or one of its cousins.Generated
Ixinstances for poly-kinded data family instances are likely to require the use of theTypeInTypeextension on GHC 8.0, 8.2, or 8.4.