# MIT License, Copyright (c) 2022 Marvin Borner

:import std/Char C
:import std/Number .
:import std/Number/Binary 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?

ni? \in?

…∋… ni?

:test ('b' ∈ "ab") (true)
:test ('c' ∈ "ab") (false)
:test ("ab" ∋ 'b') (true)
:test ("ab" ∋ 'c') (false)

# converts a string of digits into a number
number! from-digits ∘ (map C.number!)

:test ((number! "123") =? (+123)) (true)

# 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))

# concats list of strings with newline character
unlines concat-map (\(…;…) '\n')

:test (unlines ("ab" : ("cd" : empty))) ("ab\ncd\n")