hydra-0.8.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.8.0
synopsis: Type-aware transformations for data and programs
description: Hydra is a domain-specific language for data models and data transformations. It is based on a typed lambda calculus, and transforms data and schemas between languages in a way which maintains type conformance. Hydra will even transform functional programs between selected languages, including much of its own source code.
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.Adapters
Hydra.AdapterUtils
Hydra.Annotations
Hydra.Codegen
Hydra.CoreDecoding
Hydra.Dsl.Annotations
Hydra.Dsl.Base
Hydra.Dsl.Bootstrap
Hydra.Dsl.Core
Hydra.Dsl.Expect
Hydra.Dsl.Grammars
Hydra.Dsl.Graph
Hydra.Dsl.Lib.Equality
Hydra.Dsl.Lib.Flows
Hydra.Dsl.Lib.Io
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.Prims
Hydra.Dsl.ShorthandTypes
Hydra.Dsl.Terms
Hydra.Dsl.Tests
Hydra.Dsl.Types
Hydra.Ext.Avro.Coder
Hydra.Ext.Avro.Language
Hydra.Ext.Avro.SchemaJson
Hydra.Ext.Graphql.Coder
Hydra.Ext.Graphql.Language
Hydra.Ext.Graphql.Serde
Hydra.Ext.Haskell.Coder
Hydra.Ext.Haskell.Language
Hydra.Ext.Haskell.Operators
Hydra.Ext.Haskell.Serde
Hydra.Ext.Haskell.Settings
Hydra.Ext.Haskell.Utils
Hydra.Ext.Java.Coder
Hydra.Ext.Java.Names
Hydra.Ext.Java.Serde
Hydra.Ext.Java.Settings
Hydra.Ext.Java.Utils
Hydra.Ext.Json.Coder
Hydra.Ext.Json.Eliminate
Hydra.Ext.Json.Language
Hydra.Ext.Json.Serde
Hydra.Ext.Pegasus.Coder
Hydra.Ext.Pegasus.Language
Hydra.Ext.Pegasus.Serde
Hydra.Ext.Pg.Coder
Hydra.Ext.Pg.TermsToElements
Hydra.Ext.Protobuf.Coder
Hydra.Ext.Protobuf.Serde
Hydra.Ext.Rdf.Serde
Hydra.Ext.Rdf.Utils
Hydra.Ext.Scala.Coder
Hydra.Ext.Scala.Language
Hydra.Ext.Scala.Prepare
Hydra.Ext.Scala.Serde
Hydra.Ext.Scala.Utils
Hydra.Ext.Shacl.Coder
Hydra.Ext.Shacl.Language
Hydra.Ext.Yaml.Coder
Hydra.Ext.Yaml.Language
Hydra.Ext.Yaml.Modules
Hydra.Ext.Yaml.Serde
Hydra.Flows
Hydra.Inference.AlgorithmW
Hydra.Inference.AlgorithmWBridge
Hydra.Inference.AltInference
Hydra.Inference.Inference
Hydra.Inference.Rules
Hydra.Inference.Substitution
Hydra.Kernel
Hydra.Lexical
Hydra.Lib.Equality
Hydra.Lib.Flows
Hydra.Lib.Io
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.LiteralAdapters
Hydra.Minimal
Hydra.Reduction
Hydra.Rewriting
Hydra.Schemas
Hydra.Sources.Core
Hydra.Sources.Libraries
Hydra.Sources.Tier0.All
Hydra.Sources.Tier0.Ast
Hydra.Sources.Tier0.Coders
Hydra.Sources.Tier0.Compute
Hydra.Sources.Tier0.Constraints
Hydra.Sources.Tier0.Grammar
Hydra.Sources.Tier0.Graph
Hydra.Sources.Tier0.Json
Hydra.Sources.Tier0.Mantle
Hydra.Sources.Tier0.Module
Hydra.Sources.Tier0.Phantoms
Hydra.Sources.Tier0.Query
Hydra.Sources.Tier0.Testing
Hydra.Sources.Tier0.Workflow
Hydra.Sources.Tier1.All
Hydra.Sources.Tier1.Constants
Hydra.Sources.Tier1.CoreEncoding
Hydra.Sources.Tier1.Decode
Hydra.Sources.Tier1.Messages
Hydra.Sources.Tier1.Strip
Hydra.Sources.Tier1.Tier1
Hydra.Sources.Tier2.All
Hydra.Sources.Tier2.Basics
Hydra.Sources.Tier2.CoreLanguage
Hydra.Sources.Tier2.Extras
Hydra.Sources.Tier2.Printing
Hydra.Sources.Tier2.Tier2
Hydra.Sources.Tier3.All
Hydra.Sources.Tier3.Tier3
Hydra.Sources.Tier4.All
Hydra.Sources.Tier4.Ext.Avro.Schema
Hydra.Sources.Tier4.Ext.Csharp.Syntax
Hydra.Sources.Tier4.Ext.Cypher.Features
Hydra.Sources.Tier4.Ext.Cypher.Functions
Hydra.Sources.Tier4.Ext.Cypher.OpenCypher
Hydra.Sources.Tier4.Ext.Graphql.Syntax
Hydra.Sources.Tier4.Ext.Haskell.Ast
Hydra.Sources.Tier4.Ext.Java.Language
Hydra.Sources.Tier4.Ext.Java.Syntax
Hydra.Sources.Tier4.Ext.Json.Decoding
Hydra.Sources.Tier4.Ext.Pegasus.Pdl
Hydra.Sources.Tier4.Ext.Pg.Mapping
Hydra.Sources.Tier4.Ext.Pg.Model
Hydra.Sources.Tier4.Ext.Pg.Query
Hydra.Sources.Tier4.Ext.Pg.Validation
Hydra.Sources.Tier4.Ext.Protobuf.Any
Hydra.Sources.Tier4.Ext.Protobuf.Language
Hydra.Sources.Tier4.Ext.Protobuf.Proto3
Hydra.Sources.Tier4.Ext.Protobuf.SourceContext
Hydra.Sources.Tier4.Ext.Rdf.Syntax
Hydra.Sources.Tier4.Ext.RelationalModel
Hydra.Sources.Tier4.Ext.Scala.Meta
Hydra.Sources.Tier4.Ext.Shacl.Model
Hydra.Sources.Tier4.Ext.Tabular
Hydra.Sources.Tier4.Ext.Yaml.Model
Hydra.Sources.Tier4.Test.Lib.Lists
Hydra.Sources.Tier4.Test.Lib.Strings
Hydra.Sources.Tier4.Test.TestSuite
Hydra.TermAdapters
Hydra.Tools.Accessors
Hydra.Tools.Bytestrings
Hydra.Tools.Debug
Hydra.Tools.Formatting
Hydra.Tools.GrammarToModule
Hydra.Tools.Serialization
Hydra.Tools.Sorting
Hydra.Tools.Templating
Hydra.Unification
Hydra.Ast
Hydra.Basics
Hydra.Coders
Hydra.Compute
Hydra.Constants
Hydra.Constraints
Hydra.Core
Hydra.CoreEncoding
Hydra.CoreLanguage
Hydra.Decode
Hydra.Ext.Csharp.Syntax
Hydra.Ext.Cypher.Features
Hydra.Ext.Cypher.OpenCypher
Hydra.Ext.Haskell.Ast
Hydra.Ext.Java.Language
Hydra.Ext.Java.Syntax
Hydra.Ext.Org.Apache.Avro.Schema
Hydra.Ext.Org.Graphql.Syntax
Hydra.Ext.Org.Json.Decoding
Hydra.Ext.Org.W3.Rdf.Syntax
Hydra.Ext.Org.W3.Shacl.Model
Hydra.Ext.Org.Yaml.Model
Hydra.Ext.Pegasus.Pdl
Hydra.Ext.Protobuf.Any
Hydra.Ext.Protobuf.Language
Hydra.Ext.Protobuf.Proto3
Hydra.Ext.Protobuf.SourceContext
Hydra.Ext.RelationalModel
Hydra.Ext.Scala.Meta
Hydra.Ext.Tabular
Hydra.Extras
Hydra.Grammar
Hydra.Graph
Hydra.Json
Hydra.Mantle
Hydra.Messages
Hydra.Module
Hydra.Pg.Mapping
Hydra.Pg.Model
Hydra.Pg.Query
Hydra.Pg.Validation
Hydra.Phantoms
Hydra.Printing
Hydra.Query
Hydra.Strip
Hydra.Testing
Hydra.Tier1
Hydra.Tier2
Hydra.Tier3
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.0.0 && <2.2
, aeson-pretty >=0.8.9 && <0.9
, base >=4.18.0 && <4.19
, bytestring >=0.11.3 && <0.12
, containers >=0.6.5 && <0.7
, directory >=1.3.6 && <1.4
, filepath >=1.4.2 && <1.5
, mtl
, scientific >=0.3.7 && <0.4
, split >=0.2.3 && <0.3
, text >=2.0.2 && <2.1
, 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.AnnotationsSpec
Hydra.ArbitraryCore
Hydra.CoreCodersSpec
Hydra.Dsl.TypesSpec
Hydra.Ext.Json.CoderSpec
Hydra.Ext.Json.SerdeSpec
Hydra.Ext.Yaml.CoderSpec
Hydra.Ext.Yaml.SerdeSpec
Hydra.FlowsSpec
Hydra.Inference.AlgebraicTypesSpec
Hydra.Inference.AlgorithmWSpec
Hydra.Inference.AltInferenceSpec
Hydra.Inference.FundamentalsSpec
Hydra.Inference.InferenceSpec
Hydra.Inference.InferenceTestUtils
Hydra.Inference.NominalTypesSpec
Hydra.Inference.SubstitutionSpec
Hydra.Inference.TypeAnnotationsSpec
Hydra.LiteralAdaptersSpec
Hydra.ReductionSpec
Hydra.RewritingSpec
Hydra.StripSpec
Hydra.TermAdaptersSpec
Hydra.TestData
Hydra.TestGraph
Hydra.TestSuiteSpec
Hydra.TestUtils
Hydra.Tier1Spec
Hydra.Tools.SerializationSpec
Hydra.Tools.SortingSpec
Hydra.UnificationSpec
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.0.0 && <2.2
, aeson-pretty >=0.8.9 && <0.9
, base >=4.18.0 && <4.19
, bytestring >=0.11.3 && <0.12
, containers >=0.6.5 && <0.7
, directory >=1.3.6 && <1.4
, filepath >=1.4.2 && <1.5
, hspec
, hspec-discover
, hydra
, mtl
, scientific >=0.3.7 && <0.4
, split >=0.2.3 && <0.3
, text >=2.0.2 && <2.1
, vector >=0.12.0 && <0.14
default-language: Haskell2010