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 maintainer: Joshua Shinavier 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