| Safe Haskell | None |
|---|
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.