hydra-0.14.0: hydra.cabal

cabal-version: 1.12

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

name:           hydra
version:        0.14.0
synopsis:       Graph programming language
description:    Hydra is an implementation of the LambdaGraph data model, which takes advantage of an isomorphism between labeled hypergraphs and typed lambda calculus: in Hydra, "graphs are programs, and programs are graphs". The language is designed to be embedded in other programming languages -- currently Haskell, Java, and Python. Hydra transforms data, schemas, and functional programs into multiple other languages in a way which maintains type safety. It is mutually self-hosting in Haskell, Java, and Python; i.e. each Hydra compiler can generate each other Hydra compiler as well as itself.
category:       Data
homepage:       https://github.com/CategoricalData/hydra#readme
bug-reports:    https://github.com/CategoricalData/hydra/issues
author:         Joshua Shinavier <josh@fortytwo.net>
maintainer:     Joshua Shinavier <josh@fortytwo.net>
license:        Apache-2.0
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    LICENSE
    README.md
    stack.yaml

source-repository head
  type: git
  location: https://github.com/CategoricalData/hydra

library
  exposed-modules:
      Hydra.Dsl.Annotations
      Hydra.Dsl.AsTerm
      Hydra.Dsl.AsType
      Hydra.Dsl.Bootstrap
      Hydra.Dsl.Literals
      Hydra.Dsl.LiteralTypes
      Hydra.Dsl.Meta.Base
      Hydra.Dsl.Meta.Common
      Hydra.Dsl.Meta.Context
      Hydra.Dsl.Meta.Core
      Hydra.Dsl.Meta.DeepCore
      Hydra.Dsl.Meta.Graph
      Hydra.Dsl.Meta.Lib.Chars
      Hydra.Dsl.Meta.Lib.Eithers
      Hydra.Dsl.Meta.Lib.Equality
      Hydra.Dsl.Meta.Lib.Lists
      Hydra.Dsl.Meta.Lib.Literals
      Hydra.Dsl.Meta.Lib.Logic
      Hydra.Dsl.Meta.Lib.Maps
      Hydra.Dsl.Meta.Lib.Math
      Hydra.Dsl.Meta.Lib.Maybes
      Hydra.Dsl.Meta.Lib.Pairs
      Hydra.Dsl.Meta.Lib.Regex
      Hydra.Dsl.Meta.Lib.Sets
      Hydra.Dsl.Meta.Lib.Strings
      Hydra.Dsl.Meta.Literals
      Hydra.Dsl.Meta.Phantoms
      Hydra.Dsl.Meta.Tabular
      Hydra.Dsl.Meta.Terms
      Hydra.Dsl.Meta.Testing
      Hydra.Dsl.Meta.Types
      Hydra.Dsl.Meta.Variants
      Hydra.Dsl.Prims
      Hydra.Dsl.Terms
      Hydra.Dsl.Tests
      Hydra.Dsl.Types
      Hydra.Ext.Haskell.TestingIo
      Hydra.Generation
      Hydra.Kernel
      Hydra.Lib.Chars
      Hydra.Lib.Eithers
      Hydra.Lib.Equality
      Hydra.Lib.Lists
      Hydra.Lib.Literals
      Hydra.Lib.Logic
      Hydra.Lib.Maps
      Hydra.Lib.Math
      Hydra.Lib.Maybes
      Hydra.Lib.Pairs
      Hydra.Lib.Regex
      Hydra.Lib.Sets
      Hydra.Lib.Strings
      Hydra.Minimal
      Hydra.Module.Compat
      Hydra.Settings
      Hydra.Sources.All
      Hydra.Sources.CoderUtils
      Hydra.Sources.Eval.Lib.All
      Hydra.Sources.Eval.Lib.Eithers
      Hydra.Sources.Eval.Lib.Equality
      Hydra.Sources.Eval.Lib.Lists
      Hydra.Sources.Eval.Lib.Logic
      Hydra.Sources.Eval.Lib.Maps
      Hydra.Sources.Eval.Lib.Math
      Hydra.Sources.Eval.Lib.Maybes
      Hydra.Sources.Eval.Lib.Pairs
      Hydra.Sources.Eval.Lib.Sets
      Hydra.Sources.Haskell.Coder
      Hydra.Sources.Haskell.Language
      Hydra.Sources.Haskell.Operators
      Hydra.Sources.Haskell.Serde
      Hydra.Sources.Haskell.Syntax
      Hydra.Sources.Haskell.Testing
      Hydra.Sources.Haskell.Utils
      Hydra.Sources.Json.Bootstrap
      Hydra.Sources.Json.Decode
      Hydra.Sources.Json.Decoding
      Hydra.Sources.Json.Encode
      Hydra.Sources.Json.Extract
      Hydra.Sources.Json.Model
      Hydra.Sources.Json.Parser
      Hydra.Sources.Json.Writer
      Hydra.Sources.Json.Yaml.Decode
      Hydra.Sources.Json.Yaml.Encode
      Hydra.Sources.Kernel.Lib.Names
      Hydra.Sources.Kernel.Terms.Adapt
      Hydra.Sources.Kernel.Terms.All
      Hydra.Sources.Kernel.Terms.Annotations
      Hydra.Sources.Kernel.Terms.Arity
      Hydra.Sources.Kernel.Terms.Checking
      Hydra.Sources.Kernel.Terms.CodeGeneration
      Hydra.Sources.Kernel.Terms.Constants
      Hydra.Sources.Kernel.Terms.Decoding
      Hydra.Sources.Kernel.Terms.Dsls
      Hydra.Sources.Kernel.Terms.Encoding
      Hydra.Sources.Kernel.Terms.Extract.Core
      Hydra.Sources.Kernel.Terms.Extract.Helpers
      Hydra.Sources.Kernel.Terms.Extract.Util
      Hydra.Sources.Kernel.Terms.Formatting
      Hydra.Sources.Kernel.Terms.Hoisting
      Hydra.Sources.Kernel.Terms.Inference
      Hydra.Sources.Kernel.Terms.Languages
      Hydra.Sources.Kernel.Terms.Lexical
      Hydra.Sources.Kernel.Terms.Literals
      Hydra.Sources.Kernel.Terms.Names
      Hydra.Sources.Kernel.Terms.Parsers
      Hydra.Sources.Kernel.Terms.Reduction
      Hydra.Sources.Kernel.Terms.Reflect
      Hydra.Sources.Kernel.Terms.Rewriting
      Hydra.Sources.Kernel.Terms.Schemas
      Hydra.Sources.Kernel.Terms.Serialization
      Hydra.Sources.Kernel.Terms.Show.Core
      Hydra.Sources.Kernel.Terms.Show.Error.Core
      Hydra.Sources.Kernel.Terms.Show.Errors
      Hydra.Sources.Kernel.Terms.Show.Graph
      Hydra.Sources.Kernel.Terms.Show.Meta
      Hydra.Sources.Kernel.Terms.Show.Paths
      Hydra.Sources.Kernel.Terms.Show.Typing
      Hydra.Sources.Kernel.Terms.Show.Util
      Hydra.Sources.Kernel.Terms.Sorting
      Hydra.Sources.Kernel.Terms.Substitution
      Hydra.Sources.Kernel.Terms.Templates
      Hydra.Sources.Kernel.Terms.Unification
      Hydra.Sources.Kernel.Terms.Validate.Core
      Hydra.Sources.Kernel.Terms.Validate.Packaging
      Hydra.Sources.Kernel.Types.All
      Hydra.Sources.Kernel.Types.Ast
      Hydra.Sources.Kernel.Types.Classes
      Hydra.Sources.Kernel.Types.Coders
      Hydra.Sources.Kernel.Types.Context
      Hydra.Sources.Kernel.Types.Core
      Hydra.Sources.Kernel.Types.Error.Checking
      Hydra.Sources.Kernel.Types.Error.Core
      Hydra.Sources.Kernel.Types.Error.Packaging
      Hydra.Sources.Kernel.Types.Errors
      Hydra.Sources.Kernel.Types.Graph
      Hydra.Sources.Kernel.Types.Module
      Hydra.Sources.Kernel.Types.Packaging
      Hydra.Sources.Kernel.Types.Parsing
      Hydra.Sources.Kernel.Types.Paths
      Hydra.Sources.Kernel.Types.Phantoms
      Hydra.Sources.Kernel.Types.Query
      Hydra.Sources.Kernel.Types.Relational
      Hydra.Sources.Kernel.Types.Tabular
      Hydra.Sources.Kernel.Types.Testing
      Hydra.Sources.Kernel.Types.Topology
      Hydra.Sources.Kernel.Types.Typing
      Hydra.Sources.Kernel.Types.Util
      Hydra.Sources.Kernel.Types.Variants
      Hydra.Sources.Libraries
      Hydra.Sources.Test.All
      Hydra.Sources.Test.Annotations
      Hydra.Sources.Test.Checking.Advanced
      Hydra.Sources.Test.Checking.AlgebraicTypes
      Hydra.Sources.Test.Checking.All
      Hydra.Sources.Test.Checking.Collections
      Hydra.Sources.Test.Checking.Failures
      Hydra.Sources.Test.Checking.Fundamentals
      Hydra.Sources.Test.Checking.NominalTypes
      Hydra.Sources.Test.EtaExpansion
      Hydra.Sources.Test.Formatting
      Hydra.Sources.Test.Hoisting.All
      Hydra.Sources.Test.Hoisting.Cases
      Hydra.Sources.Test.Hoisting.Let
      Hydra.Sources.Test.Inference.AlgebraicTypes
      Hydra.Sources.Test.Inference.AlgorithmW
      Hydra.Sources.Test.Inference.All
      Hydra.Sources.Test.Inference.Classes
      Hydra.Sources.Test.Inference.Failures
      Hydra.Sources.Test.Inference.Fundamentals
      Hydra.Sources.Test.Inference.KernelExamples
      Hydra.Sources.Test.Inference.NominalTypes
      Hydra.Sources.Test.Json.Parser
      Hydra.Sources.Test.Json.Roundtrip
      Hydra.Sources.Test.Json.Writer
      Hydra.Sources.Test.Lib.Chars
      Hydra.Sources.Test.Lib.Eithers
      Hydra.Sources.Test.Lib.Equality
      Hydra.Sources.Test.Lib.Lists
      Hydra.Sources.Test.Lib.Literals
      Hydra.Sources.Test.Lib.Logic
      Hydra.Sources.Test.Lib.Maps
      Hydra.Sources.Test.Lib.Math
      Hydra.Sources.Test.Lib.Maybes
      Hydra.Sources.Test.Lib.Pairs
      Hydra.Sources.Test.Lib.Regex
      Hydra.Sources.Test.Lib.Sets
      Hydra.Sources.Test.Lib.Strings
      Hydra.Sources.Test.Ordering
      Hydra.Sources.Test.Reduction
      Hydra.Sources.Test.Rewriting
      Hydra.Sources.Test.Serialization
      Hydra.Sources.Test.Sorting
      Hydra.Sources.Test.Substitution
      Hydra.Sources.Test.TestGraph
      Hydra.Sources.Test.TestSuite
      Hydra.Sources.Test.TestTerms
      Hydra.Sources.Test.TestTypes
      Hydra.Sources.Test.Transform
      Hydra.Sources.Test.Unification
      Hydra.Sources.Test.Utils
      Hydra.Sources.Test.Validate.All
      Hydra.Sources.Test.Validate.Core
      Hydra.Sources.Yaml.Model
      Hydra.Tools.Bytestrings
      Hydra.Tools.Debug
      Org.Example.Lispy
      Hydra.Adapt
      Hydra.Annotations
      Hydra.Arity
      Hydra.Ast
      Hydra.Checking
      Hydra.Classes
      Hydra.CodeGeneration
      Hydra.Coders
      Hydra.CoderUtils
      Hydra.Constants
      Hydra.Context
      Hydra.Core
      Hydra.Decode.Ast
      Hydra.Decode.Classes
      Hydra.Decode.Coders
      Hydra.Decode.Context
      Hydra.Decode.Core
      Hydra.Decode.Error.Checking
      Hydra.Decode.Error.Core
      Hydra.Decode.Errors
      Hydra.Decode.Json
      Hydra.Decode.Json.Model
      Hydra.Decode.Module
      Hydra.Decode.Parsing
      Hydra.Decode.Paths
      Hydra.Decode.Phantoms
      Hydra.Decode.Query
      Hydra.Decode.Relational
      Hydra.Decode.Tabular
      Hydra.Decode.Testing
      Hydra.Decode.Topology
      Hydra.Decode.Typing
      Hydra.Decode.Util
      Hydra.Decode.Variants
      Hydra.Decoding
      Hydra.Dsl.Ast
      Hydra.Dsl.Classes
      Hydra.Dsl.Coders
      Hydra.Dsl.Context
      Hydra.Dsl.Core
      Hydra.Dsl.Error.Checking
      Hydra.Dsl.Error.Core
      Hydra.Dsl.Error.Packaging
      Hydra.Dsl.Errors
      Hydra.Dsl.Ext.Haskell.Syntax
      Hydra.Dsl.Ext.Org.Yaml.Model
      Hydra.Dsl.Graph
      Hydra.Dsl.Json.Model
      Hydra.Dsl.Module
      Hydra.Dsl.Packaging
      Hydra.Dsl.Parsing
      Hydra.Dsl.Paths
      Hydra.Dsl.Query
      Hydra.Dsl.Relational
      Hydra.Dsl.Tabular
      Hydra.Dsl.Testing
      Hydra.Dsl.Topology
      Hydra.Dsl.Typing
      Hydra.Dsl.Util
      Hydra.Dsl.Variants
      Hydra.Dsls
      Hydra.Encode.Ast
      Hydra.Encode.Classes
      Hydra.Encode.Coders
      Hydra.Encode.Context
      Hydra.Encode.Core
      Hydra.Encode.Error.Checking
      Hydra.Encode.Error.Core
      Hydra.Encode.Errors
      Hydra.Encode.Json
      Hydra.Encode.Json.Model
      Hydra.Encode.Module
      Hydra.Encode.Parsing
      Hydra.Encode.Paths
      Hydra.Encode.Phantoms
      Hydra.Encode.Query
      Hydra.Encode.Relational
      Hydra.Encode.Tabular
      Hydra.Encode.Testing
      Hydra.Encode.Topology
      Hydra.Encode.Typing
      Hydra.Encode.Util
      Hydra.Encode.Variants
      Hydra.Encoding
      Hydra.Error.Checking
      Hydra.Error.Core
      Hydra.Error.Packaging
      Hydra.Errors
      Hydra.Eval.Lib.Eithers
      Hydra.Eval.Lib.Equality
      Hydra.Eval.Lib.Lists
      Hydra.Eval.Lib.Logic
      Hydra.Eval.Lib.Maps
      Hydra.Eval.Lib.Math
      Hydra.Eval.Lib.Maybes
      Hydra.Eval.Lib.Pairs
      Hydra.Eval.Lib.Sets
      Hydra.Ext.Haskell.Coder
      Hydra.Ext.Haskell.Language
      Hydra.Ext.Haskell.Operators
      Hydra.Ext.Haskell.Serde
      Hydra.Ext.Haskell.Syntax
      Hydra.Ext.Haskell.Testing
      Hydra.Ext.Haskell.Utils
      Hydra.Ext.Org.Json.Decoding
      Hydra.Ext.Org.Yaml.Model
      Hydra.Extract.Core
      Hydra.Extract.Helpers
      Hydra.Extract.Json
      Hydra.Extract.Util
      Hydra.Formatting
      Hydra.Graph
      Hydra.Hoisting
      Hydra.Inference
      Hydra.Json.Bootstrap
      Hydra.Json.Decode
      Hydra.Json.Encode
      Hydra.Json.Model
      Hydra.Json.Parser
      Hydra.Json.Writer
      Hydra.Json.Yaml.Decode
      Hydra.Json.Yaml.Encode
      Hydra.Languages
      Hydra.Lexical
      Hydra.Lib.Names
      Hydra.Literals
      Hydra.Module
      Hydra.Names
      Hydra.Packaging
      Hydra.Parsers
      Hydra.Parsing
      Hydra.Paths
      Hydra.Phantoms
      Hydra.Query
      Hydra.Reduction
      Hydra.Reflect
      Hydra.Relational
      Hydra.Rewriting
      Hydra.Schemas
      Hydra.Serialization
      Hydra.Show.Core
      Hydra.Show.Error.Core
      Hydra.Show.Errors
      Hydra.Show.Graph
      Hydra.Show.Meta
      Hydra.Show.Paths
      Hydra.Show.Typing
      Hydra.Show.Util
      Hydra.Sorting
      Hydra.Sources.Decode.Ast
      Hydra.Sources.Decode.Classes
      Hydra.Sources.Decode.Coders
      Hydra.Sources.Decode.Context
      Hydra.Sources.Decode.Core
      Hydra.Sources.Decode.Error.Checking
      Hydra.Sources.Decode.Error.Core
      Hydra.Sources.Decode.Error.Packaging
      Hydra.Sources.Decode.Errors
      Hydra.Sources.Decode.Json.Model
      Hydra.Sources.Decode.Module
      Hydra.Sources.Decode.Packaging
      Hydra.Sources.Decode.Parsing
      Hydra.Sources.Decode.Paths
      Hydra.Sources.Decode.Phantoms
      Hydra.Sources.Decode.Query
      Hydra.Sources.Decode.Relational
      Hydra.Sources.Decode.Tabular
      Hydra.Sources.Decode.Testing
      Hydra.Sources.Decode.Topology
      Hydra.Sources.Decode.Typing
      Hydra.Sources.Decode.Util
      Hydra.Sources.Decode.Variants
      Hydra.Sources.Encode.Ast
      Hydra.Sources.Encode.Classes
      Hydra.Sources.Encode.Coders
      Hydra.Sources.Encode.Context
      Hydra.Sources.Encode.Core
      Hydra.Sources.Encode.Error.Checking
      Hydra.Sources.Encode.Error.Core
      Hydra.Sources.Encode.Error.Packaging
      Hydra.Sources.Encode.Errors
      Hydra.Sources.Encode.Json.Model
      Hydra.Sources.Encode.Module
      Hydra.Sources.Encode.Packaging
      Hydra.Sources.Encode.Parsing
      Hydra.Sources.Encode.Paths
      Hydra.Sources.Encode.Phantoms
      Hydra.Sources.Encode.Query
      Hydra.Sources.Encode.Relational
      Hydra.Sources.Encode.Tabular
      Hydra.Sources.Encode.Testing
      Hydra.Sources.Encode.Topology
      Hydra.Sources.Encode.Typing
      Hydra.Sources.Encode.Util
      Hydra.Sources.Encode.Variants
      Hydra.Substitution
      Hydra.Tabular
      Hydra.Templates
      Hydra.Test.Transform
      Hydra.Test.Utils
      Hydra.Testing
      Hydra.Topology
      Hydra.Typing
      Hydra.Unification
      Hydra.Util
      Hydra.Validate.Core
      Hydra.Validate.Packaging
      Hydra.Variants
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/main/haskell
      src/gen-main/haskell
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-generation-tests
  main-is: Main.hs
  other-modules:
      Generation.Hydra.Test.AnnotationsSpec
      Generation.Hydra.Test.FormattingSpec
      Generation.Hydra.Test.Lib.CharsSpec
      Generation.Hydra.Test.Lib.EithersSpec
      Generation.Hydra.Test.Lib.EqualitySpec
      Generation.Hydra.Test.Lib.ListsSpec
      Generation.Hydra.Test.Lib.LiteralsSpec
      Generation.Hydra.Test.Lib.LogicSpec
      Generation.Hydra.Test.Lib.MapsSpec
      Generation.Hydra.Test.Lib.MathSpec
      Generation.Hydra.Test.Lib.MaybesSpec
      Generation.Hydra.Test.Lib.PairsSpec
      Generation.Hydra.Test.Lib.RegexSpec
      Generation.Hydra.Test.Lib.SetsSpec
      Generation.Hydra.Test.Lib.StringsSpec
      Generation.Hydra.Test.ReductionSpec
      Generation.Hydra.Test.SortingSpec
      Generation.Spec
      Hydra.Test.Annotations
      Hydra.Test.Checking.Advanced
      Hydra.Test.Checking.AlgebraicTypes
      Hydra.Test.Checking.All
      Hydra.Test.Checking.Collections
      Hydra.Test.Checking.Failures
      Hydra.Test.Checking.Fundamentals
      Hydra.Test.Checking.NominalTypes
      Hydra.Test.EtaExpansion
      Hydra.Test.Formatting
      Hydra.Test.Hoisting.All
      Hydra.Test.Hoisting.Cases
      Hydra.Test.Hoisting.Let
      Hydra.Test.Inference.AlgebraicTypes
      Hydra.Test.Inference.AlgorithmW
      Hydra.Test.Inference.All
      Hydra.Test.Inference.Classes
      Hydra.Test.Inference.Failures
      Hydra.Test.Inference.Fundamentals
      Hydra.Test.Inference.KernelExamples
      Hydra.Test.Inference.NominalTypes
      Hydra.Test.Json.Parser
      Hydra.Test.Json.Roundtrip
      Hydra.Test.Json.Writer
      Hydra.Test.Lib.Chars
      Hydra.Test.Lib.Eithers
      Hydra.Test.Lib.Equality
      Hydra.Test.Lib.Lists
      Hydra.Test.Lib.Literals
      Hydra.Test.Lib.Logic
      Hydra.Test.Lib.Maps
      Hydra.Test.Lib.Math
      Hydra.Test.Lib.Maybes
      Hydra.Test.Lib.Pairs
      Hydra.Test.Lib.Regex
      Hydra.Test.Lib.Sets
      Hydra.Test.Lib.Strings
      Hydra.Test.Ordering
      Hydra.Test.Reduction
      Hydra.Test.Rewriting
      Hydra.Test.Serialization
      Hydra.Test.Sorting
      Hydra.Test.Substitution
      Hydra.Test.TestGraph
      Hydra.Test.TestSuite
      Hydra.Test.TestTerms
      Hydra.Test.TestTypes
      Hydra.Test.Unification
      Hydra.Test.Validate.All
      Hydra.Test.Validate.Core
      Paths_hydra
  hs-source-dirs:
      src/exec/update-generation-tests
      src/gen-test/haskell
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hspec >=2.11.0 && <2.12
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-haskell-eval-lib
  main-is: Main.hs
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/exec/update-haskell-eval-lib
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-haskell-kernel
  main-is: Main.hs
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/exec/update-haskell-kernel
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-haskell-sources
  main-is: Main.hs
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/exec/update-haskell-sources
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-json-kernel
  main-is: Main.hs
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/exec/update-json-kernel
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-json-main
  main-is: Main.hs
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/exec/update-json-main
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-json-manifest
  main-is: Main.hs
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/exec/update-json-manifest
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-json-test
  main-is: Main.hs
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/exec/update-json-test
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable update-kernel-tests
  main-is: Main.hs
  other-modules:
      Generation.Hydra.Test.AnnotationsSpec
      Generation.Hydra.Test.FormattingSpec
      Generation.Hydra.Test.Lib.CharsSpec
      Generation.Hydra.Test.Lib.EithersSpec
      Generation.Hydra.Test.Lib.EqualitySpec
      Generation.Hydra.Test.Lib.ListsSpec
      Generation.Hydra.Test.Lib.LiteralsSpec
      Generation.Hydra.Test.Lib.LogicSpec
      Generation.Hydra.Test.Lib.MapsSpec
      Generation.Hydra.Test.Lib.MathSpec
      Generation.Hydra.Test.Lib.MaybesSpec
      Generation.Hydra.Test.Lib.PairsSpec
      Generation.Hydra.Test.Lib.RegexSpec
      Generation.Hydra.Test.Lib.SetsSpec
      Generation.Hydra.Test.Lib.StringsSpec
      Generation.Hydra.Test.ReductionSpec
      Generation.Hydra.Test.SortingSpec
      Generation.Spec
      Hydra.Test.Annotations
      Hydra.Test.Checking.Advanced
      Hydra.Test.Checking.AlgebraicTypes
      Hydra.Test.Checking.All
      Hydra.Test.Checking.Collections
      Hydra.Test.Checking.Failures
      Hydra.Test.Checking.Fundamentals
      Hydra.Test.Checking.NominalTypes
      Hydra.Test.EtaExpansion
      Hydra.Test.Formatting
      Hydra.Test.Hoisting.All
      Hydra.Test.Hoisting.Cases
      Hydra.Test.Hoisting.Let
      Hydra.Test.Inference.AlgebraicTypes
      Hydra.Test.Inference.AlgorithmW
      Hydra.Test.Inference.All
      Hydra.Test.Inference.Classes
      Hydra.Test.Inference.Failures
      Hydra.Test.Inference.Fundamentals
      Hydra.Test.Inference.KernelExamples
      Hydra.Test.Inference.NominalTypes
      Hydra.Test.Json.Parser
      Hydra.Test.Json.Roundtrip
      Hydra.Test.Json.Writer
      Hydra.Test.Lib.Chars
      Hydra.Test.Lib.Eithers
      Hydra.Test.Lib.Equality
      Hydra.Test.Lib.Lists
      Hydra.Test.Lib.Literals
      Hydra.Test.Lib.Logic
      Hydra.Test.Lib.Maps
      Hydra.Test.Lib.Math
      Hydra.Test.Lib.Maybes
      Hydra.Test.Lib.Pairs
      Hydra.Test.Lib.Regex
      Hydra.Test.Lib.Sets
      Hydra.Test.Lib.Strings
      Hydra.Test.Ordering
      Hydra.Test.Reduction
      Hydra.Test.Rewriting
      Hydra.Test.Serialization
      Hydra.Test.Sorting
      Hydra.Test.Substitution
      Hydra.Test.TestGraph
      Hydra.Test.TestSuite
      Hydra.Test.TestTerms
      Hydra.Test.TestTypes
      Hydra.Test.Unification
      Hydra.Test.Validate.All
      Hydra.Test.Validate.Core
      Paths_hydra
  hs-source-dirs:
      src/exec/update-kernel-tests
      src/gen-test/haskell
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hspec >=2.11.0 && <2.12
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

executable verify-json-kernel
  main-is: Main.hs
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/exec/verify-json-kernel
  ghc-options: -rtsopts
  build-depends:
      aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hydra
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010

test-suite hydra-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      GenerationSpec
      Hydra.ArbitraryCore
      Hydra.CoreCodersSpec
      Hydra.Dsl.TypesSpec
      Hydra.EvalPrimitives
      Hydra.Reference.AlgorithmW
      Hydra.Reference.AlgorithmWBridge
      Hydra.Reference.AlgorithmWSpec
      Hydra.TestData
      Hydra.TestSuiteSpec
      Hydra.TestUtils
      Hydra.UpdateGenerationTests
      Generation.Hydra.Test.AnnotationsSpec
      Generation.Hydra.Test.FormattingSpec
      Generation.Hydra.Test.Lib.CharsSpec
      Generation.Hydra.Test.Lib.EithersSpec
      Generation.Hydra.Test.Lib.EqualitySpec
      Generation.Hydra.Test.Lib.ListsSpec
      Generation.Hydra.Test.Lib.LiteralsSpec
      Generation.Hydra.Test.Lib.LogicSpec
      Generation.Hydra.Test.Lib.MapsSpec
      Generation.Hydra.Test.Lib.MathSpec
      Generation.Hydra.Test.Lib.MaybesSpec
      Generation.Hydra.Test.Lib.PairsSpec
      Generation.Hydra.Test.Lib.RegexSpec
      Generation.Hydra.Test.Lib.SetsSpec
      Generation.Hydra.Test.Lib.StringsSpec
      Generation.Hydra.Test.ReductionSpec
      Generation.Hydra.Test.SortingSpec
      Generation.Spec
      Hydra.Test.Annotations
      Hydra.Test.Checking.Advanced
      Hydra.Test.Checking.AlgebraicTypes
      Hydra.Test.Checking.All
      Hydra.Test.Checking.Collections
      Hydra.Test.Checking.Failures
      Hydra.Test.Checking.Fundamentals
      Hydra.Test.Checking.NominalTypes
      Hydra.Test.EtaExpansion
      Hydra.Test.Formatting
      Hydra.Test.Hoisting.All
      Hydra.Test.Hoisting.Cases
      Hydra.Test.Hoisting.Let
      Hydra.Test.Inference.AlgebraicTypes
      Hydra.Test.Inference.AlgorithmW
      Hydra.Test.Inference.All
      Hydra.Test.Inference.Classes
      Hydra.Test.Inference.Failures
      Hydra.Test.Inference.Fundamentals
      Hydra.Test.Inference.KernelExamples
      Hydra.Test.Inference.NominalTypes
      Hydra.Test.Json.Parser
      Hydra.Test.Json.Roundtrip
      Hydra.Test.Json.Writer
      Hydra.Test.Lib.Chars
      Hydra.Test.Lib.Eithers
      Hydra.Test.Lib.Equality
      Hydra.Test.Lib.Lists
      Hydra.Test.Lib.Literals
      Hydra.Test.Lib.Logic
      Hydra.Test.Lib.Maps
      Hydra.Test.Lib.Math
      Hydra.Test.Lib.Maybes
      Hydra.Test.Lib.Pairs
      Hydra.Test.Lib.Regex
      Hydra.Test.Lib.Sets
      Hydra.Test.Lib.Strings
      Hydra.Test.Ordering
      Hydra.Test.Reduction
      Hydra.Test.Rewriting
      Hydra.Test.Serialization
      Hydra.Test.Sorting
      Hydra.Test.Substitution
      Hydra.Test.TestGraph
      Hydra.Test.TestSuite
      Hydra.Test.TestTerms
      Hydra.Test.TestTypes
      Hydra.Test.Unification
      Hydra.Test.Validate.All
      Hydra.Test.Validate.Core
      Paths_hydra
  hs-source-dirs:
      src/test/haskell
      src/gen-test/haskell
  build-depends:
      HUnit
    , QuickCheck
    , aeson >=2.1.0 && <2.3
    , base >=4.19.0 && <4.22
    , base64-bytestring >=1.2.1 && <1.3
    , bytestring >=0.11.5 && <0.13
    , containers >=0.6.7 && <0.8
    , directory >=1.3.6 && <1.4
    , filepath >=1.4.200 && <1.6
    , hspec >=2.11.0 && <2.12
    , hspec-discover >=2.11.0 && <2.12
    , hydra
    , mtl
    , process
    , regex-tdfa >=1.3.2 && <1.4
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.0.2 && <2.2
    , time
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010