Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class HasEmpty a where
- class HasEmptyCode (xs :: [k])
- gEmptyValue :: forall a. (Generic a, HasEmptyCode (Code a), All HasEmpty (Head (Code a))) => a
Documentation
class HasEmpty a where Source #
This class defines how to represent empty values in a UI. A generic derivation is available for every SOP type.
emptyValue :: a Source #
emptyValue :: (Generic a, HasEmptyCode (Code a), All HasEmpty (Head (Code a))) => a Source #
Instances
class HasEmptyCode (xs :: [k]) Source #
Instances
HasEmptyCode (x ': xs :: [k]) Source # | |
Defined in Data.HasEmpty |
gEmptyValue :: forall a. (Generic a, HasEmptyCode (Code a), All HasEmpty (Head (Code a))) => a Source #