Data.HList

Documentation

data List as where

Constructors

Nil :: List '[]

(:.) :: a -> List as -> List (a ': as) infixr 5

Instances

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

Defined in Data.HList

Methods

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

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

Eq (List ('[] :: [Type]))

Defined in Data.HList

Methods

(==) :: List '[] -> List '[] -> Bool

(/=) :: List '[] -> List '[] -> Bool

(Ord a, Ord (List as)) => Ord (List (a ': as))

Defined in Data.HList

Methods

compare :: List (a ': as) -> List (a ': as) -> Ordering

(<) :: List (a ': as) -> List (a ': as) -> Bool

(<=) :: List (a ': as) -> List (a ': as) -> Bool

(>) :: List (a ': as) -> List (a ': as) -> Bool

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

max :: List (a ': as) -> List (a ': as) -> List (a ': as)

min :: List (a ': as) -> List (a ': as) -> List (a ': as)

Ord (List ('[] :: [Type]))

Defined in Data.HList

Methods

compare :: List '[] -> List '[] -> Ordering

(<) :: List '[] -> List '[] -> Bool

(<=) :: List '[] -> List '[] -> Bool

(>) :: List '[] -> List '[] -> Bool

(>=) :: List '[] -> List '[] -> Bool

max :: List '[] -> List '[] -> List '[]

min :: List '[] -> List '[] -> List '[]

type family Foldr f z xs where ...

Equations

Foldr f z '[] = z

Foldr f z (x ': xs) = f x (Foldr f z xs)

class Curry as where

Methods

uncurry :: Foldr (->) b as -> List as -> b

curry :: (List as -> b) -> Foldr (->) b as

Instances

Curry ('[] :: [Type])

Defined in Data.HList

Methods

uncurry :: Foldr (->) b '[] -> List '[] -> b

curry :: (List '[] -> b) -> Foldr (->) b '[]

Curry as => Curry (a ': as)

Defined in Data.HList

Methods

uncurry :: Foldr (->) b (a ': as) -> List (a ': as) -> b

curry :: (List (a ': as) -> b) -> Foldr (->) b (a ': as)