inf-backprop-0.2.0.0: inf-backprop.cabal
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: 
.
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