Safe Haskell	Safe-Inferred
Language	Haskell2010

Web.Minion.Args.Internal

Synopsis

data (a :: Type) :+ (b :: Type)
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)
type family MapElem ts t t' where ...
type family RevToList ts where ...
class RHListToHList (ts :: Type) where
- type HListTypes ts :: [Type]
- revHListToList :: RHList ts -> HList (HListTypes ts)
class GetByType t ts where
- getByType :: HList ts -> t
class Reverse' (l1 :: [Type]) (l2 :: [Type]) (l3 :: [Type]) | l1 l2 -> l3 where
- reverse' :: HList l1 -> HList l2 -> HList l3
class Reverse xs sx | xs -> sx, sx -> xs where
- reverseHList :: HList xs -> HList sx
data Lenient e
data Strict
data Required
data Optional
class IsRequired a where
- isRequired :: Bool
class IsLenient a where
- isLenient :: Bool
type family Arg presence parsing a where ...
newtype WithHeader presence parsing m a = WithHeader (m (Arg presence parsing a))
newtype WithQueryParam presence parsing m a = WithQueryParam (m (Arg presence parsing a))
newtype WithPiece a = WithPiece a
newtype WithPieces a = WithPieces [a]
newtype WithReq m r = WithReq (m r)
newtype Hide a = Hide a
class Hidden m a where
- runHidden :: Hide a -> m ()
class FunArgs (ts :: [Type]) where
- type ts ~> r :: Type
- apply :: (ts ~> r) -> HList ts -> r
type HandleArgs ts st m = (FunArgs (DelayedArgs st), RHListToHList ts, Reverse (HListTypes ts) st, RunDelayed st m, Monad m)
class Monad m => RunDelayed ts m where
- type DelayedArgs ts :: [Type]
- runDelayed :: HList ts -> m (HList (DelayedArgs ts))

Documentation

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

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 #

type family MapElem ts t t' where ... Source #

Equations

MapElem (ts :+ t) t t' = ts :+ t'
MapElem (ts :+ x) t t' = MapElem ts t t' :+ x
MapElem Void t t' = Void

type family RevToList ts where ... Source #

Equations

RevToList Void = '[]
RevToList (as :+ a) = a ': RevToList as

class RHListToHList (ts :: Type) where Source #

Associated Types

type HListTypes ts :: [Type] Source #

Methods

revHListToList :: RHList ts -> HList (HListTypes ts) Source #

Instances

Instances details

RHListToHList Void Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type HListTypes Void :: [Type] Source # Methods revHListToList :: RHList Void -> HList (HListTypes Void) Source #
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 #

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 #

class Reverse' (l1 :: [Type]) (l2 :: [Type]) (l3 :: [Type]) | l1 l2 -> l3 where Source #

Methods

reverse' :: HList l1 -> HList l2 -> HList l3 Source #

Instances

Instances details

Reverse' ('[] :: [Type]) l2 l2 Source #
Instance details Defined in Web.Minion.Args.Internal Methods reverse' :: HList '[] -> HList l2 -> HList l2 Source #
Reverse' l (x ': l') z => Reverse' (x ': l) l' z Source #
Instance details Defined in Web.Minion.Args.Internal Methods reverse' :: HList (x ': l) -> HList l' -> HList z Source #

class Reverse xs sx | xs -> sx, sx -> xs where Source #

Methods

reverseHList :: HList xs -> HList sx Source #

Instances

Instances details

(Reverse' xs ('[] :: [Type]) sx, Reverse' sx ('[] :: [Type]) xs) => Reverse xs sx Source #
Instance details Defined in Web.Minion.Args.Internal Methods reverseHList :: HList xs -> HList sx Source #

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 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 #

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 #

type family Arg presence parsing a where ... Source #

Equations

Arg Required (Lenient e) a = Either e a
Arg Required Strict a = a
Arg Optional (Lenient e) a = Maybe (Either e a)
Arg Optional Strict a = Maybe a

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 a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithHeader a b m a) -> 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 WithQueryParam presence parsing m a Source #

Constructors

WithQueryParam (m (Arg presence parsing a))

Instances

Instances details

Monad m => Hidden m (WithQueryParam a b m a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithQueryParam a b m a) -> 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 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 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 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

class Hidden m a where Source #

Methods

runHidden :: Hide a -> m () Source #

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 #
Monad m => Hidden m (WithPiece a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithPiece a) -> m () Source #
Monad m => Hidden m (WithPieces a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithPieces a) -> m () Source #
Monad m => Hidden m (WithReq m a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithReq m a) -> m () Source #
Monad m => Hidden m (WithHeader a b m a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithHeader a b m a) -> m () Source #
Monad m => Hidden m (WithQueryParam a b m a) Source #
Instance details Defined in Web.Minion.Args.Internal Methods runHidden :: Hide (WithQueryParam a b m a) -> m () Source #

class FunArgs (ts :: [Type]) where Source #

Associated Types

type ts ~> r :: Type Source #

Methods

apply :: (ts ~> r) -> HList ts -> r Source #

Instances

Instances details

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

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

class Monad m => RunDelayed ts m where Source #

Associated Types

type DelayedArgs ts :: [Type] Source #

Methods

runDelayed :: HList ts -> m (HList (DelayedArgs ts)) Source #

Instances

Instances details

Monad m => RunDelayed ('[] :: [Type]) m Source #
Instance details Defined in Web.Minion.Args.Internal Associated Types type DelayedArgs '[] :: [Type] Source # Methods runDelayed :: HList '[] -> m (HList (DelayedArgs '[])) 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 #
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 #
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 #
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 #
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 #
(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 #