-- GENERATED by C->Haskell Compiler, version 0.20.1 The shapeless maps, 31 Oct 2014 (Haskell)
-- Edit the ORIGNAL .chs file instead!


{-# LINE 1 "src/Data/ABC/Internal/Main.chs" #-}
{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# OPTIONS_GHC -fno-warn-unused-matches #-}

{- |
Module      : Data.ABC.Internal.Main
Copyright   : Galois, Inc. 2010
License     : BSD3
Maintainer  : jhendrix@galois.com
Stability   : experimental
Portability : non-portable (c2hs, language extensions)

/Incomplete./ Binding of @base\/main\/main.h@ for managing
the global state of the ABC library.
-}

module Data.ABC.Internal.Main (
    -- * main.c
      abcStart
    , abcStop
    ) where



abcStart :: IO ()
abcStart =
  abcStart'_ >>
  return ()

{-# LINE 25 "src/Data/ABC/Internal/Main.chs" #-}

abcStop :: IO ()
abcStop =
  abcStop'_ >>
  return ()

{-# LINE 26 "src/Data/ABC/Internal/Main.chs" #-}


foreign import ccall safe "Data/ABC/Internal/Main.chs.h Abc_Start"
  abcStart'_ :: (IO ())

foreign import ccall safe "Data/ABC/Internal/Main.chs.h Abc_Stop"
  abcStop'_ :: (IO ())