Add Monad instance for identity monad

JasonGross · Apr 2, 2023 · a3aceb0 · a3aceb0
1 parent 4ec103c
commit a3aceb0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/utils/theories/monad_utils.v b/utils/theories/monad_utils.v
@@ -53,6 +53,11 @@ Import MCMonadNotation.
        end
   |}.
 
+#[global] Instance id_monad : Monad (fun x => x) :=
+  {| ret A a := a ;
+     bind A B m f := f m
+  |}.
+
 #[global] Instance option_monad_exc : MonadExc unit option :=
 {| raise T _ := None ;
     catch T m f :=