Data.Bits.Lens

Documentation

(|~) :: Bits a => Setting s t a a -> a -> s -> t

Bitwise .|. the target(s) of a Lens or Setter

>>> _2 |~ 6 $ ("hello",3)
("hello",7)

 (|~) :: Bits a => Setter s t a a -> a -> s -> t
 (|~) :: Bits a => Iso s t a a -> a -> s -> t
 (|~) :: Bits a => Lens s t a a -> a -> s -> t
 (|~) :: ('Monoid a', Bits a) => Traversal s t a a -> a -> s -> t

(&~) :: Bits a => Setting s t a a -> a -> s -> t

Bitwise .&. the target(s) of a Lens or Setter

>>> _2 &~ 7 $ ("hello",254)
("hello",6)

 (&~) :: Bits a => Setter s t a a -> a -> s -> t
 (&~) :: Bits a => Iso s t a a -> a -> s -> t
 (&~) :: Bits a => Lens s t a a -> a -> s -> t
 (&~) :: ('Monoid a', Bits a) => Traversal s t a a -> a -> s -> t

(<|~) :: Bits a => LensLike ((,) a) s t a a -> a -> s -> (a, t)

Bitwise .|. the target(s) of a Lens (or Traversal), returning the result (or a monoidal summary of all of the results).

>>> _2 <|~ 6 $ ("hello",3)
(7,("hello",7))

 (<|~) :: Bits a => Iso s t a a -> a -> s -> (a, t)
 (<|~) :: Bits a => Lens s t a a -> a -> s -> (a, t)
 (<|~) :: (Bits a, 'Monoid a) => Traversal s t a a -> a -> s -> (a, t)

(<&~) :: Bits a => LensLike ((,) a) s t a a -> a -> s -> (a, t)

Bitwise .&. the target(s) of a Lens or Traversal, returning the result (or a monoidal summary of all of the results).

>>> _2 <&~ 7 $ ("hello",254)
(6,("hello",6))

 (<&~) :: Bits a => Iso s t a a -> a -> s -> (a, t)
 (<&~) :: Bits a => Lens s t a a -> a -> s -> (a, t)
 (<&~) :: (Bits a, 'Monoid a) => Traversal s t a a -> a -> s -> (a, t)

(|=) :: (MonadState s m, Bits a) => Simple Setting s a -> a -> m ()

Modify the target(s) of a Simple Lens, Setter or Traversal by computing its bitwise .|. with another value.

 (|=) :: (MonadState s m, Bits a) => Simple Setter s a -> a -> m ()
 (|=) :: (MonadState s m, Bits a) => Simple Iso s a -> a -> m ()
 (|=) :: (MonadState s m, Bits a) => Simple Lens s a -> a -> m ()
 (|=) :: (MonadState s m, Bits a) => Simple Traversal s a -> a -> m ()

(&=) :: (MonadState s m, Bits a) => Simple Setting s a -> a -> m ()

Modify the target(s) of a Simple Lens, Setter or Traversal by computing its bitwise .&. with another value.

 (&=) :: (MonadState s m, Bits a) => Simple Setter s a -> a -> m ()
 (&=) :: (MonadState s m, Bits a) => Simple Iso s a -> a -> m ()
 (&=) :: (MonadState s m, Bits a) => Simple Lens s a -> a -> m ()
 (&=) :: (MonadState s m, Bits a) => Simple Traversal s a -> a -> m ()

(<|=) :: (MonadState s m, Bits a) => SimpleLensLike ((,) a) s a -> a -> m a

Modify the target(s) of a Simple Lens, (or Traversal) by computing its bitwise .|. with another value, returning the result (or a monoidal summary of all of the results traversed)

 (<|=) :: (MonadState s m, Bits a) => Simple Lens s a -> a -> m a
 (<|=) :: (MonadState s m, Bits a, Monoid a) => Simple Traversal s a -> a -> m a

(<&=) :: (MonadState s m, Bits a) => SimpleLensLike ((,) a) s a -> a -> m a

Modify the target(s) of a Simple Lens (or Traversal) by computing its bitwise .&. with another value, returning the result (or a monoidal summary of all of the results traversed)

 (<&=) :: (MonadState s m, Bits a) => Simple Lens s a -> a -> m a
 (<&=) :: (MonadState s m, Bits a, Monoid a) => Simple Traversal s a -> a -> m a

bitAt :: Bits b => Int -> SimpleIndexedLens Int b Bool

This lens can be used to access the value of the nth bit in a number.

bitAt n is only a legal Lens into b if 0 <= n < bitSize (undefined :: b)

>>> 16^.bitAt 4
True

>>> 15^.bitAt 4
False

traverseBits :: (Num b, Bits b) => SimpleIndexedTraversal Int b Bool

Traverse over all bits in a numeric type.

The bit position is available as the index.

>>> import Data.Word
>>> toListOf traverseBits (5 :: Word8)
[True,False,True,False,False,False,False,False]

If you supply this an Integer, the result will be an infinite Traversal that can be productively consumed.