@@ -221,11 +221,15 @@ min = Native.Basics.min
221max : comparable -> comparable -> comparable
221max : comparable -> comparable -> comparable
222max = Native.Basics.max
222max = Native.Basics.max
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.
225(&&) : Bool -> Bool -> Bool
227(&&) : Bool -> Bool -> Bool
226(&&) = Native.Basics.and
228(&&) = Native.Basics.and
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.
229(||) : Bool -> Bool -> Bool
233(||) : Bool -> Bool -> Bool
230(||) = Native.Basics.or
234(||) = Native.Basics.or