on master help sign in
type annotation of String.isEmpty: "isEmpty : String" => isEmpty : String -> Bool
1ed37feTobias Hermann
libraries/String.elm+2−2
@@ -32,7 +32,7 @@ import Native.String
32import Maybe (Maybe)
32import Maybe (Maybe)
33
33
34{-| Check if a string is empty `(isEmpty "" == True)` -}
34{-| Check if a string is empty `(isEmpty "" == True)` -}
35−isEmpty : String
35+isEmpty : String -> Bool
36isEmpty = Native.String.isEmpty
36isEmpty = Native.String.isEmpty
37
37
38{-| Add a character to the beginning of a string -}
38{-| Add a character to the beginning of a string -}
@@ -308,4 +308,4 @@ something.
308 fromList ['a','b','c'] == "abc"
308 fromList ['a','b','c'] == "abc"
309-}
309-}
310fromList : String -> [Char]
310fromList : String -> [Char]
311−fromList = Native.String.fromList
311+fromList = Native.String.fromList