Agda-2.6.1.3: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.Geniplate

Description

Utilities related to Geniplate.

Synopsis

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.