Data.Function.Poly

Documentation

type family TypeListToArity xs r :: *

Equations

TypeListToArity [] r = r

TypeListToArity (x : xs) r = x -> TypeListToArity xs r

type family ArityMinusTypeList r xs :: *

Equations

ArityMinusTypeList r [] = r

ArityMinusTypeList (x -> r) (x : xs) = ArityMinusTypeList r xs

type family ExpectArity xs f :: Constraint

Equations

ExpectArity [] f = ()

ExpectArity (x : xs) (x -> remainder) = ExpectArity xs remainder

type family Head xs :: k

Equations

Head (x : xs) = x

type family Tail xs :: [k]

Equations

Tail (x : xs) = xs

class ExpectArity xs f => ConsumeArity xs f result | xs f -> result where

Methods

appN :: f -> HList xs -> result

Instances

ConsumeArity ([] *) r r

(ConsumeArity xs f r, ExpectArity ((:) * x xs) (x -> f)) => ConsumeArity ((:) * x xs) (x -> f) r

type family HasResult f r :: Constraint

Equations

HasResult r r = ()

HasResult (x -> r') r = HasResult r' r