Internal.String

Definitions

findAll : Eq a => List a -> List a -> List Nat

Visibility: export

replace : Eq a => List a -> List a -> List a -> List a

Visibility: export

findAll : String -> String -> List Nat

Visibility: export

replace : String -> String -> String -> String

Visibility: export

filter : (Char -> Bool) -> String -> String

Totality: total
Visibility: export

showList : (a -> String) -> List a -> String

Totality: total
Visibility: export

split : Char -> String -> List String

Totality: total
Visibility: export

quote : String -> String

Visibility: export