Jak zdefiniować dowolną funkcję arain w Haskell, która zawiera arity 0?

Question

Moje obecne podejście do definiowania funkcji arbitralnego arity znajduje się poniżej, gdzie A jest akumulatorem, E jest rodzajem argumentu wejściowego, a R jest typem wyniku.

combine :: A -> E -> A 

class X r where 
    foo :: A -> E -> r 

instance X R where 
    foo :: A -> E -> R 


instance X r => X (E -> r) where 
    foo :: A -> E -> E -> r 
    foo (a :: A) (x :: E) = 
     foo (a `combine` e :: A) 

doFoo = foo emptyA 

Ale minimalna arity foo to 1. Minimalna dla foo jest nadal -> E -> R, a doFoo jest E -> R. Chciałbym również mieć doFoo :: R. W jaki sposób?

Answer 1

Co

class X r where 
    foo :: A -> r 

instance X r => X (E -> r) where 
    foo :: A -> E -> r 
    foo a e = foo (combine a e) 

?

Możesz chcieć rzucić okiem na instancje PrintfType. To tylko dzięki nim mogłem udzielić odpowiedzi.