threepenny-editors-0.5.6: Composable algebraic editors

Safe HaskellNone
LanguageHaskell2010

Data.HasEmpty

Synopsis

Documentation

class HasEmpty a where #

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 # 

Methods

emptyValue :: Bool #

HasEmpty Char # 

Methods

emptyValue :: Char #

HasEmpty Double # 

Methods

emptyValue :: Double #

HasEmpty Int # 

Methods

emptyValue :: Int #

HasEmpty () # 

Methods

emptyValue :: () #

HasEmpty Text # 

Methods

emptyValue :: Text #

HasEmpty [a] # 

Methods

emptyValue :: [a] #

HasEmpty (Maybe a) # 

Methods

emptyValue :: Maybe a #

HasEmpty a => HasEmpty (Identity a) # 

Methods

emptyValue :: Identity a #

HasEmpty (Seq k) # 

Methods

emptyValue :: Seq k #

Ord k => HasEmpty (Set k) # 

Methods

emptyValue :: Set k #

(HasEmpty a, HasEmpty b) => HasEmpty (a, b) # 

Methods

emptyValue :: (a, b) #

Ord k => HasEmpty (Map k v) # 

Methods

emptyValue :: Map k v #

(HasEmpty a, HasEmpty b) => HasEmpty ((-*-) a b) # 

Methods

emptyValue :: a -*- b #

(HasEmpty a, HasEmpty b) => HasEmpty ((|*|) a b) # 

Methods

emptyValue :: 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 #