GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 10:48:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

Maybe.gf: add isJust function (synonym for exists)

Browse Source
This commit is contained in:
john.j.camilleri
2014-01-29 11:17:50 +00:00
parent 3b12abb42e
commit c6703f267f
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/src/prelude/Maybe.gf
View File

@@ -26,6 +26,7 @@ resource Maybe = open Prelude, Predef in {
-- Functions -- Functions
exists : (T : Type) -> Maybe T -> Bool = \_,m -> m.exists ; exists : (T : Type) -> Maybe T -> Bool = \_,m -> m.exists ;
isJust : (T : Type) -> Maybe T -> Bool = \_,m -> m.exists ;
fromJust : (T : Type) -> Maybe T -> T = \_,m -> case m.exists of { fromJust : (T : Type) -> Maybe T -> T = \_,m -> case m.exists of {
True => m.inner ; True => m.inner ;
False => Predef.error "Called fromJust with Nothing" False => Predef.error "Called fromJust with Nothing"