[Haskell-cafe] Church Encoding Function

[Ross Paterson]

On Sat, Mar 10, 2007 at 03:43:41PM +0100, Joachim Breitner wrote:
> Hi,
> 
> some more ideas following from the last post. I noticed how the function
> Data.Maybe.maybe converts a Haskell Maybe into a Church encoded Maybe.
> Also, the if construct, interpreted as a function, converts a Bool into
> a church encoded Bool.
> 
> If lists are encoded as forall b. (a -> b -> b) -> b -> b, then foldr,
> with the right order of arguments, converts a haskell [] to a Church
> encoded List.
> 
> Is there a name for these functions?

folds (with the arguments flipped)