| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.HasEmpty
- class HasEmpty a where
- class HasEmptyCode (xs :: [k])
- gEmptyValue :: forall a. (Generic a, HasEmptyCode (Code a), All HasEmpty (Head (Code a))) => a
Documentation
This class defines how to represent empty values in a UI. A generic derivation is available for every SOP type.
Methods
emptyValue :: a #
emptyValue :: (Generic a, HasEmptyCode (Code a), All HasEmpty (Head (Code a))) => a #
Instances
| HasEmpty Bool # | |
| HasEmpty Char # | |
| HasEmpty Double # | |
| HasEmpty Int # | |
| HasEmpty () # | |
| HasEmpty Text # | |
| HasEmpty [a] # | |
| HasEmpty (Maybe a) # | |
| HasEmpty a => HasEmpty (Identity a) # | |
| HasEmpty (Seq k) # | |
| Ord k => HasEmpty (Set k) # | |
| (HasEmpty a, HasEmpty b) => HasEmpty (a, b) # | |
| Ord k => HasEmpty (Map k v) # | |
| (HasEmpty a, HasEmpty b) => HasEmpty ((-*-) a b) # | |
| (HasEmpty a, HasEmpty b) => HasEmpty ((|*|) a b) # | |
class HasEmptyCode (xs :: [k]) #
Instances
| HasEmptyCode k ((:) k x xs) # | |
gEmptyValue :: forall a. (Generic a, HasEmptyCode (Code a), All HasEmpty (Head (Code a))) => a #