GitHub - jozefg/generic-church: automatic church encodings

A package to reify types equipped with a generics instance back and forth between church representations.

As an example.

> let x = Just True
> toChurch x 0 (const 1)
  1
> fromChurch (\nothing just -> just True) :: Maybe Bool
  Just True

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
src/Data		src/Data
test		test
.hgignore		.hgignore
LICENSE		LICENSE
README.markdown		README.markdown
Setup.hs		Setup.hs
generic-church.cabal		generic-church.cabal

Provide feedback