Copyright	James Koppel 2013
License	BSD-style (see the LICENSE file in the distribution)
Safe Haskell	None
Language	Haskell98

Data.Comp.Multi.Strategy.Derive

Description

This file gives a Template-Haskell generator for DynCase

Synopsis

makeDynCase :: Name -> Q [Dec]

Documentation

makeDynCase :: Name -> Q [Dec] Source #

makeDynCase ''T takes a datatype T of kind (* -> *) -> * -> * (i.e.: a signature in the compdata or cubix-compdata library) and generates a DynCase instance for T.