serverless-haskell-0.12.5: Deploying Haskell code onto AWS Lambda using Serverless
Safe HaskellNone
LanguageHaskell2010

AWSLambda.Events.Records

Synopsis

Documentation

newtype RecordsEvent a Source #

Constructors

RecordsEvent 

Fields

Instances

Instances details
Functor RecordsEvent Source # 
Instance details

Defined in AWSLambda.Events.Records

Methods

fmap :: (a -> b) -> RecordsEvent a -> RecordsEvent b #

(<$) :: a -> RecordsEvent b -> RecordsEvent a #

Foldable RecordsEvent Source # 
Instance details

Defined in AWSLambda.Events.Records

Methods

fold :: Monoid m => RecordsEvent m -> m #

foldMap :: Monoid m => (a -> m) -> RecordsEvent a -> m #

foldMap' :: Monoid m => (a -> m) -> RecordsEvent a -> m #

foldr :: (a -> b -> b) -> b -> RecordsEvent a -> b #

foldr' :: (a -> b -> b) -> b -> RecordsEvent a -> b #

foldl :: (b -> a -> b) -> b -> RecordsEvent a -> b #

foldl' :: (b -> a -> b) -> b -> RecordsEvent a -> b #

foldr1 :: (a -> a -> a) -> RecordsEvent a -> a #

foldl1 :: (a -> a -> a) -> RecordsEvent a -> a #

toList :: RecordsEvent a -> [a] #

null :: RecordsEvent a -> Bool #

length :: RecordsEvent a -> Int #

elem :: Eq a => a -> RecordsEvent a -> Bool #

maximum :: Ord a => RecordsEvent a -> a #

minimum :: Ord a => RecordsEvent a -> a #

sum :: Num a => RecordsEvent a -> a #

product :: Num a => RecordsEvent a -> a #

Eq a => Eq (RecordsEvent a) Source # 
Instance details

Defined in AWSLambda.Events.Records

Show a => Show (RecordsEvent a) Source # 
Instance details

Defined in AWSLambda.Events.Records

FromJSON a => FromJSON (RecordsEvent a) Source # 
Instance details

Defined in AWSLambda.Events.Records

reRecords :: forall a a. Iso (RecordsEvent a) (RecordsEvent a) [a] [a] Source #

traverseRecords :: Applicative m => (a -> m ()) -> RecordsEvent a -> m () Source #

Traverse all the records in a Lambda event

recordsMain :: (FromJSON a, MonadCatch m, MonadIO m) => (a -> m ()) -> m () Source #

A specialised version of the lambdaMain entry-point for handling individual records in a Lambda event