Methods

arbitrary :: Gen Key#

shrink :: Key -> [Key]#

Methods

coarbitrary :: Key -> Gen b -> Gen b#

Methods

function :: (Key -> b) -> Key :-> b#

Methods

parseJSON :: Value -> Parser KeySource #

parseJSONList :: Value -> Parser [Key]Source #

omittedField :: Maybe KeySource #

Methods

fromJSONKey :: FromJSONKeyFunction KeySource #

fromJSONKeyList :: FromJSONKeyFunction [Key]Source #

Methods

toJSON :: Key -> ValueSource #

toEncoding :: Key -> EncodingSource #

toJSONList :: [Key] -> ValueSource #

toEncodingList :: [Key] -> EncodingSource #

omitField :: Key -> BoolSource #

Methods

toJSONKey :: ToJSONKeyFunction KeySource #

toJSONKeyList :: ToJSONKeyFunction [Key]Source #

Methods

rnf :: Key -> ()#

Methods

mempty :: Key#

mappend :: Key -> Key -> Key#

mconcat :: [Key] -> Key#

Methods

(<>) :: Key -> Key -> Key#

sconcat :: NonEmpty Key -> Key#

stimes :: Integral b => b -> Key -> Key#

Methods

(==) :: Key -> Key -> Bool#

(/=) :: Key -> Key -> Bool#

Methods

compare :: Key -> Key -> Ordering#

(<) :: Key -> Key -> Bool#

(<=) :: Key -> Key -> Bool#

(>) :: Key -> Key -> Bool#

(>=) :: Key -> Key -> Bool#

max :: Key -> Key -> Key#

min :: Key -> Key -> Key#

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Key -> c Key#

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Key#

toConstr :: Key -> Constr#

dataTypeOf :: Key -> DataType#

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Key)#

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Key)#

gmapT :: (forall b. Data b => b -> b) -> Key -> Key#

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r#

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r#

gmapQ :: (forall d. Data d => d -> u) -> Key -> [u]#

gmapQi :: Int -> (forall d. Data d => d -> u) -> Key -> u#

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Key -> m Key#

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key#

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key#

Methods

fromString :: String -> Key#

Methods

readsPrec :: Int -> ReadS Key#

readList :: ReadS [Key]#

readPrec :: ReadPrec Key#

readListPrec :: ReadPrec [Key]#

Methods

showsPrec :: Int -> Key -> ShowS#

show :: Key -> String#

showList :: [Key] -> ShowS#

Methods

hashWithSalt :: Int -> Key -> Int#

hash :: Key -> Int#

Methods

lift :: Quote m => Key -> m Exp#

liftTyped :: forall (m :: Type -> Type). Quote m => Key -> Code m Key#

Methods

ifoldMap :: Monoid m => (Key -> a -> m) -> KeyMap a -> m#

ifoldMap' :: Monoid m => (Key -> a -> m) -> KeyMap a -> m#

ifoldr :: (Key -> a -> b -> b) -> b -> KeyMap a -> b#

ifoldl :: (Key -> b -> a -> b) -> b -> KeyMap a -> b#

ifoldr' :: (Key -> a -> b -> b) -> b -> KeyMap a -> b#

ifoldl' :: (Key -> b -> a -> b) -> b -> KeyMap a -> b#

Methods

imap :: (Key -> a -> b) -> KeyMap a -> KeyMap b#

Methods

itraverse :: Applicative f => (Key -> a -> f b) -> KeyMap a -> f (KeyMap b)#

Methods

ialignWith :: (Key -> These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c#

Methods

izipWith :: (Key -> a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c#

Methods

imapMaybe :: (Key -> a -> Maybe b) -> KeyMap a -> KeyMap b#

ifilter :: (Key -> a -> Bool) -> KeyMap a -> KeyMap a#

Methods

iwither :: Applicative f => (Key -> a -> f (Maybe b)) -> KeyMap a -> f (KeyMap b)#

iwitherM :: Monad m => (Key -> a -> m (Maybe b)) -> KeyMap a -> m (KeyMap b)#

ifilterA :: Applicative f => (Key -> a -> f Bool) -> KeyMap a -> f (KeyMap a)#