Safe Haskell	None
Language	Haskell2010

Servant.Util.Common.HList

Synopsis

data HList (f :: k -> Type) (l :: [k]) where
- HNil :: HList f '[]
- HCons :: f a -> HList f as -> HList f (a ': as)
(.*.) :: forall k (f :: k -> Type) (a :: k) (as :: [k]). f a -> HList f as -> HList f (a ': as)
class HListFromTuple a where
- type HListTuple a :: Type
- htuple :: HListTuple a -> a

Documentation

data HList (f :: k -> Type) (l :: [k]) where Source #

Servant package defines their own HList, so we also can (to avoid a large dependency).

Constructors

HNil :: HList f '[]
HCons :: f a -> HList f as -> HList f (a ': as) infixr 3

Instances

Instances details

HListFromTuple (HList f '[a, b, c, d, e, g, h, i]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d, e, g, h, i]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d, e, g, h, i]) -> HList f '[a, b, c, d, e, g, h, i] Source #
HListFromTuple (HList f '[a, b, c, d, e, g, h]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d, e, g, h]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d, e, g, h]) -> HList f '[a, b, c, d, e, g, h] Source #
HListFromTuple (HList f '[a, b, c, d, e, g]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d, e, g]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d, e, g]) -> HList f '[a, b, c, d, e, g] Source #
HListFromTuple (HList f '[a, b, c, d, e]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d, e]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d, e]) -> HList f '[a, b, c, d, e] Source #
HListFromTuple (HList f '[a, b, c, d]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d]) -> HList f '[a, b, c, d] Source #
HListFromTuple (HList f '[a, b, c]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c]) Source # Methods htuple :: HListTuple (HList f '[a, b, c]) -> HList f '[a, b, c] Source #
HListFromTuple (HList f '[a, b]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b]) Source # Methods htuple :: HListTuple (HList f '[a, b]) -> HList f '[a, b] Source #
HListFromTuple (HList f '[a]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a]) Source # Methods htuple :: HListTuple (HList f '[a]) -> HList f '[a] Source #
HListFromTuple (HList f ('[] :: [k])) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[]) Source # Methods htuple :: HListTuple (HList f '[]) -> HList f '[] Source #
type HListTuple (HList f '[a, b, c, d, e, g, h, i]) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f '[a, b, c, d, e, g, h, i]) = (f a, f b, f c, f d, f e, f g, f h, f i)
type HListTuple (HList f '[a, b, c, d, e, g, h]) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f '[a, b, c, d, e, g, h]) = (f a, f b, f c, f d, f e, f g, f h)
type HListTuple (HList f '[a, b, c, d, e, g]) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f '[a, b, c, d, e, g]) = (f a, f b, f c, f d, f e, f g)
type HListTuple (HList f '[a, b, c, d, e]) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f '[a, b, c, d, e]) = (f a, f b, f c, f d, f e)
type HListTuple (HList f '[a, b, c, d]) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f '[a, b, c, d]) = (f a, f b, f c, f d)
type HListTuple (HList f '[a, b, c]) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f '[a, b, c]) = (f a, f b, f c)
type HListTuple (HList f '[a, b]) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f '[a, b]) = (f a, f b)
type HListTuple (HList f '[a]) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f '[a]) = f a
type HListTuple (HList f ('[] :: [k])) Source #
Instance details Defined in Servant.Util.Common.HList type HListTuple (HList f ('[] :: [k])) = ()

(.*.) :: forall k (f :: k -> Type) (a :: k) (as :: [k]). f a -> HList f as -> HList f (a ': as) infixr 3 Source #

class HListFromTuple a where Source #

Associated Types

type HListTuple a :: Type Source #

Methods

htuple :: HListTuple a -> a Source #

Instances

Instances details

HListFromTuple (HList f '[a, b, c, d, e, g, h, i]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d, e, g, h, i]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d, e, g, h, i]) -> HList f '[a, b, c, d, e, g, h, i] Source #
HListFromTuple (HList f '[a, b, c, d, e, g, h]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d, e, g, h]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d, e, g, h]) -> HList f '[a, b, c, d, e, g, h] Source #
HListFromTuple (HList f '[a, b, c, d, e, g]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d, e, g]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d, e, g]) -> HList f '[a, b, c, d, e, g] Source #
HListFromTuple (HList f '[a, b, c, d, e]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d, e]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d, e]) -> HList f '[a, b, c, d, e] Source #
HListFromTuple (HList f '[a, b, c, d]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c, d]) Source # Methods htuple :: HListTuple (HList f '[a, b, c, d]) -> HList f '[a, b, c, d] Source #
HListFromTuple (HList f '[a, b, c]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b, c]) Source # Methods htuple :: HListTuple (HList f '[a, b, c]) -> HList f '[a, b, c] Source #
HListFromTuple (HList f '[a, b]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a, b]) Source # Methods htuple :: HListTuple (HList f '[a, b]) -> HList f '[a, b] Source #
HListFromTuple (HList f '[a]) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[a]) Source # Methods htuple :: HListTuple (HList f '[a]) -> HList f '[a] Source #
HListFromTuple (HList f ('[] :: [k])) Source #
Instance details Defined in Servant.Util.Common.HList Associated Types type HListTuple (HList f '[]) Source # Methods htuple :: HListTuple (HList f '[]) -> HList f '[] Source #