@@ -221,11 +221,15 @@ min = Native.Basics.min
221221max : comparable -> comparable -> comparable
222222max = Native.Basics.max
223223
224−{-| The and operator. True if both inputs are True. -}
224+{-| The and operator. True if both inputs are True.
225+This operator short-circuits if the first argument is False.
226+-}
225227(&&) : Bool -> Bool -> Bool
226228(&&) = Native.Basics.and
227229
228−{-| The or operator. True if one or both inputs are True. -}
230+{-| The or operator. True if one or both inputs are True.
231+This operator short-circuits if the first argument is True.
232+-}
229233(||) : Bool -> Bool -> Bool
230234(||) = Native.Basics.or
231235