Safe Haskell	Safe-Inferred
Language	Haskell2010

Web.Minion.Args

Synopsis

data Lenient e
data Strict
data Required
data Optional
class IsLenient a where
- isLenient :: Bool
class IsRequired a where
- isRequired :: Bool
newtype WithReq m r = WithReq (m r)
newtype WithHeader presence parsing m a = WithHeader (m (Arg presence parsing a))
newtype WithPiece a = WithPiece a
newtype WithPieces a = WithPieces [a]
newtype WithQueryParam presence parsing m a = WithQueryParam (m (Arg presence parsing a))
newtype Hide a = Hide a
type family DelayedArgs ts :: [Type]
type family ts ~> r :: Type
type HandleArgs ts st m = (FunArgs (DelayedArgs st), RHListToHList ts, Reverse (HListTypes ts) st, RunDelayed st m, Monad m)
data HList ts where
- HNil :: HList '[]
- (:#) :: t -> HList ts -> HList (t ': ts)
data RHList ts where
- RHNil :: RHList Void
- (:#!) :: t -> RHList ts -> RHList (ts :+ t)
data (a :: Type) :+ (b :: Type)
class GetByType t ts where
- getByType :: HList ts -> t

Documentation

data Lenient e Source #

Instances

Instances details

IsLenient (Lenient a :: Type) Source #
Instance details Defined in Web.Minion.Args.Internal Methods isLenient :: Bool Source #

data Strict Source #

Instances

Instances details

IsLenient Strict Source #
Instance details Defined in Web.Minion.Args.Internal Methods isLenient :: Bool Source #

data Required Source #

Instances

Instances details

IsRequired Required Source #
Instance details Defined in Web.Minion.Args.Internal Methods isRequired :: Bool Source #

data Optional Source #

Instances

Instances details

IsRequired Optional Source #
Instance details Defined in Web.Minion.Args.Internal Methods isRequired :: Bool Source #

class IsLenient a where Source #

Methods

isLenient :: Bool Source #

Instances

Instances details

IsLenient Strict Source #
Instance details Defined in Web.Minion.Args.Internal Methods isLenient :: Bool Source #
IsLenient (Lenient a :: Type) Source #
Instance details Defined in Web.Minion.Args.Internal Methods isLenient :: Bool Source #

class IsRequired a where Source #

Methods

isRequired :: Bool Source #

Instances

Instances details

IsRequired Optional Source #
Instance details Defined in Web.Minion.Args.Internal Methods isRequired :: Bool Source #
IsRequired Required Source #
Instance details Defined in Web.Minion.Args.Internal Methods isRequired :: Bool Source #

newtype WithReq m r Source #

Constructors

WithReq (m r)

Instances

Instances details

Monad m => Hidden m (WithReq m a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithReq m a) -> m () Source #
(RunDelayed as m, IsRequest r) => RunDelayed (WithReq m r ': as) m Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type DelayedArgs (WithReq m r ': as) :: [Type] Source # Methods runDelayed :: HList (WithReq m r ': as) -> m (HList (DelayedArgs (WithReq m r ': as))) Source #
type DelayedArgs (WithReq m r ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithReq m r ': as) = RequestValue r ': DelayedArgs as

newtype WithHeader presence parsing m a Source #

Constructors

WithHeader (m (Arg presence parsing a))

Instances

Instances details

Monad m => Hidden m (WithHeader a b m v) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithHeader a b m v) -> m () Source #
RunDelayed as m => RunDelayed (WithHeader required lenient m a ': as) m Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type DelayedArgs (WithHeader required lenient m a ': as) :: [Type] Source # Methods runDelayed :: HList (WithHeader required lenient m a ': as) -> m (HList (DelayedArgs (WithHeader required lenient m a ': as))) Source #
type DelayedArgs (WithHeader required lenient m a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithHeader required lenient m a ': as) = Arg required lenient a ': DelayedArgs as

newtype WithPiece a Source #

Constructors

WithPiece a

Instances

Instances details

Monad m => Hidden m (WithPiece a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithPiece a) -> m () Source #
RunDelayed as m => RunDelayed (WithPiece a ': as) m Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type DelayedArgs (WithPiece a ': as) :: [Type] Source # Methods runDelayed :: HList (WithPiece a ': as) -> m (HList (DelayedArgs (WithPiece a ': as))) Source #
type DelayedArgs (WithPiece a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithPiece a ': as) = a ': DelayedArgs as

newtype WithPieces a Source #

Constructors

WithPieces [a]

Instances

Instances details

Monad m => Hidden m (WithPieces a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithPieces a) -> m () Source #
RunDelayed as m => RunDelayed (WithPieces a ': as) m Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type DelayedArgs (WithPieces a ': as) :: [Type] Source # Methods runDelayed :: HList (WithPieces a ': as) -> m (HList (DelayedArgs (WithPieces a ': as))) Source #
type DelayedArgs (WithPieces a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithPieces a ': as) = [a] ': DelayedArgs as

newtype WithQueryParam presence parsing m a Source #

Constructors

WithQueryParam (m (Arg presence parsing a))

Instances

Instances details

Monad m => Hidden m (WithQueryParam a b m v) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithQueryParam a b m v) -> m () Source #
RunDelayed as m => RunDelayed (WithQueryParam required lenient m a ': as) m Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type DelayedArgs (WithQueryParam required lenient m a ': as) :: [Type] Source # Methods runDelayed :: HList (WithQueryParam required lenient m a ': as) -> m (HList (DelayedArgs (WithQueryParam required lenient m a ': as))) Source #
type DelayedArgs (WithQueryParam required lenient m a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithQueryParam required lenient m a ': as) = Arg required lenient a ': DelayedArgs as

newtype Hide a Source #

Constructors

Hide a

Instances

Instances details

Hidden m a => Hidden m (Hide a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (Hide a) -> m () Source #
(RunDelayed as m, Hidden m a) => RunDelayed (Hide a ': as) m Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type DelayedArgs (Hide a ': as) :: [Type] Source # Methods runDelayed :: HList (Hide a ': as) -> m (HList (DelayedArgs (Hide a ': as))) Source #
type DelayedArgs (Hide a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (Hide a ': as) = DelayedArgs as

type family DelayedArgs ts :: [Type] Source #

Instances

Instances details

type DelayedArgs ('[] :: [Type]) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs ('[] :: [Type]) = '[] :: [Type]
type DelayedArgs (Hide a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (Hide a ': as) = DelayedArgs as
type DelayedArgs (WithHeader required lenient m a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithHeader required lenient m a ': as) = Arg required lenient a ': DelayedArgs as
type DelayedArgs (WithPiece a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithPiece a ': as) = a ': DelayedArgs as
type DelayedArgs (WithPieces a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithPieces a ': as) = [a] ': DelayedArgs as
type DelayedArgs (WithQueryParam required lenient m a ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithQueryParam required lenient m a ': as) = Arg required lenient a ': DelayedArgs as
type DelayedArgs (WithReq m r ': as) Source #
Instance details Defined in Web.Minion.Args.Internal type DelayedArgs (WithReq m r ': as) = RequestValue r ': DelayedArgs as

type family ts ~> r :: Type Source #

Instances

Instances details

type ('[] :: [Type]) ~> r Source #
Instance details Defined in Web.Minion.Args.Internal type ('[] :: [Type]) ~> r = r
type (a ': as) ~> r Source #
Instance details Defined in Web.Minion.Args.Internal type (a ': as) ~> r = a -> as ~> r

type HandleArgs ts st m = (FunArgs (DelayedArgs st), RHListToHList ts, Reverse (HListTypes ts) st, RunDelayed st m, Monad m) Source #

data HList ts where Source #

Constructors

HNil :: HList '[]
(:#) :: t -> HList ts -> HList (t ': ts) infixr 1

Instances

Instances details

(Show (HList as), Show a) => Show (HList (a ': as)) Source #
Instance details Defined in Web.Minion.Args.Internal Methods showsPrec :: Int -> HList (a ': as) -> ShowS # show :: HList (a ': as) -> String # showList :: [HList (a ': as)] -> ShowS #
Show (HList ('[] :: [Type])) Source #
Instance details Defined in Web.Minion.Args.Internal Methods showsPrec :: Int -> HList '[] -> ShowS # show :: HList '[] -> String # showList :: [HList '[]] -> ShowS #

data RHList ts where Source #

Reversed HList

Constructors

RHNil :: RHList Void
(:#!) :: t -> RHList ts -> RHList (ts :+ t) infixr 1

Instances

Instances details

Show (RHList Void) Source #
Instance details Defined in Web.Minion.Args.Internal Methods showsPrec :: Int -> RHList Void -> ShowS # show :: RHList Void -> String # showList :: [RHList Void] -> ShowS #
(Show (RHList as), Show a) => Show (RHList (as :+ a)) Source #
Instance details Defined in Web.Minion.Args.Internal Methods showsPrec :: Int -> RHList (as :+ a) -> ShowS # show :: RHList (as :+ a) -> String # showList :: [RHList (as :+ a)] -> ShowS #

data (a :: Type) :+ (b :: Type) infixl 9 Source #

Instances

Instances details

(Show (RHList as), Show a) => Show (RHList (as :+ a)) Source #
Instance details Defined in Web.Minion.Args.Internal Methods showsPrec :: Int -> RHList (as :+ a) -> ShowS # show :: RHList (as :+ a) -> String # showList :: [RHList (as :+ a)] -> ShowS #
RHListToHList as => RHListToHList (as :+ a) Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type HListTypes (as :+ a) :: [Type] Source # Methods revHListToList :: RHList (as :+ a) -> HList (HListTypes (as :+ a)) Source #
type HListTypes (as :+ a) Source #
Instance details Defined in Web.Minion.Args.Internal type HListTypes (as :+ a) = a ': HListTypes as

class GetByType t ts where Source #

Methods

getByType :: HList ts -> t Source #

Instances

Instances details

GetByType t (t ': ts) Source #
Instance details Defined in Web.Minion.Args.Internal Methods getByType :: HList (t ': ts) -> t Source #
GetByType t ts => GetByType t (x ': ts) Source #
Instance details Defined in Web.Minion.Args.Internal Methods getByType :: HList (x ': ts) -> t Source #