]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Code Review / simantics / platform.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | patch | inline | side by side (from: 77e4291)
Added Prelude/maybe 75/1875/1
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 21 Jun 2018 15:01:28 +0000 (18:01 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 21 Jun 2018 15:01:28 +0000 (18:01 +0300)
`maybe def f v` returns `def` if `v=Nothing` and `f x` if `v=Just x`.

gitlab #31

Change-Id: I3319ee8e9e4cf678aece4878c1fb2ddf33395bc4


No differences found
Simantics Platform SDK.