Lens.Micro.GHC

By importing this module you get all functions and types from microlens, as well as the following instances:

• at for Map and IntMap

• each and ix for

  • Map and IntMap
  • Array and UArray
  • Seq
  • strict ByteString and lazy ByteString
  • Tree

• _head, _tail, _init, _last for

  • Seq
  • strict and lazy bytestrings

• strict and lazy for

  • bytestrings
  • StateT, WriterT, RWST

Documentation

module Lens.Micro

packedBytes :: IsByteString t => Lens' [Word8] t

Treat a list of bytes as a strict or lazy ByteString.

unpackedBytes :: IsByteString t => Lens' t [Word8]

Treat a strict or lazy ByteString as a list of bytes.

packedChars :: IsByteString t => Lens' String t

Treat a String as a strict or lazy ByteString. (Note that it will garble characters above 0xFF, same as pack does.)

unpackedChars :: IsByteString t => Lens' t String

Treat a strict or lazy ByteString as a String. (Just as packedChars, it will garble characters above 0xFF.)

chars :: IsByteString t => Traversal' t Char

Traverse characters in a strict or lazy ByteString (to traverse bytes instead of characters, use each).

Orphan instances

Ixed ByteString

Methods

ix :: Index ByteString -> Traversal' ByteString (IxValue ByteString)

Ixed ByteString

Methods

ix :: Index ByteString -> Traversal' ByteString (IxValue ByteString)

Strict ByteString ByteString

Methods

strict :: Lens' ByteString0 ByteString

lazy :: Lens' ByteString ByteString0

(a ~ Word8, b ~ Word8) => Each ByteString ByteString a b

Methods

each :: Traversal ByteString ByteString a b

(a ~ Word8, b ~ Word8) => Each ByteString ByteString a b

Methods

each :: Traversal ByteString ByteString a b

Cons ByteString ByteString Word8 Word8

Methods

_Cons :: Traversal ByteString ByteString (Word8, ByteString) (Word8, ByteString)

Cons ByteString ByteString Word8 Word8

Methods

_Cons :: Traversal ByteString ByteString (Word8, ByteString) (Word8, ByteString)

Snoc ByteString ByteString Word8 Word8

Methods

_Snoc :: Traversal ByteString ByteString (ByteString, Word8) (ByteString, Word8)

Snoc ByteString ByteString Word8 Word8

Methods

_Snoc :: Traversal ByteString ByteString (ByteString, Word8) (ByteString, Word8)

Ixed (IntMap a)

Methods

ix :: Index (IntMap a) -> Traversal' (IntMap a) (IxValue (IntMap a))

Ixed (Tree a)

Methods

ix :: Index (Tree a) -> Traversal' (Tree a) (IxValue (Tree a))

Ixed (Seq a)

Methods

ix :: Index (Seq a) -> Traversal' (Seq a) (IxValue (Seq a))

At (IntMap a)

Methods

at :: Index (IntMap a) -> Lens' (IntMap a) (Maybe (IxValue (IntMap a)))

Each (IntMap a) (IntMap b) a b

Methods

each :: Traversal (IntMap a) (IntMap b) a b

Each (Tree a) (Tree b) a b

Methods

each :: Traversal (Tree a) (Tree b) a b

Each (Seq a) (Seq b) a b

Methods

each :: Traversal (Seq a) (Seq b) a b

Cons (Seq a) (Seq b) a b

Methods

_Cons :: Traversal (Seq a) (Seq b) (a, Seq a) (b, Seq b)

Snoc (Seq a) (Seq b) a b

Methods

_Snoc :: Traversal (Seq a) (Seq b) (Seq a, a) (Seq b, b)

(IArray UArray e, Ix i) => Ixed (UArray i e)

Methods

ix :: Index (UArray i e) -> Traversal' (UArray i e) (IxValue (UArray i e))

Ix i => Ixed (Array i e)

Methods

ix :: Index (Array i e) -> Traversal' (Array i e) (IxValue (Array i e))

Ord k => Ixed (Map k a)

Methods

ix :: Index (Map k a) -> Traversal' (Map k a) (IxValue (Map k a))

Ord k => At (Map k a)

Methods

at :: Index (Map k a) -> Lens' (Map k a) (Maybe (IxValue (Map k a)))

(Ix i, IArray UArray a, IArray UArray b, i ~ j) => Each (UArray i a) (UArray j b) a b

Methods

each :: Traversal (UArray i a) (UArray j b) a b

(Ix i, i ~ j) => Each (Array i a) (Array j b) a b

Methods

each :: Traversal (Array i a) (Array j b) a b

c ~ d => Each (Map c a) (Map d b) a b

Methods

each :: Traversal (Map c a) (Map d b) a b

Strict (WriterT w m a) (WriterT w m a)

Methods

strict :: Lens' (WriterT w m a) (WriterT0 w m a)

lazy :: Lens' (WriterT0 w m a) (WriterT w m a)

Strict (StateT s m a) (StateT s m a)

Methods

strict :: Lens' (StateT s m a) (StateT0 s m a)

lazy :: Lens' (StateT0 s m a) (StateT s m a)

Strict (RWST r w s m a) (RWST r w s m a)

Methods

strict :: Lens' (RWST r w s m a) (RWST0 r w s m a)

lazy :: Lens' (RWST0 r w s m a) (RWST r w s m a)