Define an ExcSet constructor taking a list of Exceptions.

Author: robrix

semantic-analysis/src/Analysis/Exception.hs

@@ -7,6 +7,7 @@
 module Analysis.Exception
 ( Exception(..)
 , ExcSet(..)
+, fromExceptions
 , var
 , exc
   -- * Exception tracing analysis
@@ -32,6 +33,9 @@ instance Semigroup ExcSet where
 instance Monoid ExcSet where
   mempty = ExcSet mempty mempty
 
+fromExceptions :: [Exception] -> ExcSet
+fromExceptions = ExcSet mempty . Set.fromList
+
 var :: Name -> ExcSet
 var v = ExcSet (Set.singleton v) mempty