Merge pull request #319 from statebox/execution-folding

stbx-core: Add 'enabledTransitionIds' function. #307

Author: marcosh

stbx-core/src/Statebox/Core/Execution.purs

@@ -1,7 +1,7 @@
 module Statebox.Core.Execution where
 
 import Prelude
-import Data.Array (index, (..))
+import Data.Array (index, (..), filter)
 import Data.ArrayMultiset (ArrayMultiset)
 import Data.Maybe (Maybe(..))
 import Data.Newtype (unwrap)
@@ -158,6 +158,12 @@ transitionIds s = transitionIdsUpToAndIncluding (GluedTransitionId $ (transition
 
 --------------------------------------------------------------------------------
 
+-- TODO add 'glued' to name?
+enabledTransitionIds :: StbxObj -> Array GluedTransitionId
+enabledTransitionIds s = filter (enabled s <<< unwrap) (transitionIds s)
+
+--------------------------------------------------------------------------------
+
 -- What is called 'firing' here is really static info about a glued transition.
 
 -- TODO Is it inefficient not to cache these?