msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

two versions of optStr

Browse Source
This commit is contained in:
peb
2006-02-09 08:08:06 +00:00
parent dec0d1b24b
commit fd563696fa
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lib/prelude/Prelude.gf
View File

@@ -20,7 +20,8 @@ oper
nonExist : Str = variants {} ; nonExist : Str = variants {} ;
optStr : Str -> Str = \s -> variants {s ; []} ; optStr : Str -> Str = \s -> variants {[] ; s} ;
strOpt : Str -> Str = \s -> variants {s ; []} ;
constTable : (A,B : Type) -> B -> A => B = \_,_,b -> \\_ => b ; constTable : (A,B : Type) -> B -> A => B = \_,_,b -> \\_ => b ;
constStr : (A : Type) -> Str -> A => Str = \A -> constTable A Str ; constStr : (A : Type) -> Str -> A => Str = \A -> constTable A Str ;