| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Pandora.Paradigm.Structure.Modification.Nonempty
Synopsis
- type family Nonempty (structure :: * -> *) where ...
Documentation
type family Nonempty (structure :: * -> *) where ... Source #
At least one element data structure
Equations
| Nonempty (Maybe <::> Construction t) = Construction t |