Difference between revisions of "PreludeTour"
Jump to navigation
Jump to search
Tomjaguarpaw (talk  contribs) (Tour was cut short for some reason) 
m (Reverted edits by Tomjaguarpaw (talk) to last revision by Bjpop) 

Line 1:  Line 1:  
+  == A Tour of the Haskell Prelude == 

+  
+  
+  ;<span id="abs">'''abs'''</span>: 

+  { border="0" cellpadding="4" 

+   

+   ''type:''  <hask>abs :: Num a => a > a</hask> 

+   

+   ''description:''  returns the absolute value of a number. 

+   

+   ''definition:'' 

+   <haskell> 

+  abs x 

+   x >= 0 = x 

+   otherwise = x 

+  </haskell> 

+   

+   ''usage:'' 

+   <pre> 

+  Prelude> abs (3) 

+  3 

+  </pre> 

+  } 

+  
+  ;<span id="all">'''all'''</span>: 

+  { border="0" cellpadding="4" 

+   

+   ''type:''  <hask>all :: (a > Bool) > [a] > Bool</hask> 

+   

+   ''description:''  Applied to a predicate and a list, returns True if all elements of the list satisfy the predicate, and False otherwise. Similar to the function [[#any]]. 

+   

+   ''definition:'' 

+   <haskell> 

+  all p xs = and (map p xs) 

+  </haskell> 

+   

+   ''usage:'' 

+   <pre> 

+  Prelude> all (<11) [1..10] 

+  True 

+  Prelude> all isDigit "123abc" 

+  False 

+  </pre> 

+  } 
Latest revision as of 15:19, 6 February 2021
A Tour of the Haskell Prelude
 abs
type:  abs :: Num a => a > a

description:  returns the absolute value of a number. 
definition:  abs x
 x >= 0 = x
 otherwise = x

usage:  Prelude> abs (3) 3 
 all
type:  all :: (a > Bool) > [a] > Bool

description:  Applied to a predicate and a list, returns True if all elements of the list satisfy the predicate, and False otherwise. Similar to the function #any. 
definition:  all p xs = and (map p xs)

usage:  Prelude> all (<11) [1..10] True Prelude> all isDigit "123abc" False 