pandora-0.2.1: A box of patterns and paradigms
Pandora.Paradigm.Structure.Nonempty
type family Nonempty (structure :: * -> *) where ... Source #
Type synonymous for at least one element data structure
Equations