name:                generics-mrsop
version:             1.0.0.1
x-revision: 1

synopsis:            Generic Programming with Mutually Recursive Sums of Products.

description:
  A library that supports generic programming for mutually
  recursive families in the sum-of-products style.
  .
  A couple usage examples can be found under "Generics.MRSOP.Examples"
  .

license:             MIT
license-file:        LICENSE
author:              Victor Miraldo and Alejandro Serrano
maintainer:          v.cacciarimiraldo@gmail.com
-- copyright:           

category:            Generics
build-type:          Simple

extra-source-files:  ChangeLog.md, README.md
cabal-version:       2.0


library
  -- Modules exported by the library.
  exposed-modules: 
    Generics.MRSOP.Base.NS,
    Generics.MRSOP.Base.NP,
    Generics.MRSOP.Base.Universe,
    Generics.MRSOP.Base.Class,
    Generics.MRSOP.Base.Combinators,
    Generics.MRSOP.Base.Metadata,
    Generics.MRSOP.Base.Show,
    Generics.MRSOP.Base,
    Generics.MRSOP.Opaque,
    Generics.MRSOP.Util,
    Generics.MRSOP.TH,
    Generics.MRSOP.Zipper,
    Generics.MRSOP.Examples.RoseTree,
    Generics.MRSOP.Examples.RoseTreeTH,
    Generics.MRSOP.Examples.LambdaAlphaEqTH,
    Generics.MRSOP.Examples.SimpTH

  other-extensions: 
    MultiParamTypeClasses,
    FlexibleInstances,
    FlexibleContexts,
    TypeSynonymInstances,
    RankNTypes,
    TypeFamilies,
    TypeOperators,
    DataKinds,
    PolyKinds,
    GADTs,
    TypeApplications,
    ConstraintKinds,
    FunctionalDependencies,
    ScopedTypeVariables

  build-depends:       base >= 4.9 && <= 4.12,
                       containers,
                       template-haskell,
                       mtl
  
  hs-source-dirs:      src
  
  default-language:    Haskell2010
  

source-repository head
  type:     git
  location: https://github.com/VictorCMiraldo/generics-mrsop

source-repository this
  type:     git
  location: https://github.com/VictorCMiraldo/generics-mrsop
  tag:      1.0.0.1