cabal-version: 1.12

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

name:           tensor-safe
version:        0.1.0.1
synopsis:       Create valid deep neural network architectures
description:    TensorSafe provides a very simple API to create deep neural networks structures which are validated using Dependent Types. Given a list of Layers and an initial Shape, TensorSafe is able to check and corroborate the structure of the network. Also, it's possible to extract the definition and compile it to a target language like Python and JavaScript.
category:       AI, Dependent Types, Language, Library, Program
homepage:       https://github.com/leopiney/tensor-safe#readme
bug-reports:    https://github.com/leopiney/tensor-safe/issues
author:         Leonardo Pineyro
maintainer:     leopiney@gmail.com
copyright:      2019 Leonardo Pineyro
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md

source-repository head
  type: git
  location: https://github.com/leopiney/tensor-safe

library
  exposed-modules:
      TensorSafe
      TensorSafe.Commands.Check
      TensorSafe.Commands.Compile
      TensorSafe.Commands.Examples
      TensorSafe.Commands.Utils
      TensorSafe.Compile.Expr
      TensorSafe.Core
      TensorSafe.Examples.Examples
      TensorSafe.Examples.MnistExample
      TensorSafe.Examples.ResNet50Example
      TensorSafe.Examples.SimpleExample
      TensorSafe.Layer
      TensorSafe.Layers
      TensorSafe.Layers.Add
      TensorSafe.Layers.BatchNormalization
      TensorSafe.Layers.Conv2D
      TensorSafe.Layers.Dense
      TensorSafe.Layers.Dropout
      TensorSafe.Layers.Flatten
      TensorSafe.Layers.GlobalAvgPooling2D
      TensorSafe.Layers.Input
      TensorSafe.Layers.LSTM
      TensorSafe.Layers.MaxPooling
      TensorSafe.Layers.Relu
      TensorSafe.Layers.Sigmoid
      TensorSafe.Layers.ZeroPadding2D
      TensorSafe.Network
      TensorSafe.Shape
  other-modules:
      Paths_tensor_safe
  hs-source-dirs:
      src
  ghc-options: -Wall -freduction-depth=0
  build-depends:
      base >=4.7 && <5
    , casing >=0.1.4.0 && <0.1.5
    , cmdargs >=0.10.20 && <0.11
    , containers >=0.6.0.1 && <0.7
    , extra >=1.6 && <1.7
    , formatting >=6.3.6 && <6.4
    , ghc-typelits-extra >=0.3 && <0.4
    , hint >=0.9.0 && <1.0
    , singletons >=2.5.1 && <2.6
    , text >=1.2.3.1 && <1.3
    , vector >=0.12 && <0.13
    , vector-sized >1.2 && <1.3
  default-language: Haskell2010

executable tensor-safe
  main-is: Main.hs
  other-modules:
      Paths_tensor_safe
  hs-source-dirs:
      app
  ghc-options: -Wall -freduction-depth=0 -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , casing >=0.1.4.0 && <0.1.5
    , cmdargs >=0.10.20 && <0.11
    , containers >=0.6.0.1 && <0.7
    , extra >=1.6 && <1.7
    , formatting >=6.3.6 && <6.4
    , ghc-typelits-extra >=0.3 && <0.4
    , hint >=0.9.0 && <1.0
    , singletons >=2.5.1 && <2.6
    , tensor-safe
    , text >=1.2.3.1 && <1.3
    , vector >=0.12 && <0.13
    , vector-sized >1.2 && <1.3
  default-language: Haskell2010