blob: 20634c73afc09f02fb9e54eaf770f23e21d6ad94 (
plain) (
blame)
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
|
# MIT License, Copyright (c) 2022 Marvin Borner
:import std/Byte B
:input std/List
# returns true if two strings are the same
eq? eq? B.eq?
(=?) eq?
:test ("ab" =? "ab") (true)
:test ("ab" =? "aa") (false)
# returns true if character is part of a string
in? in? B.eq?
∈ \in?
:test (∈ 'b' "ab") (true)
:test (∈ 'c' "ab") (false)
# splits string by newline character
lines Z [[rec]]
rec <>?(~broken) (^broken : empty) (^broken : (1 ~(~broken)))
broken break (B.eq? '\n') 0
:test (lines "ab\ncd") ("ab" : ("cd" : empty))
# :test (lines "ab\ncd\n") ("ab" : ("cd" : empty))
# concats list of strings with newline character
unlines concat-map (\(;) '\n')
:test (unlines ("ab" : ("cd" : empty))) ("ab\ncd\n")
main lines "ab\ncd"
|
