cabal-version:       2.4
name:                agda2hs
version:             1.4
license:             BSD-3-Clause
license-file:        LICENSE
author:              Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette, Viktor Csimma, Aleksander Wolska, Paul Bittner, Andreas Källberg, Bohdan Liesnikov, Jakob Naucke, and Heinrich Apfelmus
maintainer:          jesper@sikanda.be
copyright:           2025 Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette, Viktor Csimma, Aleksander Wolska, Paul Bittner, Andreas Källberg, Bohdan Liesnikov, Jakob Naucke, and Heinrich Apfelmus
category:            Language, Compiler
build-type:          Simple
synopsis:            Compiling Agda code to readable Haskell.
description:
  Produces verified and readable Haskell code by extracting it from a
  (lightly annotated) Agda program.
  The tool is implemented as an Agda backend, which means that `agda2hs` is a
  fully functional Agda compiler.

extra-doc-files:    CHANGELOG.md
                    README.md

data-files:
    lib/base/base.agda-lib
    lib/base/**/*.agda

source-repository head
  type:     git
  location: https://github.com/agda/agda2hs.git

executable agda2hs
  hs-source-dirs:      src
  main-is:             Main.hs
  other-modules:       Agda2Hs.AgdaUtils,
                       Agda2Hs.Compile,
                       Agda2Hs.Compile.ClassInstance,
                       Agda2Hs.Compile.Data,
                       Agda2Hs.Compile.Function,
                       Agda2Hs.Compile.Imports,
                       Agda2Hs.Compile.Name,
                       Agda2Hs.Compile.Postulate,
                       Agda2Hs.Compile.Record,
                       Agda2Hs.Compile.Term,
                       Agda2Hs.Compile.Type,
                       Agda2Hs.Compile.TypeDefinition,
                       Agda2Hs.Compile.Types,
                       Agda2Hs.Compile.Utils,
                       Agda2Hs.Compile.Var,
                       Agda2Hs.Config,
                       Agda2Hs.Language.Haskell,
                       Agda2Hs.Language.Haskell.Pretty,
                       Agda2Hs.Language.Haskell.Utils,
                       Agda2Hs.Pragma,
                       Agda2Hs.Render,
                       AgdaInternals,
                       Paths_agda2hs
  autogen-modules:     Paths_agda2hs
  build-depends:       base                 >= 4.13    && < 4.22,
                       Agda                 >= 2.8.0   && < 2.9.0,
                       bytestring           >= 0.11.5  && < 0.13,
                       containers           >= 0.6     && < 0.9,
                       unordered-containers >= 0.2.19  && < 0.3,
                       mtl                 (>= 2.2     && < 2.3)
                                        || (>= 2.3.1   && < 2.4),
                       transformers         >= 0.6     && < 0.7,
                       monad-control        >= 1.0     && < 1.1,
                       directory            >= 1.2.6.2 && < 1.4,
                       filepath             >= 1.4.1.0 && < 1.6,
                       haskell-src-exts     >= 1.23    && < 1.25,
                       syb                  >= 0.7.2   && < 0.8,
                       text                 >= 2.0.2   && < 2.2,
                       deepseq              >= 1.4.4   && < 1.6,
                       yaml                 >= 0.11    && < 0.12,
                       aeson                >= 2.0.3   && < 2.3,
  default-language:    Haskell2010
  default-extensions:  LambdaCase
                       RecordWildCards
                       FlexibleContexts
                       MultiWayIf
                       TupleSections
                       ScopedTypeVariables
                       ViewPatterns
                       NamedFieldPuns
                       PatternSynonyms
                       NondecreasingIndentation
                       OverloadedStrings
  ghc-options:         -rtsopts