hydra-0.12.0: hydra.cabal

cabal-version: 1.12

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

name:           hydra
version:        0.12.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, transforming data, schemas, and functional programs into multiple other languages in a way which maintains type safety, Hydra is self-hosting in Haskell, i.e. it generates its own executable source code from Hydra sources.
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:
    CHANGELOG.md
    LICENSE
    README.md
    stack.yaml

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

library
  exposed-modules:
      Hydra.Dsl.Accessors
      Hydra.Dsl.Annotations
      Hydra.Dsl.Ast
      Hydra.Dsl.Bootstrap
      Hydra.Dsl.Coders
      Hydra.Dsl.Common
      Hydra.Dsl.Compute
      Hydra.Dsl.Core
      Hydra.Dsl.Grammar
      Hydra.Dsl.Grammars
      Hydra.Dsl.Graph
      Hydra.Dsl.Json
      Hydra.Dsl.Lib.Chars
      Hydra.Dsl.Lib.Equality
      Hydra.Dsl.Lib.Flows
      Hydra.Dsl.Lib.Lists
      Hydra.Dsl.Lib.Literals
      Hydra.Dsl.Lib.Logic
      Hydra.Dsl.Lib.Maps
      Hydra.Dsl.Lib.Math
      Hydra.Dsl.Lib.Optionals
      Hydra.Dsl.Lib.Sets
      Hydra.Dsl.Lib.Strings
      Hydra.Dsl.Literals
      Hydra.Dsl.LiteralTypes
      Hydra.Dsl.Mantle
      Hydra.Dsl.Module
      Hydra.Dsl.PhantomLiterals
      Hydra.Dsl.Phantoms
      Hydra.Dsl.Prims
      Hydra.Dsl.ShorthandTypes
      Hydra.Dsl.Tabular
      Hydra.Dsl.TBase
      Hydra.Dsl.Terms
      Hydra.Dsl.Testing
      Hydra.Dsl.Tests
      Hydra.Dsl.Topology
      Hydra.Dsl.TTerms
      Hydra.Dsl.TTypes
      Hydra.Dsl.Types
      Hydra.Dsl.Typing
      Hydra.Generation
      Hydra.Kernel
      Hydra.Lib.Chars
      Hydra.Lib.Equality
      Hydra.Lib.Flows
      Hydra.Lib.Lists
      Hydra.Lib.Literals
      Hydra.Lib.Logic
      Hydra.Lib.Maps
      Hydra.Lib.Math
      Hydra.Lib.Optionals
      Hydra.Lib.Sets
      Hydra.Lib.Strings
      Hydra.Minimal
      Hydra.Settings
      Hydra.Sources.All
      Hydra.Sources.Haskell.Ast
      Hydra.Sources.Haskell.Coder
      Hydra.Sources.Haskell.Language
      Hydra.Sources.Haskell.Operators
      Hydra.Sources.Haskell.Serde
      Hydra.Sources.Haskell.Utils
      Hydra.Sources.Json.Coder
      Hydra.Sources.Json.Decoding
      Hydra.Sources.Json.Extract
      Hydra.Sources.Json.Language
      Hydra.Sources.Kernel.Terms.Adapt.Literals
      Hydra.Sources.Kernel.Terms.Adapt.Modules
      Hydra.Sources.Kernel.Terms.Adapt.Simple
      Hydra.Sources.Kernel.Terms.Adapt.Terms
      Hydra.Sources.Kernel.Terms.Adapt.Utils
      Hydra.Sources.Kernel.Terms.All
      Hydra.Sources.Kernel.Terms.Annotations
      Hydra.Sources.Kernel.Terms.Arity
      Hydra.Sources.Kernel.Terms.Constants
      Hydra.Sources.Kernel.Terms.Decode.Core
      Hydra.Sources.Kernel.Terms.Decoding
      Hydra.Sources.Kernel.Terms.Describe.Core
      Hydra.Sources.Kernel.Terms.Describe.Mantle
      Hydra.Sources.Kernel.Terms.Encode.Core
      Hydra.Sources.Kernel.Terms.Extract.Core
      Hydra.Sources.Kernel.Terms.Extract.Mantle
      Hydra.Sources.Kernel.Terms.Formatting
      Hydra.Sources.Kernel.Terms.Grammars
      Hydra.Sources.Kernel.Terms.Inference
      Hydra.Sources.Kernel.Terms.Languages
      Hydra.Sources.Kernel.Terms.Lexical
      Hydra.Sources.Kernel.Terms.Literals
      Hydra.Sources.Kernel.Terms.Monads
      Hydra.Sources.Kernel.Terms.Names
      Hydra.Sources.Kernel.Terms.Reduction
      Hydra.Sources.Kernel.Terms.Rewriting
      Hydra.Sources.Kernel.Terms.Schemas
      Hydra.Sources.Kernel.Terms.Serialization
      Hydra.Sources.Kernel.Terms.Show.Accessors
      Hydra.Sources.Kernel.Terms.Show.Core
      Hydra.Sources.Kernel.Terms.Show.Graph
      Hydra.Sources.Kernel.Terms.Show.Mantle
      Hydra.Sources.Kernel.Terms.Show.Typing
      Hydra.Sources.Kernel.Terms.Sorting
      Hydra.Sources.Kernel.Terms.Substitution
      Hydra.Sources.Kernel.Terms.Tarjan
      Hydra.Sources.Kernel.Terms.Templates
      Hydra.Sources.Kernel.Terms.Unification
      Hydra.Sources.Kernel.Terms.Variants
      Hydra.Sources.Kernel.Types.Accessors
      Hydra.Sources.Kernel.Types.All
      Hydra.Sources.Kernel.Types.Ast
      Hydra.Sources.Kernel.Types.Coders
      Hydra.Sources.Kernel.Types.Compute
      Hydra.Sources.Kernel.Types.Constraints
      Hydra.Sources.Kernel.Types.Core
      Hydra.Sources.Kernel.Types.Grammar
      Hydra.Sources.Kernel.Types.Graph
      Hydra.Sources.Kernel.Types.Json
      Hydra.Sources.Kernel.Types.Mantle
      Hydra.Sources.Kernel.Types.Module
      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.Workflow
      Hydra.Sources.Libraries
      Hydra.Sources.Test.Formatting
      Hydra.Sources.Test.Inference.AlgebraicTypes
      Hydra.Sources.Test.Inference.AlgorithmW
      Hydra.Sources.Test.Inference.Failures
      Hydra.Sources.Test.Inference.Fundamentals
      Hydra.Sources.Test.Inference.InferenceSuite
      Hydra.Sources.Test.Inference.KernelExamples
      Hydra.Sources.Test.Inference.NominalTypes
      Hydra.Sources.Test.Inference.Simple
      Hydra.Sources.Test.Lib.Lists
      Hydra.Sources.Test.Lib.Strings
      Hydra.Sources.Test.TestGraph
      Hydra.Sources.Test.TestSuite
      Hydra.Sources.Yaml.Model
      Hydra.Staging.Json.Serde
      Hydra.Staging.Yaml.Coder
      Hydra.Staging.Yaml.Language
      Hydra.Staging.Yaml.Modules
      Hydra.Staging.Yaml.Serde
      Hydra.Tools.Bytestrings
      Hydra.Tools.Debug
      Hydra.Tools.Monads
      Hydra.Accessors
      Hydra.Adapt.Literals
      Hydra.Adapt.Modules
      Hydra.Adapt.Simple
      Hydra.Adapt.Terms
      Hydra.Adapt.Utils
      Hydra.Annotations
      Hydra.Arity
      Hydra.Ast
      Hydra.Coders
      Hydra.Compute
      Hydra.Constants
      Hydra.Constraints
      Hydra.Core
      Hydra.Decode.Core
      Hydra.Decoding
      Hydra.Describe.Core
      Hydra.Describe.Mantle
      Hydra.Encode.Core
      Hydra.Ext.Haskell.Ast
      Hydra.Ext.Haskell.Coder
      Hydra.Ext.Haskell.Language
      Hydra.Ext.Haskell.Operators
      Hydra.Ext.Haskell.Serde
      Hydra.Ext.Haskell.Utils
      Hydra.Ext.Org.Json.Coder
      Hydra.Ext.Org.Json.Decoding
      Hydra.Ext.Org.Json.Language
      Hydra.Ext.Org.Yaml.Model
      Hydra.Extract.Core
      Hydra.Extract.Json
      Hydra.Extract.Mantle
      Hydra.Formatting
      Hydra.Grammar
      Hydra.Grammars
      Hydra.Graph
      Hydra.Inference
      Hydra.Json
      Hydra.Languages
      Hydra.Lexical
      Hydra.Literals
      Hydra.Mantle
      Hydra.Module
      Hydra.Monads
      Hydra.Names
      Hydra.Phantoms
      Hydra.Query
      Hydra.Reduction
      Hydra.Relational
      Hydra.Rewriting
      Hydra.Schemas
      Hydra.Serialization
      Hydra.Show.Accessors
      Hydra.Show.Core
      Hydra.Show.Graph
      Hydra.Show.Mantle
      Hydra.Show.Typing
      Hydra.Sorting
      Hydra.Substitution
      Hydra.Tabular
      Hydra.Tarjan
      Hydra.Templates
      Hydra.Testing
      Hydra.Topology
      Hydra.Typing
      Hydra.Unification
      Hydra.Variants
      Hydra.Workflow
  other-modules:
      Paths_hydra
  hs-source-dirs:
      src/main/haskell
      src/gen-main/haskell
  build-depends:
      HsYAML >=0.2.1 && <0.3
    , aeson >=2.2.0 && <2.3
    , aeson-pretty >=0.8.9 && <0.9
    , base >=4.20.0 && <4.21
    , bytestring >=0.12.0 && <0.13
    , containers ==0.7.*
    , directory >=1.3.6 && <1.4
    , filepath >=1.5.0 && <1.6
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.1.0 && <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:
      Hydra.Adapt.LiteralsSpec
      Hydra.Adapt.TermsSpec
      Hydra.AnnotationsSpec
      Hydra.ArbitraryCore
      Hydra.CoreCodersSpec
      Hydra.Dsl.TypesSpec
      Hydra.InferenceSpec
      Hydra.MonadsSpec
      Hydra.ReductionSpec
      Hydra.Reference.AlgorithmW
      Hydra.Reference.AlgorithmWBridge
      Hydra.Reference.AlgorithmWSpec
      Hydra.RewritingSpec
      Hydra.SerializationSpec
      Hydra.SortingSpec
      Hydra.Staging.Json.CoderSpec
      Hydra.Staging.Json.SerdeSpec
      Hydra.Staging.TestGraph
      Hydra.Staging.Yaml.CoderSpec
      Hydra.Staging.Yaml.SerdeSpec
      Hydra.TestData
      Hydra.TestSuiteSpec
      Hydra.TestUtils
      Hydra.Test.TestGraph
      Hydra.Test.TestSuite
      Paths_hydra
  hs-source-dirs:
      src/test/haskell
      src/gen-test/haskell
  build-depends:
      HUnit
    , HsYAML >=0.2.1 && <0.3
    , QuickCheck
    , aeson >=2.2.0 && <2.3
    , aeson-pretty >=0.8.9 && <0.9
    , base >=4.20.0 && <4.21
    , bytestring >=0.12.0 && <0.13
    , containers ==0.7.*
    , directory >=1.3.6 && <1.4
    , filepath >=1.5.0 && <1.6
    , hspec
    , hspec-discover
    , hydra
    , mtl
    , scientific >=0.3.7 && <0.4
    , split >=0.2.3 && <0.3
    , text >=2.1.0 && <2.2
    , vector >=0.12.0 && <0.14
  default-language: Haskell2010