Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
updateStates :: MetaTable -> Spec -> [SBVFunc] Source
updateObservers :: MetaTable -> Spec -> [SBVFunc] Source
fireTriggers :: MetaTable -> Spec -> [SBVFunc] Source
getExtArrs :: MetaTable -> [SBVFunc] Source
getExtFuns :: MetaTable -> [SBVFunc] Source