hydra-kernel-0.16.1: hydra-kernel.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-kernel
version: 0.16.1
synopsis: The Hydra kernel: core types, terms, inference, and DSL runtime
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". This package is the Hydra kernel: the core type and term model, type inference, the term rewriting and reduction engine, the primitive library, and the DSL runtime — the code that must be present in every Hydra implementation. The convenient entry point is the Hydra.Kernel module, which re-exports the kernel's collision-free surface.
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
NOTICE
CHANGELOG.md
source-repository head
type: git
location: https://github.com/CategoricalData/hydra
library
exposed-modules:
Hydra.Adapt
Hydra.Analysis
Hydra.Annotations
Hydra.Arity
Hydra.Ast
Hydra.Checking
Hydra.Classes
Hydra.Codegen
Hydra.Coders
Hydra.Constants
Hydra.Core
Hydra.Decode.Ast
Hydra.Decode.Coders
Hydra.Decode.Core
Hydra.Decode.Error.Checking
Hydra.Decode.Error.Core
Hydra.Decode.Error.Packaging
Hydra.Decode.Errors
Hydra.Decode.Json.Model
Hydra.Decode.Packaging
Hydra.Decode.Parsing
Hydra.Decode.Paths
Hydra.Decode.Query
Hydra.Decode.Relational
Hydra.Decode.Tabular
Hydra.Decode.Testing
Hydra.Decode.Topology
Hydra.Decode.Typed
Hydra.Decode.Typing
Hydra.Decode.Util
Hydra.Decode.Validation
Hydra.Decode.Variants
Hydra.Decode.Yaml.Model
Hydra.Decoding
Hydra.Dependencies
Hydra.Differentiation
Hydra.Dsl.Annotations
Hydra.Dsl.Ast
Hydra.Dsl.AsTerm
Hydra.Dsl.AsType
Hydra.Dsl.Bootstrap
Hydra.Dsl.Coders
Hydra.Dsl.Core
Hydra.Dsl.Deep.Lib.Math
Hydra.Dsl.Error.Checking
Hydra.Dsl.Error.Core
Hydra.Dsl.Error.Packaging
Hydra.Dsl.Errors
Hydra.Dsl.Graph
Hydra.Dsl.Json.Model
Hydra.Dsl.Libraries
Hydra.Dsl.Literals
Hydra.Dsl.LiteralTypes
Hydra.Dsl.Meta.Base
Hydra.Dsl.Meta.Common
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.Optionals
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.Packaging
Hydra.Dsl.Parsing
Hydra.Dsl.Paths
Hydra.Dsl.Prims
Hydra.Dsl.Query
Hydra.Dsl.Relational
Hydra.Dsl.Tabular
Hydra.Dsl.Terms
Hydra.Dsl.Testing
Hydra.Dsl.Tests
Hydra.Dsl.Topology
Hydra.Dsl.Types
Hydra.Dsl.Typing
Hydra.Dsl.Util
Hydra.Dsl.Validation
Hydra.Dsl.Variants
Hydra.Dsl.Yaml.Model
Hydra.Dsls
Hydra.Encode.Ast
Hydra.Encode.Coders
Hydra.Encode.Core
Hydra.Encode.Error.Checking
Hydra.Encode.Error.Core
Hydra.Encode.Error.Packaging
Hydra.Encode.Errors
Hydra.Encode.Json.Model
Hydra.Encode.Packaging
Hydra.Encode.Parsing
Hydra.Encode.Paths
Hydra.Encode.Query
Hydra.Encode.Relational
Hydra.Encode.Tabular
Hydra.Encode.Testing
Hydra.Encode.Topology
Hydra.Encode.Typed
Hydra.Encode.Typing
Hydra.Encode.Util
Hydra.Encode.Validation
Hydra.Encode.Variants
Hydra.Encode.Yaml.Model
Hydra.Encoding
Hydra.Environment
Hydra.Error.Checking
Hydra.Error.Core
Hydra.Error.Packaging
Hydra.Errors
Hydra.Extract.Core
Hydra.Extract.Json
Hydra.Extract.Util
Hydra.Formatting
Hydra.Graph
Hydra.Haskell.Lib.Chars
Hydra.Haskell.Lib.Eithers
Hydra.Haskell.Lib.Equality
Hydra.Haskell.Lib.Lists
Hydra.Haskell.Lib.Literals
Hydra.Haskell.Lib.Logic
Hydra.Haskell.Lib.Maps
Hydra.Haskell.Lib.Math
Hydra.Haskell.Lib.Optionals
Hydra.Haskell.Lib.Pairs
Hydra.Haskell.Lib.Regex
Hydra.Haskell.Lib.Sets
Hydra.Haskell.Lib.Strings
Hydra.Hoisting
Hydra.Inference
Hydra.Json.Bootstrap
Hydra.Json.Decode
Hydra.Json.Decoding
Hydra.Json.Encode
Hydra.Json.Model
Hydra.Json.Parser
Hydra.Json.Writer
Hydra.Json.Yaml.Decode
Hydra.Json.Yaml.Encode
Hydra.Kernel
Hydra.Languages
Hydra.Lexical
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.Optionals
Hydra.Lib.Pairs
Hydra.Lib.Regex
Hydra.Lib.Sets
Hydra.Lib.Strings
Hydra.Literals
Hydra.Names
Hydra.Packaging
Hydra.Parsers
Hydra.Parsing
Hydra.Paths
Hydra.Predicates
Hydra.Query
Hydra.Reduction
Hydra.Reflect
Hydra.Relational
Hydra.Resolution
Hydra.Rewriting
Hydra.Scoping
Hydra.Serialization
Hydra.Settings
Hydra.Show.Core
Hydra.Show.Error.Core
Hydra.Show.Error.Packaging
Hydra.Show.Errors
Hydra.Show.Graph
Hydra.Show.Paths
Hydra.Show.Typing
Hydra.Show.Util
Hydra.Show.Variants
Hydra.Sorting
Hydra.Strip
Hydra.Substitution
Hydra.Tabular
Hydra.Templates
Hydra.Test.Transform
Hydra.Test.Utils
Hydra.Testing
Hydra.Topology
Hydra.Typed
Hydra.Typing
Hydra.Unification
Hydra.Util
Hydra.Validate.Core
Hydra.Validate.Packaging
Hydra.Validation
Hydra.Variables
Hydra.Variants
Hydra.Yaml.Model
other-modules:
Paths_hydra_kernel
hs-source-dirs:
src/main/haskell
build-depends:
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
, 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
default-language: Haskell2010