Documentation

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

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

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

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

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

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

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

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

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

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

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

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

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