copilot-sbv-2.1.2: A compiler for CoPilot targeting SBV.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Compile.SBV.Common

Documentation

mkTmpStVar :: Id -> String Source

mkUpdateStFn :: Id -> String Source

mkQueueVar :: Id -> String Source

mkQueuePtrVar :: Id -> String Source

mkExtTmpVar :: String -> String Source

mkExtTmpTag :: String -> Maybe Tag -> String Source

mkExtArrFn :: String -> String Source

mkExtFunArgFn :: Int -> String -> Maybe Tag -> String Source

mkObserverFn :: String -> String Source

mkTriggerGuardFn :: String -> String Source

mkTriggerArgFn :: Int -> String -> String Source

mkArgIdx :: [a] -> [(Int, a)] Source

tagExtract :: Maybe Tag -> Tag Source