Agda-2.5.1: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell98

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.