pairs sorted Ord a a Bool sorted xs
Sign up to view full document!
SIGN UP
![pairs を用いて、リストが整列されているか否かを 判定する関数を定義する: sorted : : Ord a [a] Bool sorted xs = and](http://slidetodoc.com/presentation_image_h2/748f9f9b580aff6913b6521fc64a0ba3/image-15.jpg "pairs を用いて、リストが整列されているか否かを 判定する関数を定義する: sorted : : Ord a [a] Bool sorted xs = and")
pairs を用いて、リストが整列されているか否かを 判定する関数を定義する: sorted : : Ord a [a] Bool sorted xs = and [x y | (x, y) pairs xs] For example: and : : [Bool] -> Bool 要素全ての論理積 > sorted [1, 2, 3, 4] True > sorted [1, 3, 2, 4] False and [True, False, True] 14
- Slides: 21
![Char decode_byte(const bool bits[8])](https://slidetodoc.com/wp-content/uploads/2020/12/3572383_ebce3efc73a077a0e61a1bda22f74817-300x225.jpg "Char decode_byte(const bool bits[8])")
