Merge pull request #316 from Dobiasd/patch-1

type annotation of String.isEmpty: "isEmpty : String" => isEmpty : Strin...
This commit is contained in:
Evan Czaplicki 2013-10-31 07:51:10 -07:00
commit a1b1b7473d

View file

@ -32,7 +32,7 @@ import Native.String
import Maybe (Maybe)
{-| Check if a string is empty `(isEmpty "" == True)` -}
isEmpty : String
isEmpty : String -> Bool
isEmpty = Native.String.isEmpty
{-| Add a character to the beginning of a string -}
@ -308,4 +308,4 @@ something.
fromList ['a','b','c'] == "abc"
-}
fromList : String -> [Char]
fromList = Native.String.fromList
fromList = Native.String.fromList