Lib.hs

module Lib where

import Control.Monad

import Language.Atom -- (bool, value, atom, E, Atom)
import Language.Atom.Elaboration (StateHierarchy(..))

genAtom :: IO ()
genAtom = do
  let config = defaults --{ cRuleCoverage = False }

  (schedule, _, names1, names2, nameTypeList)
    <- compile "myAtom" config myAtom

  -- putStrLn $ reportSchedule schedule

  let hier    = StateHierarchy "hier" []
      rules   = []
      config' = config { cCode = \ _ _ _ -> ("#include \"myAtom.h\"","") }
  _ <- writeC "main" config' hier rules schedule names1 names2 nameTypeList

  return ()

myAtom = atom "myAtom" $ do
  clutchCommand <- bool "clutchCommand" False
  cutchFeedback <- bool "cutchFeedback"  False
  failedToDisengage (value cutchFeedback) (value clutchCommand)