Safe Haskell	None
Language	Haskell2010

HTTP.Form.Deform

Documentation

data DeformT f m a Source #

Instances

MonadTrans (DeformT f) Source #
Methods lift :: Monad m => m a -> DeformT f m a #
Monad m => Monad (DeformT f m) Source #
Methods (>>=) :: DeformT f m a -> (a -> DeformT f m b) -> DeformT f m b # (>>) :: DeformT f m a -> DeformT f m b -> DeformT f m b # return :: a -> DeformT f m a # fail :: String -> DeformT f m a #
Functor m => Functor (DeformT f m) Source #
Methods fmap :: (a -> b) -> DeformT f m a -> DeformT f m b # (<$) :: a -> DeformT f m b -> DeformT f m a #
Applicative m => Applicative (DeformT f m) Source #
Methods pure :: a -> DeformT f m a # (<>) :: DeformT f m (a -> b) -> DeformT f m a -> DeformT f m b # (>) :: DeformT f m a -> DeformT f m b -> DeformT f m b # (<*) :: DeformT f m a -> DeformT f m b -> DeformT f m a #
Monad m => MonadPlus (DeformT f m) Source #
Methods mzero :: DeformT f m a # mplus :: DeformT f m a -> DeformT f m a -> DeformT f m a #
MonadIO m => MonadIO (DeformT f m) Source #
Methods liftIO :: IO a -> DeformT f m a #
(Applicative m, Monad m) => Alternative (DeformT f m) Source #
Methods empty :: DeformT f m a # (<\|>) :: DeformT f m a -> DeformT f m a -> DeformT f m a # some :: DeformT f m a -> DeformT f m [a] # many :: DeformT f m a -> DeformT f m [a] #

runDeform :: Monad m => DeformT f m a -> FormData f -> m (Either FormErrors a) Source #

deformSync' :: Monad m => DeformT f m a -> DeformT f m a Source #

(.:>) :: Monad m => Text -> DeformT f m a -> DeformT f m a infixr 2 Source #

withSubDeforms :: Monad m => (FormKey -> DeformT f m a) -> DeformT f m [a] Source #

deformOptional :: Monad m => DeformT f m a -> DeformT f m (Maybe a) Source #

deformNonEmpty :: Monad m => DeformT f m a -> DeformT f m (Maybe a) Source #

class Deform f a where Source #

Minimal complete definition

deform

Methods

deform :: Monad m => DeformT f m a Source #

Instances

Deform f URI Source #
Methods deform :: Monad m => DeformT f m URI Source #
Deform f Segment Source #
Methods deform :: Monad m => DeformT f m Segment Source #
Deform f Offset Source #
Methods deform :: Monad m => DeformT f m Offset Source #
Deform f Date Source #
Methods deform :: Monad m => DeformT f m Date Source #
Deform f Int16 Source #
Methods deform :: Monad m => DeformT f m Int16 Source #
Deform f Int32 Source #
Methods deform :: Monad m => DeformT f m Int32 Source #
Deform f Int64 Source #
Methods deform :: Monad m => DeformT f m Int64 Source #
Deform f Int Source #
Methods deform :: Monad m => DeformT f m Int Source #
Deform f Bool Source #
Methods deform :: Monad m => DeformT f m Bool Source #
Deform f String Source #
Methods deform :: Monad m => DeformT f m String Source #
Deform f ByteString Source #
Methods deform :: Monad m => DeformT f m ByteString Source #
Deform f Text Source #	`Text` fields are stripped of whitespace, while other string types are not.
Methods deform :: Monad m => DeformT f m Text Source #
Deform f Value Source #
Methods deform :: Monad m => DeformT f m Value Source #
Deform f_a42l3 Permission Source #
Methods deform :: Monad m => DeformT f_a42l3 m Permission Source #
Deform f_a4NXR AuditAction Source #
Methods deform :: Monad m => DeformT f_a4NXR m AuditAction Source #
Deform f_a2Skw Release Source #
Methods deform :: Monad m => DeformT f_a2Skw m Release Source #
Deform f_a4zCu MeasureType Source #
Methods deform :: Monad m => DeformT f_a4zCu m MeasureType Source #
Deform f_a42l1 Delivery Source #
Methods deform :: Monad m => DeformT f_a42l1 m Delivery Source #
Deform f Notice Source #
Methods deform :: Monad m => DeformT f m Notice Source #
Deform f TranscodeAction Source #
Methods deform :: Monad m => DeformT f m TranscodeAction Source #
Deform f (FileInfo f) Source #
Methods deform :: Monad m => DeformT f m (FileInfo f) Source #
Deform f (Maybe (FileInfo f)) Source #
Methods deform :: Monad m => DeformT f m (Maybe (FileInfo f)) Source #
Deform f (IdType a) => Deform f (Id a) Source #
Methods deform :: Monad m => DeformT f m (Id a) Source #

deformError :: Monad m => FormErrorMessage -> DeformT f m () Source #

deformError' :: Monad m => FormErrorMessage -> DeformT f m a Source #

deformMaybe' :: Monad m => FormErrorMessage -> Maybe a -> DeformT f m a Source #

deformGuard :: Monad m => FormErrorMessage -> Bool -> DeformT f m () Source #

deformCheck :: Monad m => FormErrorMessage -> (a -> Bool) -> a -> DeformT f m a Source #

deformParse :: Monad m => a -> (FormDatum -> Either FormErrorMessage a) -> DeformT f m a Source #

deformRead :: Monad m => Read a => a -> DeformT f m a Source #

deformRequired :: Monad m => Text -> DeformT f m Text Source #

textInteger :: Integral a => Text -> Either FormErrorMessage a Source #