Copyright	(c) Galois Inc 2013-2016
License	BSD3
Maintainer	Joe Hendrix <jhendrix@galois.com>
Safe Haskell	Safe-Inferred
Language	Haskell2010

Lang.Crucible.Utils.Structural

Description

This module declares template Haskell primitives so that it is easier to work with GADTs that have many constructors.

Synopsis

structuralPretty :: TypeQ -> [(TypePat, ExpQ)] -> ExpQ

Documentation

structuralPretty :: TypeQ -> [(TypePat, ExpQ)] -> ExpQ Source #

structuralPretty tp generates a function with the type forall f ann. (forall x. f x -> Doc ann) -> (forall x. tp f x -> Doc ann) suitable for instantiating the PrettyApp class.