X-Git-Url: http://git.euphorik.ch/?p=master-thesis.git;a=blobdiff_plain;f=Parasitemia%2FParasitemiaCore%2FTypes.fs;fp=Parasitemia%2FParasitemiaCore%2FTypes.fs;h=e2accb7b98da738690a38085078fde075c846878;hp=917e7d8a8a3d4d0009223c29eac0a2003053e230;hb=6c70577f0bcc17881c753f7a527d2ff4672bb6aa;hpb=3990946e49fe34e9adcf0e04b0418cd16676e6fe diff --git a/Parasitemia/ParasitemiaCore/Types.fs b/Parasitemia/ParasitemiaCore/Types.fs index 917e7d8..e2accb7 100644 --- a/Parasitemia/ParasitemiaCore/Types.fs +++ b/Parasitemia/ParasitemiaCore/Types.fs @@ -59,4 +59,29 @@ type Line (a: float32, b: float32) = member this.A = a member this.B = b +type MaybeBuilder () = + member this.Bind (x, f) = + match x with + | None -> None + | Some a -> f a + member this.ReturnFrom (x) = x + + member this.TryFinally (body, compensation) = + try this.ReturnFrom(body()) + finally compensation() + + member this.Using (disposable: 'a when 'a :> IDisposable, body) = + let body' = fun () -> body disposable + this.TryFinally(body', fun () -> + match disposable with + | null -> () + | disp -> disp.Dispose()) + + member this.Zero () = + None + + member this.Return (x) = + Some x + +let maybe = new MaybeBuilder() \ No newline at end of file