type annotation of String.isEmpty: "isEmpty : String" => isEmpty : String -> Bool
This commit is contained in:
parent
65509d7991
commit
167298290b
1 changed files with 2 additions and 2 deletions
|
@ -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 -}
|
||||
|
|
Loading…
Reference in a new issue