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.Helpers
- Hydra.Extract.Util
- Hydra.Json.Parser
- Hydra.Json.Writer
- Hydra.Parsers
- Hydra.Packaging
- Hydra.Show.Core
- Hydra.Topology
-}

module Hydra.Kernel (
  module Hydra.Paths,
  module Hydra.Adapt,
  module Hydra.Annotations,
  module Hydra.Arity,
  module Hydra.Checking,
  module Hydra.Classes,
  module Hydra.Coders,
  module Hydra.Constants,
  module Hydra.Context,
  module Hydra.Core,
  module Hydra.Error.Checking,
  module Hydra.Error.Core,
  module Hydra.Error.Packaging,
  module Hydra.Errors,
  module Hydra.Languages,
  module Hydra.Formatting,
  module Hydra.Graph,
  module Hydra.Inference,
  module Hydra.Lexical,
  module Hydra.Literals,
  module Hydra.Module,
  module Hydra.Module.Compat,
  module Hydra.Parsing,
  module Hydra.Phantoms,
  module Hydra.Names,
  module Hydra.Query,
  module Hydra.Reduction,
  module Hydra.Reflect,
  module Hydra.Relational,
  module Hydra.Rewriting,
  module Hydra.Schemas,
  module Hydra.Serialization,
  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.Variants,
) where

import Hydra.Paths
import Hydra.Adapt
import Hydra.Annotations
import Hydra.Arity
import Hydra.Checking
import Hydra.Classes
import Hydra.Coders
import Hydra.Constants
import Hydra.Context
import Hydra.Core
import Hydra.Error.Checking
import Hydra.Error.Core
import Hydra.Error.Packaging
import Hydra.Errors
import Hydra.Languages
import Hydra.Formatting
import Hydra.Graph
import Hydra.Inference
import Hydra.Lexical
import Hydra.Literals
import Hydra.Module
import Hydra.Module.Compat
import Hydra.Parsing
import Hydra.Phantoms
import Hydra.Names
import Hydra.Query
import Hydra.Reduction
import Hydra.Reflect
import Hydra.Relational
import Hydra.Rewriting
import Hydra.Schemas
import Hydra.Serialization
import Hydra.Settings
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.Variants