-- | The HIE Bios

module HIE.Bios (
  -- * Initialise a session
    Cradle(..)
  , findCradle
  , defaultCradle
  , initializeFlagsWithCradle
  , initializeFlagsWithCradleWithMessage
  -- * Load a module into a session
  , loadFile
  , loadFileWithMessage
  -- * Eliminate a session to IO
  , withGhcT
  ) where

import HIE.Bios.Cradle
import HIE.Bios.Types
import HIE.Bios.GHCApi
import HIE.Bios.Load