Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type family Nonempty (s :: * -> *) = (r :: * -> *) | r -> s
Documentation
type family Nonempty (s :: * -> *) = (r :: * -> *) | r -> s Source #
Type synonymous for at least one element data structure
Instances
type Nonempty Binary Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
type Nonempty List Source # | |
Defined in Pandora.Paradigm.Structure.Some.List | |
type Nonempty Rose Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose |