wolfpack-std 0.3.0

The standard library of wolfpack, as wolfpack source. Internal part of wolfpack-lang, not a stable API
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

//! Strings (spec chapter 7, section 4.3). Positions and lengths count Unicode scalar values.

module std.string

types {
    /// An immutable sequence of Unicode scalar values.
    pub intrinsic type String

    /// The error of `parse_int` and `parse_float`.
    pub struct ParseError {
        input: String
    }
}

impl {
    String {
        pub intrinsic fn len(self) -> Int
        pub intrinsic fn is_empty(self) -> Bool
        pub intrinsic fn contains(self, part: String) -> Bool
        pub intrinsic fn starts_with(self, part: String) -> Bool
        pub intrinsic fn ends_with(self, part: String) -> Bool
        pub intrinsic fn find(self, part: String) -> Option<Int>
        pub intrinsic fn split(self, separator: String) -> List<String>
        pub intrinsic fn lines(self) -> List<String>
        pub intrinsic fn chars(self) -> List<String>
        pub intrinsic fn trim(self) -> String
        pub intrinsic fn replace(self, from: String, to: String) -> String
        pub intrinsic fn repeat(self, times: Int) -> String
        pub intrinsic fn to_upper_ascii(self) -> String
        pub intrinsic fn to_lower_ascii(self) -> String
        pub intrinsic fn parse_int(self) -> Result<Int, ParseError>
        pub intrinsic fn parse_float(self) -> Result<Float, ParseError>
    }

    String: Comparable {
        intrinsic fn compare(self, other: Self) -> Ordering
    }

    String: Display {
        intrinsic fn to_string(self) -> String
    }

    ParseError: Error {
        fn message(self) -> String {
            "cannot parse " + self.input
        }
    }
}

functions {
    /// Joins `parts` with `separator` between them.
    pub intrinsic fn join(parts: List<String>, separator: String) -> String
}