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