1ed37fe · elk · git.iko.soy

type annotation of String.isEmpty: "isEmpty : String" => isEmpty : String -> Bool

commit1ed37fee60221a6c17f380e08c91830e97767ad2 authorTobias Hermann <harry@daiw.de> dateThu 31 Oct 2013, 14:25 (13 years ago) parent5edfdb0

1 file changed+2−2

unifiedsplit

libraries/String.elm+2−2

@@ -32,7 +32,7 @@ import Native.String

3232import Maybe (Maybe)

3333

3434{-| Check if a string is empty `(isEmpty "" == True)` -}

35−isEmpty : String

35+isEmpty : String -> Bool

3636isEmpty = Native.String.isEmpty

3737

3838{-| Add a character to the beginning of a string -}

@@ -308,4 +308,4 @@ something.

308308 fromList ['a','b','c'] == "abc"

309309-}

310310fromList : String -> [Char]

311−fromList = Native.String.fromList

311+fromList = Native.String.fromList