Kernel.hs

-- | A proxy for the Hydra kernel, i.e. the code which must be present in every Hydra implementation.
{-
Note: the following modules are part of the kernel, but they are not default imports because of name collisions:
- Hydra.Ast
- Hydra.Decode.Core
- Hydra.Encode.Core
- Hydra.Extract.Core
- Hydra.Extract.Util
- Hydra.Show.Variants
- Hydra.Codegen
- Hydra.Json.Parser
- Hydra.Json.Writer
- Hydra.Parsers
- Hydra.Show.Core
- Hydra.Topology
-}

module Hydra.Kernel (
  module Hydra.Paths,
  module Hydra.Adapt,
  module Hydra.Analysis,
  module Hydra.Annotations,
  module Hydra.Arity,
  module Hydra.Checking,
  module Hydra.Coders,
  module Hydra.Constants,
  module Hydra.Core,
  module Hydra.Dependencies,
  module Hydra.Environment,
  module Hydra.Error.Checking,
  module Hydra.Error.Core,
  module Hydra.Errors,
  module Hydra.Languages,
  module Hydra.Formatting,
  module Hydra.Graph,
  module Hydra.Inference,
  module Hydra.Lexical,
  module Hydra.Literals,
  module Hydra.Packaging,
  module Hydra.Parsing,
  module Hydra.Typed,
  module Hydra.Names,
  module Hydra.Predicates,
  module Hydra.Query,
  module Hydra.Reduction,
  module Hydra.Reflect,
  module Hydra.Relational,
  module Hydra.Resolution,
  module Hydra.Rewriting,
  module Hydra.Scoping,
  module Hydra.Serialization,
  module Hydra.Strip,
  module Hydra.Settings,
  module Hydra.Sorting,
  module Hydra.Substitution,
  module Hydra.Tabular,
  module Hydra.Templates,
  module Hydra.Testing,
  module Hydra.Typing,
  module Hydra.Unification,
  module Hydra.Util,
  module Hydra.Validation,
  module Hydra.Variables,
  module Hydra.Variants,
) where

import Hydra.Paths
import Hydra.Adapt
import Hydra.Analysis
import Hydra.Annotations
import Hydra.Arity
import Hydra.Checking
import Hydra.Coders
import Hydra.Constants
import Hydra.Core
import Hydra.Dependencies
import Hydra.Environment
import Hydra.Error.Checking
import Hydra.Error.Core
import Hydra.Errors
import Hydra.Languages
import Hydra.Formatting
import Hydra.Graph
import Hydra.Inference
import Hydra.Lexical
import Hydra.Literals
import Hydra.Packaging
import Hydra.Parsing
import Hydra.Typed
import Hydra.Names
import Hydra.Predicates
import Hydra.Query
import Hydra.Reduction
import Hydra.Reflect
import Hydra.Relational
import Hydra.Resolution
import Hydra.Rewriting
import Hydra.Scoping
import Hydra.Serialization
import Hydra.Settings
import Hydra.Strip
import Hydra.Sorting
import Hydra.Substitution
import Hydra.Tabular
import Hydra.Templates
import Hydra.Testing
import Hydra.Typing
import Hydra.Unification
import Hydra.Util
import Hydra.Validation
import Hydra.Variables
import Hydra.Variants