blob: 8c7c3cf84c62bc891d79750d0b11f839c94e8098 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
%
% (c) The GRASP/AQUA Project, Glasgow University, 1998
%
\section[Bits]{The @Bits@ interface}
Defines the @Bits@ class containing bit-based operations.
See library document for details on the semantics of the
individual operations.
\begin{code}
{-# OPTIONS -fno-implicit-prelude #-}
module Bits where
#ifndef __HUGS__
import PrelBase
#endif
--ADR: The fixity for .|. conflicts with that for .|. in Fran.
-- Removing all fixities is a fairly safe fix; fixing the "one fixity
-- per symbol per program" limitation in Hugs would take a lot longer.
#ifndef __HUGS__
infixl 8 `shift`, `rotate`
infixl 7 .&.
infixl 6 `xor`
infixl 5 .|.
#endif
class Bits a where
(.&.), (.|.), xor :: a -> a -> a
complement :: a -> a
shift :: a -> Int -> a
rotate :: a -> Int -> a
bit :: Int -> a
setBit :: a -> Int -> a
clearBit :: a -> Int -> a
complementBit :: a -> Int -> a
testBit :: a -> Int -> Bool
bitSize :: a -> Int
isSigned :: a -> Bool
shiftL, shiftR :: Bits a => a -> Int -> a
rotateL, rotateR :: Bits a => a -> Int -> a
shiftL a i = shift a i
shiftR a i = shift a (-i)
rotateL a i = rotate a i
rotateR a i = rotate a (-i)
\end{code}
|
