Combinatorics.Battleship.Count.Counter

Documentation

class C a

Minimal complete definition

zero, one, add

Instances

C Word8

Defined in Combinatorics.Battleship.Count.Counter

Methods

zero :: Word8

one :: Word8

add :: Word8 -> Word8 -> Word8

C Word32

Defined in Combinatorics.Battleship.Count.Counter

Methods

zero :: Word32

one :: Word32

add :: Word32 -> Word32 -> Word32

C Word64

Defined in Combinatorics.Battleship.Count.Counter

Methods

zero :: Word64

one :: Word64

add :: Word64 -> Word64 -> Word64

(C hi, C lo, Ord lo) => C (Composed hi lo)

Defined in Combinatorics.Battleship.Count.Counter

Methods

zero :: Composed hi lo

one :: Composed hi lo

add :: Composed hi lo -> Composed hi lo -> Composed hi lo

(Nat w, Nat h, C a, Storable a) => C (Distr w h a)

Defined in Combinatorics.Battleship.Count.ShortenShip.Distribution

Methods

zero :: Distr w h a

one :: Distr w h a

add :: Distr w h a -> Distr w h a -> Distr w h a

data Composed hi lo

Instances

(Eq hi, Eq lo) => Eq (Composed hi lo)

Defined in Combinatorics.Battleship.Count.Counter

Methods

(==) :: Composed hi lo -> Composed hi lo -> Bool

(/=) :: Composed hi lo -> Composed hi lo -> Bool

(Ord hi, Ord lo) => Ord (Composed hi lo)

Defined in Combinatorics.Battleship.Count.Counter

Methods

compare :: Composed hi lo -> Composed hi lo -> Ordering

(<) :: Composed hi lo -> Composed hi lo -> Bool

(<=) :: Composed hi lo -> Composed hi lo -> Bool

(>) :: Composed hi lo -> Composed hi lo -> Bool

(>=) :: Composed hi lo -> Composed hi lo -> Bool

max :: Composed hi lo -> Composed hi lo -> Composed hi lo

min :: Composed hi lo -> Composed hi lo -> Composed hi lo

(Integ hi, Integ lo) => Show (Composed hi lo)

Defined in Combinatorics.Battleship.Count.Counter

Methods

showsPrec :: Int -> Composed hi lo -> ShowS

show :: Composed hi lo -> String

showList :: [Composed hi lo] -> ShowS

(Arbitrary a, Arbitrary b) => Arbitrary (Composed a b)

Defined in Combinatorics.Battleship.Count.Counter

Methods

arbitrary :: Gen (Composed a b)

shrink :: Composed a b -> [Composed a b]

(Storable a, Storable b) => Storable (Composed a b)

This instance expects that there is no need for padding for alignment

Defined in Combinatorics.Battleship.Count.Counter

Methods

sizeOf :: Composed a b -> Int

alignment :: Composed a b -> Int

peekElemOff :: Ptr (Composed a b) -> Int -> IO (Composed a b)

pokeElemOff :: Ptr (Composed a b) -> Int -> Composed a b -> IO ()

peekByteOff :: Ptr b0 -> Int -> IO (Composed a b)

pokeByteOff :: Ptr b0 -> Int -> Composed a b -> IO ()

peek :: Ptr (Composed a b) -> IO (Composed a b)

poke :: Ptr (Composed a b) -> Composed a b -> IO ()

(C hi, C lo, Ord lo) => C (Composed hi lo)

Defined in Combinatorics.Battleship.Count.Counter

Methods

zero :: Composed hi lo

one :: Composed hi lo

add :: Composed hi lo -> Composed hi lo -> Composed hi lo

zero, one :: C a => a

zero, one :: C a => a

add :: C a => a -> a -> a

sum :: C a => [a] -> a

toInteger :: Integ a => a -> Integer

propAdd :: Composed (Composed Word64 Word32) (Composed Word32 Word32) -> Composed (Composed Word64 Word32) (Composed Word32 Word32) -> Bool