cabal-version: 2.2
name: church
homepage: https://github.com/exordium/church#readme
version: 0.1.0.0
category: Generics
synopsis: Automatically convert Generic instances to and from church representations
description: This package provides a type 'ChurchRep' to generically construct 
             the type of the church representation.

             Additionally, it provides a type class 'Church' which contains
             a pair of functions for mapping back and forth between the two
             representations.
             Both the @ChurchRep@ and the @Church@ instance are be automatically constructed
             for all types with a @Generic@ instance.

             Based on code by Danny Gratzer.

stability: cursed
bug-reports: https://github.com/exordium/church/issues
author: Dai
maintainer: daig@sodality.cc
copyright: 2018 Sodality
license: MIT

source-repository head
  type: git
  location: https://github.com/exordium/church

library
  exposed-modules: Church
  other-modules: Church.TF, Church.ToChurch, Church.FromChurch
  build-depends: base ^>= 4.12.0.0
  default-language: Haskell2010
  default-extensions: AllowAmbiguousTypes, TypeApplications, TypeFamilies, ScopedTypeVariables, DataKinds, FlexibleContexts, DefaultSignatures, TypeOperators, MultiParamTypeClasses, PolyKinds, FlexibleInstances