136 lines
2 KiB
Elm
136 lines
2 KiB
Elm
module String where
|
|
{-| A built-in representation of String for effecient string manipulation.
|
|
-}
|
|
|
|
import Native.String
|
|
import Maybe (Maybe)
|
|
|
|
{-|
|
|
-}
|
|
isEmpty : String
|
|
isEmpty = Native.String.isEmpty
|
|
|
|
{-|
|
|
-}
|
|
cons : Char -> String -> String
|
|
cons = Native.String.cons
|
|
|
|
{-|
|
|
-}
|
|
uncons : String -> Maybe (Char, String)
|
|
uncons = Native.String.uncons
|
|
|
|
{-|
|
|
-}
|
|
length : String -> Int
|
|
length = Native.String.length
|
|
|
|
{-|
|
|
-}
|
|
map : (Char -> Char) -> String -> String
|
|
map = Native.String.map
|
|
|
|
{-|
|
|
-}
|
|
filter : (Char -> Bool) -> String -> String
|
|
filter = Native.String.filter
|
|
|
|
{-|
|
|
-}
|
|
reverse : String -> String
|
|
reverse = Native.String.reverse
|
|
|
|
{-|
|
|
-}
|
|
foldl : (Char -> b -> b) -> b -> String -> b
|
|
foldl = Native.String.foldl
|
|
|
|
{-|
|
|
-}
|
|
foldr : (Char -> b -> b) -> b -> String -> b
|
|
foldr = Native.String.foldr
|
|
|
|
{-|
|
|
-}
|
|
split : String -> String -> [String]
|
|
split = Native.String.split
|
|
|
|
{-|
|
|
-}
|
|
join : String -> [String] -> String
|
|
join = Native.String.join
|
|
|
|
{-|
|
|
-}
|
|
repeat : Int -> String -> String
|
|
repeat = Native.String.repeat
|
|
|
|
{-|
|
|
-}
|
|
center : Int -> Char -> String -> String
|
|
center = Native.String.center
|
|
|
|
{-|
|
|
-}
|
|
justifyLeft : Int -> Char -> String -> String
|
|
justifyLeft = Native.String.justifyLeft
|
|
|
|
{-|
|
|
-}
|
|
justifyRight : Int -> Char -> String -> String
|
|
justifyRight = Native.String.justifyRight
|
|
|
|
{-|
|
|
-}
|
|
trim : String -> String
|
|
trim = Native.String.trim
|
|
|
|
{-|
|
|
-}
|
|
trimLeft : String -> String
|
|
trimLeft = Native.String.trimLeft
|
|
|
|
{-|
|
|
-}
|
|
trimRight : String -> String
|
|
trimRight = Native.String.trimRight
|
|
|
|
{-|
|
|
-}
|
|
words : String -> [String]
|
|
words = Native.String.words
|
|
|
|
{-|
|
|
-}
|
|
unwords : [String] -> String
|
|
unwords = Native.String.unwords
|
|
|
|
{-|
|
|
-}
|
|
lines : String -> [String]
|
|
lines = Native.String.lines
|
|
|
|
{-|
|
|
-}
|
|
unlines : [String] -> String
|
|
unlines = Native.String.unlines
|
|
|
|
{-|
|
|
-}
|
|
toUpper : String -> String
|
|
toUpper = Native.String.toUpper
|
|
|
|
{-|
|
|
-}
|
|
toLower : String -> String
|
|
toLower = Native.String.toLower
|
|
|
|
{-|
|
|
-}
|
|
any : (Char -> Bool) -> String -> Bool
|
|
any = Native.String.any
|
|
|
|
{-|
|
|
-}
|
|
all : (Char -> Bool) -> String -> Bool
|
|
all = Native.String.all
|