Safe Haskell	None
Language	Haskell2010

Data.Aeson.Default.Map.Strict

Synopsis

newtype MapH k (t :: (Type -> Type) -> Type) f = MapH {
- unMapH :: Map k (t f)
}

Documentation

newtype MapH k (t :: (Type -> Type) -> Type) f Source #

A 'higer-kinded' Strict Map.

Constructors

MapH
Fields unMapH :: Map k (t f)

Instances

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