| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.Utils.Geniplate
Description
Utilities related to Geniplate.
- instanceUniverseBiT' :: [TypeQ] -> TypeQ -> Q [Dec]
- instanceTransformBiMT' :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec]
- dontDescendInto :: [TypeQ]
Documentation
instanceUniverseBiT' :: [TypeQ] -> TypeQ -> Q [Dec] Source
A localised instance of instanceUniverseBiT. The generated
universeBi functions neither descend into the types in
dontDescendInto, nor into the types in the list argument.
instanceTransformBiMT' :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec] Source
A localised instance of instanceTransformBiMT. The generated
transformBiM functions neither descend into the types in
dontDescendInto, nor into the types in the list argument.
dontDescendInto :: [TypeQ] Source
Types which Geniplate should not descend into.