microlens-ghc-0.4.14.1: microlens + array, bytestring, containers, transformers
Copyright(C) 2013-2016 Edward Kmett 2015-2016 Artyom Kazak 2018 Monadfix
LicenseBSD-style (see the file LICENSE)
Safe HaskellTrustworthy
LanguageHaskell2010

Lens.Micro.GHC

Description

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

Synopsis

Documentation

module Lens.Micro

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

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

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

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

packedChars :: IsByteString t => Lens' String t Source #

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 Source #

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

chars :: IsByteString t => Traversal' t Char Source #

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

Orphan instances

At IntSet Source # 
Instance details

Ixed ByteString Source # 
Instance details

Ixed ByteString Source # 
Instance details

Ixed IntSet Source # 
Instance details

Strict ByteString ByteString Source # 
Instance details

Cons ByteString ByteString Word8 Word8 Source # 
Instance details

Cons ByteString ByteString Word8 Word8 Source # 
Instance details

(a ~ Word8, b ~ Word8) => Each ByteString ByteString a b Source # 
Instance details

(a ~ Word8, b ~ Word8) => Each ByteString ByteString a b Source # 
Instance details

Snoc ByteString ByteString Word8 Word8 Source # 
Instance details

Snoc ByteString ByteString Word8 Word8 Source # 
Instance details

At (IntMap a) Source # 
Instance details

Methods

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

Ord k => At (Set k) Source # 
Instance details

Methods

at :: Index (Set k) -> Lens' (Set k) (Maybe (IxValue (Set k))) #

Ixed (IntMap a) Source # 
Instance details

Methods

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

Ixed (Seq a) Source # 
Instance details

Methods

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

Ord k => Ixed (Set k) Source # 
Instance details

Methods

ix :: Index (Set k) -> Traversal' (Set k) (IxValue (Set k)) #

Ixed (Tree a) Source # 
Instance details

Methods

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

Cons (Seq a) (Seq b) a b Source # 
Instance details

Methods

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

Each (IntMap a) (IntMap b) a b Source # 
Instance details

Methods

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

Each (Seq a) (Seq b) a b Source # 
Instance details

Methods

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

Each (Tree a) (Tree b) a b Source # 
Instance details

Methods

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

Snoc (Seq a) (Seq b) a b Source # 
Instance details

Methods

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

Ord k => At (Map k a) Source # 
Instance details

Methods

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

(IArray UArray e, Ix i) => Ixed (UArray i e) Source # 
Instance details

Methods

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

Ix i => Ixed (Array i e) Source # 
Instance details

Methods

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

Ord k => Ixed (Map k a) Source # 
Instance details

Methods

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

(Ix i, IArray UArray a, IArray UArray b, i ~ j) => Each (UArray i a) (UArray j b) a b Source # 
Instance details

Methods

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

(Ix i, i ~ j) => Each (Array i a) (Array j b) a b Source # 
Instance details

Methods

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

c ~ d => Each (Map c a) (Map d b) a b Source # 
Instance details

Methods

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

Strict (StateT s m a) (StateT s m a) Source # 
Instance details

Methods

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

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

Strict (WriterT w m a) (WriterT w m a) Source # 
Instance details

Methods

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

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

Strict (RWST r w s m a) (RWST r w s m a) Source # 
Instance details

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) #