Safe Haskell	None
Language	Haskell2010

Data.Aeson.Default.List

Synopsis

newtype ListH (t :: (Type -> Type) -> Type) f = ListH {
- unListH :: [t f]
}

Documentation

newtype ListH (t :: (Type -> Type) -> Type) f Source #

A 'higher-kined' List.

Constructors

ListH
Fields unListH :: [t f]

Instances

(Default t, FromJSON (ListH t Maybe)) => Default (ListH t) Source #
Instance details Defined in Data.Aeson.Default.List Methods constrDef :: String -> ListH t Identity Source # applyDef :: ListH t Identity -> ListH t Maybe -> ListH t Identity Source # applyDefs :: ListH t Maybe -> ListH t Identity Source #
IsList (ListH t f) Source #
Instance details Defined in Data.Aeson.Default.List Associated Types type Item (ListH t f) :: Type # Methods fromList :: [Item (ListH t f)] -> ListH t f # fromListN :: Int -> [Item (ListH t f)] -> ListH t f # toList :: ListH t f -> [Item (ListH t f)] #
Eq (t f) => Eq (ListH t f) Source #
Instance details Defined in Data.Aeson.Default.List Methods (==) :: ListH t f -> ListH t f -> Bool # (/=) :: ListH t f -> ListH t f -> Bool #
Read (t f) => Read (ListH t f) Source #
Instance details Defined in Data.Aeson.Default.List Methods readsPrec :: Int -> ReadS (ListH t f) # readList :: ReadS [ListH t f] # readPrec :: ReadPrec (ListH t f) # readListPrec :: ReadPrec [ListH t f] #
Show (t f) => Show (ListH t f) Source #
Instance details Defined in Data.Aeson.Default.List Methods showsPrec :: Int -> ListH t f -> ShowS # show :: ListH t f -> String # showList :: [ListH t f] -> ShowS #
Semigroup (ListH t f) Source #
Instance details Defined in Data.Aeson.Default.List Methods (<>) :: ListH t f -> ListH t f -> ListH t f # sconcat :: NonEmpty (ListH t f) -> ListH t f # stimes :: Integral b => b -> ListH t f -> ListH t f #
Monoid (ListH t f) Source #
Instance details Defined in Data.Aeson.Default.List Methods mempty :: ListH t f # mappend :: ListH t f -> ListH t f -> ListH t f # mconcat :: [ListH t f] -> ListH t f #
FromJSON (t Maybe) => FromJSON (ListH t Maybe) Source #
Instance details Defined in Data.Aeson.Default.List Methods parseJSON :: Value -> Parser (ListH t Maybe) # parseJSONList :: Value -> Parser [ListH t Maybe] #
type Item (ListH t f) Source #
Instance details Defined in Data.Aeson.Default.List type Item (ListH t f) = t f