Define a Throw carrier around a function.

facet-lang · Oct 19, 2020 · 810d2af · 810d2af
1 parent 07d94da
commit 810d2af
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/Facet/Carrier/Throw/Inject.hs b/src/Facet/Carrier/Throw/Inject.hs
@@ -1,2 +1,7 @@
 module Facet.Carrier.Throw.Inject
-() where
+( ThrowC(..)
+) where
+
+import Control.Carrier.Reader
+
+newtype ThrowC e f m a = ThrowC (ReaderC (f -> e) m a)