From ea65882c53040ee9230d086ccc0663f475eb6b32 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 1 Aug 2013 15:42:37 +0000 Subject: [PATCH] toUpperFirst and toLowerFirst in Prelude --- lib/src/prelude/Prelude.gf | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/lib/src/prelude/Prelude.gf b/lib/src/prelude/Prelude.gf index cb1bd0ba4..8bb2fbee0 100644 --- a/lib/src/prelude/Prelude.gf +++ b/lib/src/prelude/Prelude.gf @@ -138,5 +138,17 @@ oper eNext : ENumber -> ENumber = \e -> case e of { E0 => E1 ; E1 => E2 ; _ => Emore} ; +-- convert initial to upper/lower + + toUpperFirst : Str -> Str = \s -> case s of { + x@? + xs => Predef.toUpper x + xs ; + _ => s + } ; + + toLowerFirst : Str -> Str = \s -> case s of { + x@? + xs => Predef.toLower x + xs ; + _ => s + } ; + }