MonadExc instance for option (#112)

* CircleCI generated from template

* CI update OCaml

* MonadExc instance for option

.circleci/config.yml

@@ -1,3 +1,6 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+
 version: 2.1
 
 jobs:
@@ -66,14 +69,14 @@ workflows:
         name: "Coq 8.10"
         coq: "coqorg/coq:8.10"
     - build:
-        name: "Coq 8.11"
-        coq: "coqorg/coq:8.11"
+        name: "Coq 8.11-ocaml-4.11-flambda"
+        coq: "coqorg/coq:8.11-ocaml-4.11-flambda"
     - build:
-        name: "Coq 8.12"
-        coq: "coqorg/coq:8.12"
+        name: "Coq 8.12-ocaml-4.11-flambda"
+        coq: "coqorg/coq:8.12-ocaml-4.11-flambda"
     - build:
-        name: "Coq 8.13"
-        coq: "coqorg/coq:8.13"
+        name: "Coq 8.13-ocaml-4.11-flambda"
+        coq: "coqorg/coq:8.13-ocaml-4.11-flambda"
     - build:
-        name: "Coq dev"
-        coq: "coqorg/coq:dev"
+        name: "Coq dev-ocaml-4.11-flambda"
+        coq: "coqorg/coq:dev-ocaml-4.11-flambda"

meta.yml

@@ -36,14 +36,24 @@ tested_coq_opam_versions:
   - version: '8.8'
   - version: '8.9'
   - version: '8.10'
-  - version: '8.11'
-  - version: '8.12'
-  - version: '8.13'
-  - version: 'dev'
+  - version: '8.11-ocaml-4.11-flambda'
+  - version: '8.12-ocaml-4.11-flambda'
+  - version: '8.13-ocaml-4.11-flambda'
+  - version: 'dev-ocaml-4.11-flambda'
 
 make_target: theories
+test_target: examples
 namespace: ExtLib
 
+circleci_after_script: |2-
+      - run:
+          name: Generate Coqdoc
+          command: |
+            make -j`nproc` html
+            tar cfz coqdoc.tgz html
+      - store_artifacts:
+          path: coqdoc.tgz
+
 documentation: |
   Ideas
   -----

theories/Data/Monads/OptionMonad.v

@@ -25,6 +25,14 @@ Global Instance Plus_option : MonadPlus option :=
     end
 }.
 
+Global Instance Exception_option : MonadExc unit option :=
+{ raise _ _   := None
+; catch _ c h := match c with
+                 | None   => h tt
+                 | Some x => Some x
+                 end
+}.
+
 Section Trans.
   Variable m : Type -> Type.