Linnet.Internal.HList

Documentation

data HList xs where

Constructors

HNil :: HList '[]

(:::) :: a -> HList as -> HList (a ': as) infixr 6

Instances

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

Defined in Linnet.Internal.HList

Methods

(==) :: HList (a ': as) -> HList (a ': as) -> Bool

(/=) :: HList (a ': as) -> HList (a ': as) -> Bool

Eq (HList ([] :: [Type]))

Defined in Linnet.Internal.HList

Methods

(==) :: HList [] -> HList [] -> Bool

(/=) :: HList [] -> HList [] -> Bool

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

Defined in Linnet.Internal.HList

Methods

showsPrec :: Int -> HList (a ': as) -> ShowS

show :: HList (a ': as) -> String

showList :: [HList (a ': as)] -> ShowS

Show (HList ([] :: [Type]))

Defined in Linnet.Internal.HList

Methods

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

show :: HList [] -> String

showList :: [HList []] -> ShowS

class AdjoinHList ls l | ls -> l where

Methods

adjoin :: HList ls -> HList l

Instances

AdjoinHList' (NeedAdjoin ls) ls l => AdjoinHList ls l

Defined in Linnet.Internal.HList

Methods

adjoin :: HList ls -> HList l

class FnToProduct fn ls out | fn ls -> out, ls out -> fn where

Methods

fromFunction :: fn -> HList ls -> out

Instances

v ~ fn => FnToProduct fn ([] :: [Type]) v

Defined in Linnet.Internal.HList

Methods

fromFunction :: fn -> HList [] -> v

FnToProduct fnOut tail out => FnToProduct (input -> fnOut) (input ': tail) out

Defined in Linnet.Internal.HList

Methods

fromFunction :: (input -> fnOut) -> HList (input ': tail) -> out