Mysaa/mpri-2.4-project-2023-2024
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Implemnted (most) of MSeq monad

Browse Source
This commit is contained in:
Mysaa 2024-03-14 20:48:52 +01:00
parent 8d3f175a82
commit 024513767f
Signed by: Mysaa
GPG Key ID: 7054D5D6A90F084F
1 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/MSeq.ml
View File

@ -1,25 +1,24 @@
type 'a t = MSeq_not_implemented_yet type 'a t = 'a Seq.t
let map (f : 'a -> 'b) (s : 'a t) : 'b t = let map (f : 'a -> 'b) (s : 'a t) : 'b t =
Utils.not_yet "MSeq.map" (f, s) Seq.map f s
let return (x : 'a) : 'a t = let return (x : 'a) : 'a t =
Utils.not_yet "MSeq.return" x Seq.return x
let bind (sa : 'a t) (f : 'a -> 'b t) : 'b t = let bind (sa : 'a t) (f : 'a -> 'b t) : 'b t =
Utils.not_yet "MSeq.bind" (sa, f) Seq.concat_map f sa
let delay (f : unit -> 'a t) : 'a t = let delay (f : unit -> 'a t) : 'a t =
Utils.not_yet "MSeq.delay" f fun () -> f () () (* f is already «delayed» form *)
let sum (li : 'a t list) : 'a t = let sum (li : 'a t list) : 'a t =
Utils.not_yet "MSeq.sum" li Seq.concat (List.to_seq li)
let fail : 'a t = let fail : 'a t = Seq.empty
MSeq_not_implemented_yet
let one_of (vs : 'a array) : 'a t = let one_of (vs : 'a array) : 'a t =
Utils.not_yet "MSeq.one_of" vs Utils.not_yet "MSeq.one_of" vs
let run (s : 'a t) : 'a Seq.t = let run (s : 'a t) : 'a Seq.t =
Utils.not_yet "MSeq.run" s s