search

LightAndLight / ipso

A functional scripting language.
https://ipso.dev
17 stars 1 forks source link

`string.stripPrefix : String -> String -> (| Some : String, None : () |)` and `string.startsWith : String -> String -> Bool` #319

Closed LightAndLight closed 1 year ago

LightAndLight commented 1 year ago 
string.startswith prefix value =
  case string.stripprefix prefix value of
    Some _ -> true
    None -> false