path: root/Common/String.lean

namespace String

def splitTrim (c : Char → Bool) (s : String) : List String :=
  String.trim <$> s.splitToList c

def notEmpty : String → Bool := not ∘ isEmpty