pandora-0.2.7: A box of patterns and paradigms
Pandora.Paradigm.Structure.Variation.Nonempty
type family Nonempty (s :: * -> *) = (r :: * -> *) | r -> s Source #
Type synonymous for at least one element data structure
Defined in Pandora.Paradigm.Structure.Stack
Defined in Pandora.Paradigm.Structure.Binary