Copyright	(c) ES Group, KTH/ICT/ES 2007-2013
License	BSD-style (see the file LICENSE)
Maintainer	forsyde-dev@ict.kth.se
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell98

ForSyDe.Deep.Bit

Description

Bit Datatype. Note that the Num instance is phony and shouldn't be used

Synopsis

Documentation

data Bit Source #

Constructors

H	High value
L	Low value

Instances

Eq Bit Source #
Methods (==) :: Bit -> Bit -> Bool # (/=) :: Bit -> Bit -> Bool #
Data Bit Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bit -> c Bit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bit # toConstr :: Bit -> Constr # dataTypeOf :: Bit -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Bit) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bit) # gmapT :: (forall b. Data b => b -> b) -> Bit -> Bit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bit -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bit -> r # gmapQ :: (forall d. Data d => d -> u) -> Bit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bit -> m Bit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bit -> m Bit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bit -> m Bit #
Num Bit Source #
Methods (+) :: Bit -> Bit -> Bit # (-) :: Bit -> Bit -> Bit # (*) :: Bit -> Bit -> Bit # negate :: Bit -> Bit # abs :: Bit -> Bit # signum :: Bit -> Bit # fromInteger :: Integer -> Bit #
Show Bit Source #
Methods showsPrec :: Int -> Bit -> ShowS # show :: Bit -> String # showList :: [Bit] -> ShowS #
Lift Bit Source #
Methods lift :: Bit -> Q Exp #
Bits Bit Source #
Methods (.&.) :: Bit -> Bit -> Bit # (.\|.) :: Bit -> Bit -> Bit # xor :: Bit -> Bit -> Bit # complement :: Bit -> Bit # shift :: Bit -> Int -> Bit # rotate :: Bit -> Int -> Bit # zeroBits :: Bit # bit :: Int -> Bit # setBit :: Bit -> Int -> Bit # clearBit :: Bit -> Int -> Bit # complementBit :: Bit -> Int -> Bit # testBit :: Bit -> Int -> Bool # bitSizeMaybe :: Bit -> Maybe Int # bitSize :: Bit -> Int # isSigned :: Bit -> Bool # shiftL :: Bit -> Int -> Bit # unsafeShiftL :: Bit -> Int -> Bit # shiftR :: Bit -> Int -> Bit # unsafeShiftR :: Bit -> Int -> Bit # rotateL :: Bit -> Int -> Bit # rotateR :: Bit -> Int -> Bit # popCount :: Bit -> Int #

not :: Bit -> Bit Source #

Not operation over bits

bitToBool :: Bit -> Bool Source #

Convert a bit to a boolean

boolToBit :: Bool -> Bit Source #

Convert a boolean to a bit

toBitVector8 :: Int8 -> FSVec D8 Bit Source #

fromBitVector8 :: FSVec D8 Bit -> Int8 Source #

toBitVector16 :: Int16 -> FSVec D16 Bit Source #

fromBitVector16 :: FSVec D16 Bit -> Int16 Source #

toBitVector32 :: Int32 -> FSVec D32 Bit Source #

fromBitVector32 :: FSVec D32 Bit -> Int32 Source #

toBitVector64 :: Int64 -> FSVec D64 Bit Source #

fromBitVector64 :: FSVec D64 Bit -> Int64 Source #

fixmul8 :: Int8 -> Int8 -> Int8 Source #