name: generics-mrsop
version: 2.1.0
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: 1.24
tested-with: GHC == 8.2.2, GHC == 8.4.2
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,
Generics.MRSOP.Opaque,
Generics.MRSOP.Util,
Generics.MRSOP.Holes
Generics.MRSOP.TH,
Generics.MRSOP.Zipper,
Generics.MRSOP.Zipper.Deep,
Generics.MRSOP.Examples.RoseTree,
Generics.MRSOP.Examples.RoseTreeTH,
Generics.MRSOP.Examples.LambdaAlphaEqTH,
Generics.MRSOP.Examples.SimpTH,
Generics.MRSOP.AG
other-extensions:
MultiParamTypeClasses,
FlexibleInstances,
FlexibleContexts,
TypeSynonymInstances,
RankNTypes,
TypeFamilies,
TypeOperators,
DataKinds,
PolyKinds,
GADTs,
TypeApplications,
ConstraintKinds,
FunctionalDependencies,
ScopedTypeVariables
ghc-options: -Wall
build-depends: base >= 4.9 && <= 5,
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: v2.1.0