diff options
| author | Joris | 2021-01-09 14:24:49 +0100 |
|---|---|---|
| committer | Joris | 2021-01-09 14:24:49 +0100 |
| commit | 026ace6302f23837e34e982f6660e09ff38ee97b (patch) | |
| tree | 4ea14b3cdadadad97b349901148b8f4a2462482e /src/arrayUtils.ml | |
| parent | 8337dd669c518a70bffdf1e91059e0968d786c0f (diff) | |
Use plain HTML and CSS
Diffstat (limited to 'src/arrayUtils.ml')
| -rw-r--r-- | src/arrayUtils.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/arrayUtils.ml b/src/arrayUtils.ml deleted file mode 100644 index 75319d8..0000000 --- a/src/arrayUtils.ml +++ /dev/null @@ -1,8 +0,0 @@ -let flatMap (f : 'a -> 'b option) (xs : 'a Js.Array.t) : 'b Js.Array.t = - xs |> Js.Array.map f - |> Js.Array.filter (fun maybe -> - match maybe with Some _ -> true | None -> false) - |> Js.Array.map (fun maybe -> - match maybe with - | Some x -> x - | None -> Js.Exn.raiseError "Unexpected None") |