Annotations-0.1.3: Constructing, analyzing and destructing annotated trees

Annotations.MultiRec.ShowFam

Description

A Show-like type class for families of data types.

Documentation

class ShowFam fam whereSource

Methods

showFam :: fam a -> a -> StringSource

Given a witness, convert the value of that type to String.