contains_char.mbt

1///| 2pub fn (haystack : @string.StringView, needle : Char) -> Bool contains_char(@string.StringView haystack : type @string.StringView A @string.View represents a view of a String that maintains proper Unicode character boundaries. It allows safe access to a substring while handling multi-byte characters correctly. @string.View, Char needle : Char Char) -> Bool Bool { 3 (haystack : @string.StringView, needle : Char) -> Int? find_char(@string.StringView haystack, Char needle) is Int? Some(_) 4} 5 6///| 7test "contains_char/basic" { 8 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("hello", 'h'), String content="true") 9 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("hello", 'o'), String content="true") 10 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("hello", 'l'), String content="true") 11 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("hello", 'x'), String content="false") 12 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("aaa", 'a'), String content="true") 13 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("ababa", 'b'), String content="true") 14 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("Hello", 'h'), String content="false") 15 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("Hello", 'H'), String content="true") 16} 17 18///| 19test "contains_char/edge_cases" { 20 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("", 'a'), String content="false") 21 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("a", 'a'), String content="true") 22 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("a", 'b'), String content="false") 23 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char(" ", ' '), String content="true") 24 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("\t", '\t'), String content="true") 25 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("\n", '\n'), String content="true") 26} 27 28///| 29test "contains_char/unicode" { 30 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("こんにちは", 'こ'), String content="true") 31 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("你好", '你'), String content="true") 32 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("Привет", 'П'), String content="true") 33 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("😊", '😊')String , content="true") 34 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("a😊b", '😊')String , content="true") 35} 36 37///| 38test "contains_char/case_sensitivity" { 39 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("Hello", 'h'), String content="false") 40 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("Hello", 'H'), String content="true") 41 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("hElLo", 'E'), String content="true") 42 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("hElLo", 'e'), String content="false") 43} 44 45///| 46test "contains_char/special_chars" { 47 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("a\\b", '\\'), String content="true") 48 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("a\"b", '\"'), String content="true") 49 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("a'b", '\''), String content="true") 50 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("a\u0000b", '\u0000'), String content="true") 51} 52 53///| 54test "contains_char/repeated_chars" { 55 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("aaaaa", 'a'), String content="true") 56 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("aabaa", 'b'), String content="true") 57 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("abcba", 'b'), String content="true") 58} 59 60///| 61test "contains_char/numeric" { 62 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("12345", '1'), String content="true") 63 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("12345", '5'), String content="true") 64 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("12345", '0'), String content="false") 65 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char("1a2b3", 'a'), String content="true") 66} 67 68///| 69test "contains_char/fuzz" { 70 let Int iter_num = 100 71 let Int haystack_len = 500 72 let @random.Rand rand = type @random.Rand Rand is a pseudo-random number generator (PRNG) that provides various methods to generate random numbers of different types. @random.Rand::(generator~ : &@random.Source = ..) -> @random.Rand Create a new random number generator with a given [Gen] source. new() 73 for _ in Int 0..<Int iter_num { 74 let () -> Char gen_char = fn() { 75 loop @random.Rand rand.(self : @random.Rand, limit~ : UInt) -> UInt [uint] returns a non-negative pseudo-random 32-bit integer as a Uint in the range [0, 2^32) or [0, limit) if limit is provided. Arguments limit - The upper bound (exclusive) of the random number to be generated (Optional). When limit is 0, the range is [0, 2^32). uint(UInt limit=0x10FFFF) { 76 UInt 0..=0xD7FF | 0xE000..=0x10FFFF as cp => 77 break UInt cp.(self : UInt) -> Int reinterpret the unsigned int as signed int For number within the range of 0..=2^31-1, the value is the same. For number within the range of 2^31..=2^32-1, the value is negative reinterpret_as_int().(self : Int) -> Char? to_char().(self : Char?) -> Char Extract the value in Some. If the value is None, it throws a panic. unwrap() 78 _ => continue @random.Rand rand.(self : @random.Rand, limit~ : UInt) -> UInt [uint] returns a non-negative pseudo-random 32-bit integer as a Uint in the range [0, 2^32) or [0, limit) if limit is provided. Arguments limit - The upper bound (exclusive) of the random number to be generated (Optional). When limit is 0, the range is [0, 2^32). uint(UInt limit=0x10FFFF) 79 } 80 } 81 let Char needle = () -> Char gen_char() 82 let String haystack_without_needle = (Array[Char]) -> String String::(chars : Array[Char]) -> String Convert char array to string. let s = @string.from_array(['H', 'e', 'l', 'l', 'o']) assert_eq(s, "Hello") Do not convert large datas to Array[Char] and build a string with String::from_array. For efficiency considerations, it's recommended to use Buffer instead. from_array( 83 type Array[T] An Array is a collection of values that supports random access and can grow in size. Array::(Int, (Int) -> Char) -> Array[Char] Creates a new array of the specified length, where each element is initialized using an index-based initialization function. Parameters: length : The length of the new array. If length is less than or equal to 0, returns an empty array. initializer : A function that takes an index (starting from 0) and returns a value of type T. This function is called for each index to initialize the corresponding element. Returns a new array of type Array[T] with the specified length, where each element is initialized using the provided function. Example: test "Array::makei" { let arr = Array::makei(3, fn(i) { i * 2 }) inspect(arr, content="[0, 2, 4]") } makei(Int haystack_len, fn(_) { 84 loop () -> Char gen_char() { 85 Char char if Char char (self : Char, other : Char) -> Bool Compares two characters for equality. Parameters: self : The first character to compare. other : The second character to compare. Returns true if both characters represent the same Unicode code point, false otherwise. Example: test "Char::op_equal" { let a = 'A' let b = 'A' let c = 'B' inspect(a == b, content="true") inspect(a == c, content="false") } == Char needle => continue () -> Char gen_char() 86 Char char => break Char char 87 } 88 }), 89 ) 90 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char(String haystack_without_needle, Char needle), String content="false") 91 for Int i in Int 0..<Int haystack_len { 92 let Array[Char] haystack_with_needle = String haystack_without_needle.(self : String) -> Array[Char] Converts the String into an array of Chars. to_array() 93 Array[Char] haystack_with_needle(Array[Char], Int, Char) -> Unit Sets the element at the specified index in the array to a new value. The original value at that index is overwritten. Parameters: array : The array to modify. index : The position in the array where the value will be set. value : The new value to assign at the specified index. Throws an error if index is negative or greater than or equal to the length of the array. Example: test "Array::op_set" { let arr = [1, 2, 3] arr[1] = 42 inspect(arr, content="[1, 42, 3]") } test "panic Array::op_set/out_of_bounds" { let arr = [1, 2, 3] arr[3] = 42 // Index out of bounds } [i] = Char needle 94 let String haystack_with_needle = (Array[Char]) -> String String::(chars : Array[Char]) -> String Convert char array to string. let s = @string.from_array(['H', 'e', 'l', 'l', 'o']) assert_eq(s, "Hello") Do not convert large datas to Array[Char] and build a string with String::from_array. For efficiency considerations, it's recommended to use Buffer instead. from_array(Array[Char] haystack_with_needle) 95 (obj : &Show, content~ : String, loc~ : SourceLoc = _, args_loc~ : ArgsLoc = _) -> Unit!InspectError Tests if the string representation of an object matches the expected content. Used primarily in test cases to verify the correctness of Show implementations and program outputs. Parameters: object : The object to be inspected. Must implement the Show trait. content : The expected string representation of the object. Defaults to an empty string. location : Source code location information for error reporting. Automatically provided by the compiler. arguments_location : Location information for function arguments in source code. Automatically provided by the compiler. Throws an InspectError if the actual string representation of the object does not match the expected content. The error message includes detailed information about the mismatch, including source location and both expected and actual values. Example: test "inspect/basic" { inspect(42, content="42") inspect("hello", content="hello") inspect([1, 2, 3], content="[1, 2, 3]") } inspect((haystack : @string.StringView, needle : Char) -> Bool contains_char(String haystack_with_needle, Char needle), String content="true") 96 } 97 } 98} 99