@@ -172,8 +172,11 @@ boolean = primType "Boolean" $ unlines
172partial :: Declaration
172partial :: Declaration
173partial = primClass "Partial" $ unlines
173partial = primClass "Partial" $ unlines
174 [ "The Partial type class is used to indicate that a function is *partial,*"
174 [ "The Partial type class is used to indicate that a function is *partial,*"
175+ , "that is, it is not defined for all inputs. In practice, attempting to use"
176+ , "a partial function with a bad input will usually cause an error to be"
177+ , "thrown, although it is not safe to assume that this will happen in all"
175− , "that is, it will throw an error for some inputs. For more information,"
178+ , "cases. For more information, see"
176− , "see [the Partial type class guide](https://github.com/purescript/documentation/blob/master/guides/The-Partial-type-class.md)."
179+ , "[the Partial type class guide](https://github.com/purescript/documentation/blob/master/guides/The-Partial-type-class.md)."
179fail :: Declaration
182fail :: Declaration