pandora-0.2.3: 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