Data.Halves

Documentation

class Halves a b | a -> b, b -> a where

Minimal complete definition

halves

Methods

halves :: Iso' a (b, b)

Instances

Halves Int16 Int8

Defined in Data.Halves

Methods

halves :: Iso' Int16 (Int8, Int8)

Halves Int32 Int16

Defined in Data.Halves

Methods

halves :: Iso' Int32 (Int16, Int16)

Halves Int64 Int32

Defined in Data.Halves

Methods

halves :: Iso' Int64 (Int32, Int32)

Halves Word16 Word8

Defined in Data.Halves

Methods

halves :: Iso' Word16 (Word8, Word8)

Halves Word32 Word16

Defined in Data.Halves

Methods

halves :: Iso' Word32 (Word16, Word16)

Halves Word64 Word32

Defined in Data.Halves

Methods

halves :: Iso' Word64 (Word32, Word32)

quarters :: (Halves a b, Halves b c) => Iso' a (c, c, c, c)

eighths :: (Halves a b, Halves b c, Halves c d) => Iso' a (d, d, d, d, d, d, d, d)

upperHalf :: Halves a b => Lens' a b

lowerHalf :: Halves a b => Lens' a b

swappedHalves :: Halves a b => Iso' a a

chunkHalves :: Halves a b => Iso' [b] ([a], [b])

chunkQuarters :: (Halves a b, Halves b c) => Iso' [c] ([a], [c])

chunkEighths :: (Halves a b, Halves b c, Halves c d) => Iso' [d] ([a], [d])

collectHalves :: Halves a b => Lens' [b] [a]

collectQuarters :: (Halves a b, Halves b c) => Lens' [c] [a]

collectEighths :: (Halves a b, Halves b c, Halves c d) => Lens' [d] [a]

finiteBitHalves :: forall a b c. (Integral a, Integral b, Integral c, Bits a, AsFiniteBits b c) => Iso' a (b, b)