Logo

Programming-Idioms

This language bar is your friend. Select your favorite languages!
Select your favorite languages :
  • Or search :

Idiom #167 Trim prefix

Create string t consisting of string s with its prefix p removed (if s starts with p).

String t = s.replaceFirst("^" + p, "");
#include <string.h>
size_t l = strlen(p);
const char * t = strncmp(s, p, l) ? s : s + l;
var t = s.TrimStart(p);
import std.string;
string t = s.chompPrefix(p);
  if (index(s,p) == 1) then
     t = s(len(p)+1:)
  else
     t = s
  end if
import "strings"
t := strings.TrimPrefix(s, p)
import qualified Data.Maybe as Maybe
import qualified Data.List as List
t = Maybe.fromMaybe s $ List.stripPrefix p s
if (s.indexOf(p) === 0) {
    t = s.substring(p.length);
}
local t = (s:sub(0, #p) == p) and s:sub(#p+1) or s
$t = strpos($s, $p) === 0 ? substr($s, strlen($p)) : $s;
uses StrUtils;
if AnsiStartsStr(p, s) then 
  t := copy(s, length(p)+1, length(s)-length(p))
else
  s := t;
if (0 == index $s, $p) {
    my $t = substr $s, length $p;
}
t = s.lstrip(p)
t = s[s.startswith(p) and len(p):]
t = s.sub(/\A#{p}/, "")
t = s.delete_prefix(p)
let t = s.trim_start_matches(p);
let t = if s.starts_with(p) { &s[p.len()..] } else { s };
let t = s.strip_prefix(p).unwrap_or_else(|| s);

New implementation...
programming-idioms.org