[#328] [studio-common] empty marking

statebox · Feb 26, 2020 · 0eb871f · 0eb871f
1 parent 77dc921
commit 0eb871f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/studio-common/src/Data/Petrinet/Representation/Marking.purs b/studio-common/src/Data/Petrinet/Representation/Marking.purs
@@ -6,6 +6,7 @@ module Data.Petrinet.Representation.Marking
   , toUnfoldable
   , tokensAt
   , findTokens
+  , emptyMarking
   ) where
 
 import Prelude hiding ((-))
@@ -39,6 +40,9 @@ toMap (BagF dict) = dict
 tokensAt :: forall a n. Ord a => BagF a n -> a -> Maybe n
 tokensAt = Bag.lookup'
 
+emptyMarking :: ∀ a n. BagF a n
+emptyMarking = BagF Map.empty
+
 --------------------------------------------------------------------------------
 
 findTokens