Web.Minion.Args.Internal

Documentation

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

Instances

(Show (RHList as), Show a) => Show (RHList (as :+ a))

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)

Defined in Web.Minion.Args.Internal

Associated Types

type HListTypes (as :+ a) :: [Type]

Methods

revHListToList :: RHList (as :+ a) -> HList (HListTypes (as :+ a))

type HListTypes (as :+ a)

Defined in Web.Minion.Args.Internal

type HListTypes (as :+ a) = a ': HListTypes as

data HList ts where

Constructors

HNil :: HList '[]

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

Instances

(Show (HList as), Show a) => Show (HList (a ': as))

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]))

Defined in Web.Minion.Args.Internal

Methods

showsPrec :: Int -> HList '[] -> ShowS

show :: HList '[] -> String

showList :: [HList '[]] -> ShowS

data RHList ts where

Reversed HList

Constructors

RHNil :: RHList Void

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

Instances

Show (RHList Void)

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

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

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

Equations

RevToList Void = '[]

RevToList (as :+ a) = a ': RevToList as

class RHListToHList (ts :: Type) where

Associated Types

type HListTypes ts :: [Type]

Methods

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

Instances

RHListToHList Void

Defined in Web.Minion.Args.Internal

Associated Types

type HListTypes Void :: [Type]

Methods

revHListToList :: RHList Void -> HList (HListTypes Void)

RHListToHList as => RHListToHList (as :+ a)

Defined in Web.Minion.Args.Internal

Associated Types

type HListTypes (as :+ a) :: [Type]

Methods

revHListToList :: RHList (as :+ a) -> HList (HListTypes (as :+ a))

class GetByType t ts where

Methods

getByType :: HList ts -> t

Instances

GetByType t (t ': ts)

Defined in Web.Minion.Args.Internal

Methods

getByType :: HList (t ': ts) -> t

GetByType t ts => GetByType t (x ': ts)

Defined in Web.Minion.Args.Internal

Methods

getByType :: HList (x ': ts) -> t

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

Methods

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

Instances

Reverse' ('[] :: [Type]) l2 l2

Defined in Web.Minion.Args.Internal

Methods

reverse' :: HList '[] -> HList l2 -> HList l2

Reverse' l (x ': l') z => Reverse' (x ': l) l' z

Defined in Web.Minion.Args.Internal

Methods

reverse' :: HList (x ': l) -> HList l' -> HList z

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

Methods

reverseHList :: HList xs -> HList sx

Instances

(Reverse' xs ('[] :: [Type]) sx, Reverse' sx ('[] :: [Type]) xs) => Reverse xs sx

Defined in Web.Minion.Args.Internal

Methods

reverseHList :: HList xs -> HList sx

data Lenient e

Instances

IsLenient (Lenient a :: Type)

Defined in Web.Minion.Args.Internal

Methods

isLenient :: Bool

data Strict

Instances

IsLenient Strict

Defined in Web.Minion.Args.Internal

Methods

isLenient :: Bool

data Required

Instances

IsRequired Required

Defined in Web.Minion.Args.Internal

Methods

isRequired :: Bool

data Optional

Instances

IsRequired Optional

Defined in Web.Minion.Args.Internal

Methods

isRequired :: Bool

class IsRequired a where

Methods

isRequired :: Bool

Instances

IsRequired Optional

Defined in Web.Minion.Args.Internal

Methods

isRequired :: Bool

IsRequired Required

Defined in Web.Minion.Args.Internal

Methods

isRequired :: Bool

class IsLenient a where

Methods

isLenient :: Bool

Instances

IsLenient Strict

Defined in Web.Minion.Args.Internal

Methods

isLenient :: Bool

IsLenient (Lenient a :: Type)

Defined in Web.Minion.Args.Internal

Methods

isLenient :: Bool

type family Arg presence parsing a where ...

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

Constructors

WithHeader (m (Arg presence parsing a))

Instances

Monad m => Hidden m (WithHeader a b m v)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithHeader a b m v) -> m ()

RunDelayed as m => RunDelayed (WithHeader required lenient m a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithHeader required lenient m a ': as) :: [Type]

Methods

runDelayed :: HList (WithHeader required lenient m a ': as) -> m (HList (DelayedArgs (WithHeader required lenient m a ': as)))

type DelayedArgs (WithHeader required lenient m a ': as)

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

Constructors

WithQueryParam (m (Arg presence parsing a))

Instances

Monad m => Hidden m (WithQueryParam a b m v)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithQueryParam a b m v) -> m ()

RunDelayed as m => RunDelayed (WithQueryParam required lenient m a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithQueryParam required lenient m a ': as) :: [Type]

Methods

runDelayed :: HList (WithQueryParam required lenient m a ': as) -> m (HList (DelayedArgs (WithQueryParam required lenient m a ': as)))

type DelayedArgs (WithQueryParam required lenient m a ': as)

Defined in Web.Minion.Args.Internal

type DelayedArgs (WithQueryParam required lenient m a ': as) = Arg required lenient a ': DelayedArgs as

newtype WithPiece a

Constructors

WithPiece a

Instances

Monad m => Hidden m (WithPiece a)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithPiece a) -> m ()

RunDelayed as m => RunDelayed (WithPiece a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithPiece a ': as) :: [Type]

Methods

runDelayed :: HList (WithPiece a ': as) -> m (HList (DelayedArgs (WithPiece a ': as)))

type DelayedArgs (WithPiece a ': as)

Defined in Web.Minion.Args.Internal

type DelayedArgs (WithPiece a ': as) = a ': DelayedArgs as

newtype WithPieces a

Constructors

WithPieces [a]

Instances

Monad m => Hidden m (WithPieces a)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithPieces a) -> m ()

RunDelayed as m => RunDelayed (WithPieces a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithPieces a ': as) :: [Type]

Methods

runDelayed :: HList (WithPieces a ': as) -> m (HList (DelayedArgs (WithPieces a ': as)))

type DelayedArgs (WithPieces a ': as)

Defined in Web.Minion.Args.Internal

type DelayedArgs (WithPieces a ': as) = [a] ': DelayedArgs as

newtype WithReq m r

Constructors

WithReq (m r)

Instances

Monad m => Hidden m (WithReq m a)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithReq m a) -> m ()

(RunDelayed as m, IsRequest r) => RunDelayed (WithReq m r ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithReq m r ': as) :: [Type]

Methods

runDelayed :: HList (WithReq m r ': as) -> m (HList (DelayedArgs (WithReq m r ': as)))

type DelayedArgs (WithReq m r ': as)

Defined in Web.Minion.Args.Internal

type DelayedArgs (WithReq m r ': as) = RequestValue r ': DelayedArgs as

newtype Hide a

Constructors

Hide a

Instances

Hidden m a => Hidden m (Hide a)

Defined in Web.Minion.Args.Internal

Methods

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

(RunDelayed as m, Hidden m a) => RunDelayed (Hide a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (Hide a ': as) :: [Type]

Methods

runDelayed :: HList (Hide a ': as) -> m (HList (DelayedArgs (Hide a ': as)))

type DelayedArgs (Hide a ': as)

Defined in Web.Minion.Args.Internal

type DelayedArgs (Hide a ': as) = DelayedArgs as

class Hidden m a where

Methods

runHidden :: Hide a -> m ()

Instances

Hidden m a => Hidden m (Hide a)

Defined in Web.Minion.Args.Internal

Methods

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

Monad m => Hidden m (WithPiece a)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithPiece a) -> m ()

Monad m => Hidden m (WithPieces a)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithPieces a) -> m ()

Monad m => Hidden m (WithReq m a)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithReq m a) -> m ()

Monad m => Hidden m (WithHeader a b m v)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithHeader a b m v) -> m ()

Monad m => Hidden m (WithQueryParam a b m v)

Defined in Web.Minion.Args.Internal

Methods

runHidden :: Hide (WithQueryParam a b m v) -> m ()

class FunArgs (ts :: [Type]) where

Associated Types

type ts ~> r :: Type

Methods

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

Instances

FunArgs ('[] :: [Type])

Defined in Web.Minion.Args.Internal

Associated Types

type '[] ~> r

Methods

apply :: ('[] ~> r) -> HList '[] -> r

FunArgs as => FunArgs (a ': as)

Defined in Web.Minion.Args.Internal

Associated Types

type (a ': as) ~> r

Methods

apply :: ((a ': as) ~> r) -> HList (a ': as) -> 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

Associated Types

type DelayedArgs ts :: [Type]

Methods

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

Instances

Monad m => RunDelayed ('[] :: [Type]) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs '[] :: [Type]

Methods

runDelayed :: HList '[] -> m (HList (DelayedArgs '[]))

(RunDelayed as m, Hidden m a) => RunDelayed (Hide a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (Hide a ': as) :: [Type]

Methods

runDelayed :: HList (Hide a ': as) -> m (HList (DelayedArgs (Hide a ': as)))

RunDelayed as m => RunDelayed (WithHeader required lenient m a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithHeader required lenient m a ': as) :: [Type]

Methods

runDelayed :: HList (WithHeader required lenient m a ': as) -> m (HList (DelayedArgs (WithHeader required lenient m a ': as)))

RunDelayed as m => RunDelayed (WithPiece a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithPiece a ': as) :: [Type]

Methods

runDelayed :: HList (WithPiece a ': as) -> m (HList (DelayedArgs (WithPiece a ': as)))

RunDelayed as m => RunDelayed (WithPieces a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithPieces a ': as) :: [Type]

Methods

runDelayed :: HList (WithPieces a ': as) -> m (HList (DelayedArgs (WithPieces a ': as)))

RunDelayed as m => RunDelayed (WithQueryParam required lenient m a ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithQueryParam required lenient m a ': as) :: [Type]

Methods

runDelayed :: HList (WithQueryParam required lenient m a ': as) -> m (HList (DelayedArgs (WithQueryParam required lenient m a ': as)))

(RunDelayed as m, IsRequest r) => RunDelayed (WithReq m r ': as) m

Defined in Web.Minion.Args.Internal

Associated Types

type DelayedArgs (WithReq m r ': as) :: [Type]

Methods

runDelayed :: HList (WithReq m r ': as) -> m (HList (DelayedArgs (WithReq m r ': as)))