cabal-version: 1.18

-- This file has been generated from package.yaml by hpack version 0.37.0.
--
-- see: https://github.com/sol/hpack

name:           inf-backprop
version:        0.2.0.0
synopsis:       Automatic differentiation and backpropagation.
description:    ![Second order derivative of a composition](docs/doc/images/composition_second_derivative.png) 
                .
                 Automatic differentiation library with efficient reverse-mode backpropagation for Haskell. 
                .
                 This package provides a general-purpose automatic differentiation system designed for building strongly typed deep learning frameworks. It offers: 
                .
                 * Reverse-mode automatic differentiation (backpropagation) 
                .
                 * Support for higher-order derivatives 
                .
                 * Type-safe gradient computation 
                .
                 * Integration with [numhask](https://hackage.haskell.org/package/numhask) 
                .
                 * Flexible representations including profunctor and Van Laarhoven encodings 
                .
                 The library emphasizes composability and type safety, making it suitable
                for research, prototyping neural networks, and implementing custom
                differentiable algorithms. 
                .
                 See the [tutorial](docs/Numeric-InfBackprop-Tutorial.html) for detailed
                examples and usage patterns. 
                .
                 Similar Projects: 
                .
                 * [ad](https://hackage.haskell.org/package/ad) - Comprehensive automatic differentiation library supporting forward and reverse modes 
                .
                 * [backprop](https://hackage.haskell.org/package/backprop) - Heterogeneous automatic differentiation with emphasis on ease of use
category:       Mathematics
author:         Alexey Tochin
maintainer:     Alexey.Tochin@gmail.com
copyright:      2023-2025 Alexey Tochin
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    CHANGELOG.md
    doc/images/backprop.drawio.png
    doc/images/backprop.png
    doc/images/composition.png
    doc/images/composition_derivative.png
    doc/images/composition_second_derivative.png
    doc/images/lens.drawio.png
    doc/images/lens.png
extra-doc-files:
    doc/images/backprop.drawio.png
    doc/images/backprop.png
    doc/images/composition.png
    doc/images/composition_derivative.png
    doc/images/composition_second_derivative.png
    doc/images/lens.drawio.png
    doc/images/lens.png

library
  exposed-modules:
      Data.FiniteSupportStream
      Debug.DiffExpr
      Numeric.InfBackprop
      Numeric.InfBackprop.Core
      Numeric.InfBackprop.Instances.NumHask
      Numeric.InfBackprop.Tutorial
      Numeric.InfBackprop.Utils.SizedVector
      Numeric.InfBackprop.Utils.Tuple
      Numeric.InfBackprop.Utils.Vector
  other-modules:
      Paths_inf_backprop
  hs-source-dirs:
      src
  default-extensions:
      NoImplicitPrelude
      GADTs
      TypeFamilies
      MultiParamTypeClasses
      FlexibleInstances
      ScopedTypeVariables
      ConstraintKinds
      RankNTypes
      InstanceSigs
      TupleSections
      FlexibleContexts
      DeriveFunctor
      TypeOperators
      TypeApplications
      BangPatterns
      DataKinds
      PatternSynonyms
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
  build-depends:
      Stream <0.5
    , base >=4.7 && <5
    , combinatorial <0.2
    , comonad <5.1
    , composition <1.1
    , data-fix <0.4
    , deepseq <1.6
    , extra <1.9
    , finite-typelits <0.3
    , fixed-vector <2.1
    , ghc-prim <0.13
    , hashable <1.6
    , indexed-list-literals <0.3
    , isomorphism-class <0.4
    , lens <5.4
    , numhask <0.14
    , optics <0.5
    , primitive <0.10
    , profunctors <5.7
    , safe <0.4
    , simple-expr <0.3
    , text <2.2
    , transformers <0.7
    , unordered-containers <0.3
    , vector <0.14
    , vector-sized <1.7
  default-language: Haskell2010

test-suite doctests
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Paths_inf_backprop
  hs-source-dirs:
      doctests
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -w -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      Stream
    , base >=4.7 && <5
    , combinatorial
    , comonad
    , composition
    , data-fix
    , deepseq
    , doctest
    , extra
    , finite-typelits
    , fixed-vector
    , ghc-prim
    , hashable
    , indexed-list-literals
    , isomorphism-class
    , lens
    , numhask
    , optics
    , primitive
    , profunctors
    , safe
    , simple-expr ==0.2.*
    , text
    , transformers
    , unordered-containers
    , vector
    , vector-sized
  default-language: Haskell2010