Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.Base
Documentation
module PureSAT.Assert
Instances
MonadFix (ST s) | |||||
Defined in Control.Monad.Fix | |||||
Applicative (ST s) | |||||
Functor (ST s) | |||||
Monad (ST s) | |||||
PrimBase (ST s) | |||||
Defined in Control.Monad.Primitive | |||||
PrimMonad (ST s) | |||||
Defined in Control.Monad.Primitive Associated Types
| |||||
Monoid a => Monoid (ST s a) | |||||
Semigroup a => Semigroup (ST s a) | |||||
Show (ST s a) | |||||
type PrimState (ST s) | |||||
Defined in Control.Monad.Primitive type PrimState (ST s) = s |
type HasCallStack = ?callStack :: CallStack #
unsafeShiftR :: Bits a => a -> Int -> a #
Instances
Data Word8 | |
Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word8 -> c Word8 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word8 dataTypeOf :: Word8 -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word8) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word8) gmapT :: (forall b. Data b => b -> b) -> Word8 -> Word8 gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r gmapQ :: (forall d. Data d => d -> u) -> Word8 -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Word8 -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 | |
Storable Word8 | |
Defined in Foreign.Storable Methods peekElemOff :: Ptr Word8 -> Int -> IO Word8 pokeElemOff :: Ptr Word8 -> Int -> Word8 -> IO () peekByteOff :: Ptr b -> Int -> IO Word8 pokeByteOff :: Ptr b -> Int -> Word8 -> IO () | |
Bits Word8 | |
Defined in GHC.Word Methods (.&.) :: Word8 -> Word8 -> Word8 (.|.) :: Word8 -> Word8 -> Word8 xor :: Word8 -> Word8 -> Word8 complement :: Word8 -> Word8 shift :: Word8 -> Int -> Word8 rotate :: Word8 -> Int -> Word8 setBit :: Word8 -> Int -> Word8 clearBit :: Word8 -> Int -> Word8 complementBit :: Word8 -> Int -> Word8 testBit :: Word8 -> Int -> Bool # bitSizeMaybe :: Word8 -> Maybe Int shiftL :: Word8 -> Int -> Word8 unsafeShiftL :: Word8 -> Int -> Word8 shiftR :: Word8 -> Int -> Word8 unsafeShiftR :: Word8 -> Int -> Word8 # rotateL :: Word8 -> Int -> Word8 | |
FiniteBits Word8 | |
Defined in GHC.Word Methods finiteBitSize :: Word8 -> Int countLeadingZeros :: Word8 -> Int countTrailingZeros :: Word8 -> Int | |
Bounded Word8 | |
Enum Word8 | |
Ix Word8 | |
Num Word8 | |
Read Word8 | |
Integral Word8 | |
Real Word8 | |
Defined in GHC.Word Methods toRational :: Word8 -> Rational | |
Show Word8 | |
PrintfArg Word8 | |
Defined in Text.Printf | |
Eq Word8 | |
Ord Word8 | |
Prim Word8 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word8 -> Int# alignmentOfType# :: Proxy Word8 -> Int# alignment# :: Word8 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word8 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word8 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word8 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word8 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word8 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word8 #) writeOffAddr# :: Addr# -> Int# -> Word8 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word8 -> State# s -> State# s |