-- | This module re-exports a number of (compatible) modules from across base
-- and other libraries, as well as most of the modules in @goal-core@. It does
-- not re-export the Vector modules, which should be imported with
-- qualification.
module Goal.Core
    ( -- * Module Exports
      module Goal.Core.Util
    , module Goal.Core.Project
    , module Goal.Core.Circuit
    , module Data.Function
    , module Data.Functor
    , module Data.Foldable
    , module Data.Traversable
    , module Data.Ord
    , module Data.Maybe
    , module Data.Either
    , module Data.Finite
    , module Data.Csv
    , module Data.Proxy
    , module Data.Kind
    , module Data.Functor.Identity
    , module Data.Type.Equality
    , module Control.Applicative
    , module Control.Monad
    , module Control.Monad.Primitive
    , module Control.Monad.ST
    , module Control.Arrow
    , module Control.Concurrent
    , module Control.DeepSeq
    , module Numeric
    , module Numeric.SpecFunctions
    , module Options.Applicative
    , module GHC.TypeNats
    , module GHC.Generics
    , module Debug.Trace
    , module System.Directory
    -- * (Re)names
    , NatNumber
    , ByteString
    , orderedHeader
    ) where


--- Imports ---


-- Re-exports --

import Goal.Core.Util
import Goal.Core.Project
import Goal.Core.Circuit

import Data.Csv hiding (Parser,Field,header)
import qualified Data.Csv as CSV
import Data.Functor
import Data.Foldable
import Data.Traversable
import Data.Ord
import Data.Function hiding ((&))
import Data.Maybe
import Data.Either
import Data.Proxy
import Data.Finite
import Data.Kind (Type)
import Data.Functor.Identity
import Data.Type.Equality

import Control.Applicative hiding (empty)
import Control.Arrow hiding ((<+>))
import Control.Monad hiding (join)
import Control.Monad.ST
import Control.Concurrent
import Control.DeepSeq hiding (force)
import Control.Monad.Primitive hiding (internal)

import Options.Applicative

import GHC.TypeNats hiding (Mod)
import GHC.Generics (Generic)

import Debug.Trace
import System.Directory
import Numeric hiding (log1p,expm1)
import Numeric.SpecFunctions

import Numeric.Natural
import Data.ByteString (ByteString)

type NatNumber = Natural

orderedHeader :: [ByteString] -> Header
orderedHeader = CSV.header