Data.Monoid.Odd

Documentation

newtype Odd

A monoid over XOR.

Constructors

Odd

Fields

• getOdd :: Bool

Instances

Bounded Odd

Methods

minBound :: Odd

maxBound :: Odd

Enum Odd

Methods

succ :: Odd -> Odd

pred :: Odd -> Odd

toEnum :: Int -> Odd

fromEnum :: Odd -> Int

enumFrom :: Odd -> [Odd]

enumFromThen :: Odd -> Odd -> [Odd]

enumFromTo :: Odd -> Odd -> [Odd]

enumFromThenTo :: Odd -> Odd -> Odd -> [Odd]

Eq Odd

Methods

(==) :: Odd -> Odd -> Bool

(/=) :: Odd -> Odd -> Bool

Data Odd

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Odd -> c Odd

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Odd

toConstr :: Odd -> Constr

dataTypeOf :: Odd -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Odd)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Odd)

gmapT :: (forall b. Data b => b -> b) -> Odd -> Odd

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Odd -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Odd -> r

gmapQ :: (forall d. Data d => d -> u) -> Odd -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Odd -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Odd -> m Odd

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Odd -> m Odd

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Odd -> m Odd

Ord Odd

Methods

compare :: Odd -> Odd -> Ordering

(<) :: Odd -> Odd -> Bool

(<=) :: Odd -> Odd -> Bool

(>) :: Odd -> Odd -> Bool

(>=) :: Odd -> Odd -> Bool

max :: Odd -> Odd -> Odd

min :: Odd -> Odd -> Odd

Read Odd

Methods

readsPrec :: Int -> ReadS Odd

readList :: ReadS [Odd]

readPrec :: ReadPrec Odd

readListPrec :: ReadPrec [Odd]

Show Odd

Methods

showsPrec :: Int -> Odd -> ShowS

show :: Odd -> String

showList :: [Odd] -> ShowS

Ix Odd

Methods

range :: (Odd, Odd) -> [Odd]

index :: (Odd, Odd) -> Odd -> Int

unsafeIndex :: (Odd, Odd) -> Odd -> Int

inRange :: (Odd, Odd) -> Odd -> Bool

rangeSize :: (Odd, Odd) -> Int

unsafeRangeSize :: (Odd, Odd) -> Int

Generic Odd

Associated Types

type Rep Odd :: * -> *

Methods

from :: Odd -> Rep Odd x

to :: Rep Odd x -> Odd

Semigroup Odd

Methods

(<>) :: Odd -> Odd -> Odd

sconcat :: NonEmpty Odd -> Odd

stimes :: Integral b => b -> Odd -> Odd

Monoid Odd

Methods

mempty :: Odd

mappend :: Odd -> Odd -> Odd

mconcat :: [Odd] -> Odd

Storable Odd

Methods

sizeOf :: Odd -> Int

alignment :: Odd -> Int

peekElemOff :: Ptr Odd -> Int -> IO Odd

pokeElemOff :: Ptr Odd -> Int -> Odd -> IO ()

peekByteOff :: Ptr b -> Int -> IO Odd

pokeByteOff :: Ptr b -> Int -> Odd -> IO ()

peek :: Ptr Odd -> IO Odd

poke :: Ptr Odd -> Odd -> IO ()

Bits Odd

Methods

(.&.) :: Odd -> Odd -> Odd

(.|.) :: Odd -> Odd -> Odd

xor :: Odd -> Odd -> Odd

complement :: Odd -> Odd

shift :: Odd -> Int -> Odd

rotate :: Odd -> Int -> Odd

zeroBits :: Odd

bit :: Int -> Odd

setBit :: Odd -> Int -> Odd

clearBit :: Odd -> Int -> Odd

complementBit :: Odd -> Int -> Odd

testBit :: Odd -> Int -> Bool

bitSizeMaybe :: Odd -> Maybe Int

bitSize :: Odd -> Int

isSigned :: Odd -> Bool

shiftL :: Odd -> Int -> Odd

unsafeShiftL :: Odd -> Int -> Odd

shiftR :: Odd -> Int -> Odd

unsafeShiftR :: Odd -> Int -> Odd

rotateL :: Odd -> Int -> Odd

rotateR :: Odd -> Int -> Odd

popCount :: Odd -> Int

FiniteBits Odd

Methods

finiteBitSize :: Odd -> Int

countLeadingZeros :: Odd -> Int

countTrailingZeros :: Odd -> Int

NFData Odd

Methods

rnf :: Odd -> ()

Group Odd

Methods

invert :: Odd -> Odd

pow :: Integral x => Odd -> x -> Odd

ComonadEnv Odd Parity

Methods

ask :: Parity a -> Odd

type Rep Odd

type Rep Odd = D1 * (MetaData "Odd" "Data.Monoid.Odd" "difference-monoid-0.1.0.0-6GZ7n3SsUmUHrUzugzcGeo" True) (C1 * (MetaCons "Odd" PrefixI True) (S1 * (MetaSel (Just Symbol "getOdd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))