Safe Haskell	None
Language	Haskell2010

Data.HasEmpty

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.

Methods

emptyValue :: a Source #

emptyValue :: (Generic a, HasEmptyCode (Code a), All HasEmpty (Head (Code a))) => a Source #

Instances

HasEmpty Bool Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Bool Source #
HasEmpty Char Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Char Source #
HasEmpty Double Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Double Source #
HasEmpty Int Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Int Source #
HasEmpty () Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: () Source #
HasEmpty Text Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Text Source #
HasEmpty [a] Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: [a] Source #
HasEmpty (Maybe a) Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Maybe a Source #
HasEmpty a => HasEmpty (Identity a) Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Identity a Source #
HasEmpty (Seq k) Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Seq k Source #
Ord k => HasEmpty (Set k) Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Set k Source #
HasEmpty a => HasEmpty (I a) Source #
Instance details Defined in Graphics.UI.Threepenny.Editors Methods emptyValue :: I a Source #
(HasEmpty a, HasEmpty b) => HasEmpty (a, b) Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: (a, b) Source #
Ord k => HasEmpty (Map k v) Source #
Instance details Defined in Data.HasEmpty Methods emptyValue :: Map k v Source #
(HasEmpty a, HasEmpty b) => HasEmpty (a -*- b) Source #
Instance details Defined in Graphics.UI.Threepenny.Editors.Layout Methods emptyValue :: a -*- b Source #
(HasEmpty a, HasEmpty b) => HasEmpty (a \|*\| b) Source #
Instance details Defined in Graphics.UI.Threepenny.Editors.Layout Methods emptyValue :: a \|*\| b Source #
All HasEmpty xs => HasEmpty (NP I xs) Source #
Instance details Defined in Graphics.UI.Threepenny.Editors Methods emptyValue :: NP I xs Source #

class HasEmptyCode (xs :: [k]) Source #

Instances

HasEmptyCode (x ': xs :: [k]) Source #
Instance details Defined in Data.HasEmpty

gEmptyValue :: forall a. (Generic a, HasEmptyCode (Code a), All HasEmpty (Head (Code a))) => a Source #