Copyright	(C) 2013-2016 Edward Kmett 2015-2016 Artyom Kazak 2018 Monadfix
License	BSD-style (see the file LICENSE)
Safe Haskell	Trustworthy
Language	Haskell2010

Lens.Micro.GHC

Contents

Orphan instances

Description

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

at for Map, Set, IntMap and IntSet
ix for
- Map, Set, IntMap and IntSet
- Array and UArray
- Seq
- strict ByteString and lazy ByteString
- Tree
each for the same as above, excluding Set and IntSet
_head, _tail, _init, _last for
- Seq
- strict and lazy bytestrings
strict and lazy for
- bytestrings
- StateT, WriterT, RWST

Synopsis

(&) :: a -> (a -> b) -> b
(<&>) :: Functor f => f a -> (a -> b) -> f b
(%~) :: ASetter s t a b -> (a -> b) -> s -> t
(+~) :: Num a => ASetter s t a a -> a -> s -> t
(-~) :: Num a => ASetter s t a a -> a -> s -> t
(.~) :: ASetter s t a b -> b -> s -> t
(<%~) :: LensLike ((,) b) s t a b -> (a -> b) -> s -> (b, t)
(<<%~) :: LensLike ((,) a) s t a b -> (a -> b) -> s -> (a, t)
(<<.~) :: LensLike ((,) a) s t a b -> b -> s -> (a, t)
(<>~) :: Monoid a => ASetter s t a a -> a -> s -> t
(?~) :: ASetter s t a (Maybe b) -> b -> s -> t
(^.) :: s -> Getting a s a -> a
(^..) :: s -> Getting (Endo [a]) s a -> [a]
(^?) :: s -> Getting (First a) s a -> Maybe a
(^?!) :: HasCallStack => s -> Getting (Endo a) s a -> a
_Just :: forall a a' f. Applicative f => (a -> f a') -> Maybe a -> f (Maybe a')
_Left :: forall a b a' f. Applicative f => (a -> f a') -> Either a b -> f (Either a' b)
_Nothing :: forall a f. Applicative f => (() -> f ()) -> Maybe a -> f (Maybe a)
_Right :: forall a b b' f. Applicative f => (b -> f b') -> Either a b -> f (Either a b')
_Show :: (Show a, Read a) => Traversal' String a
_head :: Cons s s a a => Traversal' s a
_init :: Snoc s s a a => Traversal' s s
_last :: Snoc s s a a => Traversal' s a
_tail :: Cons s s a a => Traversal' s s
allOf :: Getting All s a -> (a -> Bool) -> s -> Bool
anyOf :: Getting Any s a -> (a -> Bool) -> s -> Bool
both :: forall a b f. Applicative f => (a -> f b) -> (a, a) -> f (b, b)
cosmosOf :: Traversal a t a t -> Traversal a t a b'
failing :: Traversal s t a b -> Traversal s t a b -> Traversal s t a b
filtered :: (a -> Bool) -> Traversal' a a
folding :: Foldable f => (s -> f a) -> SimpleFold s a
forOf :: LensLike f s t a b -> s -> (a -> f b) -> f t
forOf_ :: Functor f => Getting (Traversed r f) s a -> s -> (a -> f r) -> f ()
has :: Getting Any s a -> s -> Bool
lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b
lined :: Traversal' String String
mapAccumLOf :: LensLike (State acc) s t a b -> (acc -> a -> (acc, b)) -> acc -> s -> (acc, t)
mapMOf :: LensLike (WrappedMonad m) s t a b -> (a -> m b) -> s -> m t
mapped :: Functor f => ASetter (f a) (f b) a b
non :: Eq a => a -> Lens' (Maybe a) a
noneOf :: Getting Any s a -> (a -> Bool) -> s -> Bool
over :: ASetter s t a b -> (a -> b) -> s -> t
rewriteMOf :: Monad m => LensLike (WrappedMonad m) a b a b -> (b -> m (Maybe a)) -> a -> m b
rewriteOf :: ASetter a b a b -> (b -> Maybe a) -> a -> b
set :: ASetter s t a b -> b -> s -> t
singular :: HasCallStack => Traversal s t a a -> Lens s t a a
to :: (s -> a) -> SimpleGetter s a
toListOf :: Getting (Endo [a]) s a -> s -> [a]
transformMOf :: Monad m => LensLike (WrappedMonad m) a b a b -> (b -> m b) -> a -> m b
transformOf :: ASetter a b a b -> (b -> b) -> a -> b
traverseOf :: LensLike f s t a b -> (a -> f b) -> s -> f t
traverseOf_ :: Functor f => Getting (Traversed r f) s a -> (a -> f r) -> s -> f ()
worded :: Traversal' String String
foldMapOf :: Getting r s a -> (a -> r) -> s -> r
folded :: forall (f :: Type -> Type) a. Foldable f => SimpleFold (f a) a
sets :: ((a -> b) -> s -> t) -> ASetter s t a b
traversed :: forall (f :: Type -> Type) a b. Traversable f => Traversal (f a) (f b) a b
class Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _1 :: Lens s t a b
class Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _2 :: Lens s t a b
class Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _3 :: Lens s t a b
class Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _4 :: Lens s t a b
class Field5 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _5 :: Lens s t a b
class Field6 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _6 :: Lens s t a b
class Field7 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _7 :: Lens s t a b
class Field8 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _8 :: Lens s t a b
class Field9 s t a b | s -> a, t -> b, s b -> t, t a -> s where
- _9 :: Lens s t a b
at :: At m => Index m -> Lens' m (Maybe (IxValue m))
each :: Each s t a b => Traversal s t a b
ix :: Ixed m => Index m -> Traversal' m (IxValue m)
lazy :: Strict lazy strict => Lens' strict lazy
strict :: Strict lazy strict => Lens' lazy strict
type ASetter s t a b = (a -> Identity b) -> s -> Identity t
type ASetter' s a = ASetter s s a a
type Getting r s a = (a -> Const r a) -> s -> Const r s
type Lens s t a b = forall (f :: Type -> Type). Functor f => (a -> f b) -> s -> f t
type Lens' s a = Lens s s a a
type LensLike (f :: Type -> Type) s t a b = (a -> f b) -> s -> f t
type LensLike' (f :: Type -> Type) s a = LensLike f s s a a
type SimpleFold s a = forall r. Monoid r => Getting r s a
type SimpleGetter s a = forall r. Getting r s a
type Traversal s t a b = forall (f :: Type -> Type). Applicative f => (a -> f b) -> s -> f t
type Traversal' s a = Traversal s s a a
packedBytes :: IsByteString t => Lens' [Word8] t
unpackedBytes :: IsByteString t => Lens' t [Word8]
packedChars :: IsByteString t => Lens' String t
unpackedChars :: IsByteString t => Lens' t String
chars :: IsByteString t => Traversal' t Char

Documentation

(&) :: a -> (a -> b) -> b #

(<&>) :: Functor f => f a -> (a -> b) -> f b #

(%~) :: ASetter s t a b -> (a -> b) -> s -> t #

(+~) :: Num a => ASetter s t a a -> a -> s -> t #

(-~) :: Num a => ASetter s t a a -> a -> s -> t #

(.~) :: ASetter s t a b -> b -> s -> t #

(<%~) :: LensLike ((,) b) s t a b -> (a -> b) -> s -> (b, t) #

(<<%~) :: LensLike ((,) a) s t a b -> (a -> b) -> s -> (a, t) #

(<<.~) :: LensLike ((,) a) s t a b -> b -> s -> (a, t) #

(<>~) :: Monoid a => ASetter s t a a -> a -> s -> t #

(?~) :: ASetter s t a (Maybe b) -> b -> s -> t #

(^.) :: s -> Getting a s a -> a #

(^..) :: s -> Getting (Endo [a]) s a -> [a] #

(^?) :: s -> Getting (First a) s a -> Maybe a #

(^?!) :: HasCallStack => s -> Getting (Endo a) s a -> a #

_Just :: forall a a' f. Applicative f => (a -> f a') -> Maybe a -> f (Maybe a') #

_Left :: forall a b a' f. Applicative f => (a -> f a') -> Either a b -> f (Either a' b) #

_Nothing :: forall a f. Applicative f => (() -> f ()) -> Maybe a -> f (Maybe a) #

_Right :: forall a b b' f. Applicative f => (b -> f b') -> Either a b -> f (Either a b') #

_Show :: (Show a, Read a) => Traversal' String a #

_head :: Cons s s a a => Traversal' s a #

_init :: Snoc s s a a => Traversal' s s #

_last :: Snoc s s a a => Traversal' s a #

_tail :: Cons s s a a => Traversal' s s #

allOf :: Getting All s a -> (a -> Bool) -> s -> Bool #

anyOf :: Getting Any s a -> (a -> Bool) -> s -> Bool #

both :: forall a b f. Applicative f => (a -> f b) -> (a, a) -> f (b, b) #

cosmosOf :: Traversal a t a t -> Traversal a t a b' #

failing :: Traversal s t a b -> Traversal s t a b -> Traversal s t a b #

filtered :: (a -> Bool) -> Traversal' a a #

folding :: Foldable f => (s -> f a) -> SimpleFold s a #

forOf :: LensLike f s t a b -> s -> (a -> f b) -> f t #

forOf_ :: Functor f => Getting (Traversed r f) s a -> s -> (a -> f r) -> f () #

has :: Getting Any s a -> s -> Bool #

lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b #

lined :: Traversal' String String #

mapAccumLOf :: LensLike (State acc) s t a b -> (acc -> a -> (acc, b)) -> acc -> s -> (acc, t) #

mapMOf :: LensLike (WrappedMonad m) s t a b -> (a -> m b) -> s -> m t #

mapped :: Functor f => ASetter (f a) (f b) a b #

non :: Eq a => a -> Lens' (Maybe a) a #

noneOf :: Getting Any s a -> (a -> Bool) -> s -> Bool #

over :: ASetter s t a b -> (a -> b) -> s -> t #

rewriteMOf :: Monad m => LensLike (WrappedMonad m) a b a b -> (b -> m (Maybe a)) -> a -> m b #

rewriteOf :: ASetter a b a b -> (b -> Maybe a) -> a -> b #

set :: ASetter s t a b -> b -> s -> t #

singular :: HasCallStack => Traversal s t a a -> Lens s t a a #

to :: (s -> a) -> SimpleGetter s a #

toListOf :: Getting (Endo [a]) s a -> s -> [a] #

transformMOf :: Monad m => LensLike (WrappedMonad m) a b a b -> (b -> m b) -> a -> m b #

transformOf :: ASetter a b a b -> (b -> b) -> a -> b #

traverseOf :: LensLike f s t a b -> (a -> f b) -> s -> f t #

traverseOf_ :: Functor f => Getting (Traversed r f) s a -> (a -> f r) -> s -> f () #

worded :: Traversal' String String #

foldMapOf :: Getting r s a -> (a -> r) -> s -> r #

folded :: forall (f :: Type -> Type) a. Foldable f => SimpleFold (f a) a #

sets :: ((a -> b) -> s -> t) -> ASetter s t a b #

traversed :: forall (f :: Type -> Type) a b. Traversable f => Traversal (f a) (f b) a b #

class Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_1 :: Lens s t a b #

Instances

Instances details

Field1 (a, b) (a', b) a a' #
Instance details Defined in Lens.Micro.FieldN Methods _1 :: Lens (a, b) (a', b) a a' #
Field1 (a, b, c) (a', b, c) a a' #
Instance details Defined in Lens.Micro.FieldN Methods _1 :: Lens (a, b, c) (a', b, c) a a' #
Field1 (a, b, c, d) (a', b, c, d) a a' #
Instance details Defined in Lens.Micro.FieldN Methods _1 :: Lens (a, b, c, d) (a', b, c, d) a a' #
Field1 (a, b, c, d, e) (a', b, c, d, e) a a' #
Instance details Defined in Lens.Micro.FieldN Methods _1 :: Lens (a, b, c, d, e) (a', b, c, d, e) a a' #
Field1 (a, b, c, d, e, f) (a', b, c, d, e, f) a a' #
Instance details Defined in Lens.Micro.FieldN Methods _1 :: Lens (a, b, c, d, e, f) (a', b, c, d, e, f) a a' #
Field1 (a, b, c, d, e, f, g) (a', b, c, d, e, f, g) a a' #
Instance details Defined in Lens.Micro.FieldN Methods _1 :: Lens (a, b, c, d, e, f, g) (a', b, c, d, e, f, g) a a' #
Field1 (a, b, c, d, e, f, g, h) (a', b, c, d, e, f, g, h) a a' #
Instance details Defined in Lens.Micro.FieldN Methods _1 :: Lens (a, b, c, d, e, f, g, h) (a', b, c, d, e, f, g, h) a a' #
Field1 (a, b, c, d, e, f, g, h, i) (a', b, c, d, e, f, g, h, i) a a' #
Instance details Defined in Lens.Micro.FieldN Methods _1 :: Lens (a, b, c, d, e, f, g, h, i) (a', b, c, d, e, f, g, h, i) a a' #

class Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_2 :: Lens s t a b #

Instances

Instances details

Field2 (a, b) (a, b') b b' #
Instance details Defined in Lens.Micro.FieldN Methods _2 :: Lens (a, b) (a, b') b b' #
Field2 (a, b, c) (a, b', c) b b' #
Instance details Defined in Lens.Micro.FieldN Methods _2 :: Lens (a, b, c) (a, b', c) b b' #
Field2 (a, b, c, d) (a, b', c, d) b b' #
Instance details Defined in Lens.Micro.FieldN Methods _2 :: Lens (a, b, c, d) (a, b', c, d) b b' #
Field2 (a, b, c, d, e) (a, b', c, d, e) b b' #
Instance details Defined in Lens.Micro.FieldN Methods _2 :: Lens (a, b, c, d, e) (a, b', c, d, e) b b' #
Field2 (a, b, c, d, e, f) (a, b', c, d, e, f) b b' #
Instance details Defined in Lens.Micro.FieldN Methods _2 :: Lens (a, b, c, d, e, f) (a, b', c, d, e, f) b b' #
Field2 (a, b, c, d, e, f, g) (a, b', c, d, e, f, g) b b' #
Instance details Defined in Lens.Micro.FieldN Methods _2 :: Lens (a, b, c, d, e, f, g) (a, b', c, d, e, f, g) b b' #
Field2 (a, b, c, d, e, f, g, h) (a, b', c, d, e, f, g, h) b b' #
Instance details Defined in Lens.Micro.FieldN Methods _2 :: Lens (a, b, c, d, e, f, g, h) (a, b', c, d, e, f, g, h) b b' #
Field2 (a, b, c, d, e, f, g, h, i) (a, b', c, d, e, f, g, h, i) b b' #
Instance details Defined in Lens.Micro.FieldN Methods _2 :: Lens (a, b, c, d, e, f, g, h, i) (a, b', c, d, e, f, g, h, i) b b' #

class Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_3 :: Lens s t a b #

Instances

Instances details

Field3 (a, b, c) (a, b, c') c c' #
Instance details Defined in Lens.Micro.FieldN Methods _3 :: Lens (a, b, c) (a, b, c') c c' #
Field3 (a, b, c, d) (a, b, c', d) c c' #
Instance details Defined in Lens.Micro.FieldN Methods _3 :: Lens (a, b, c, d) (a, b, c', d) c c' #
Field3 (a, b, c, d, e) (a, b, c', d, e) c c' #
Instance details Defined in Lens.Micro.FieldN Methods _3 :: Lens (a, b, c, d, e) (a, b, c', d, e) c c' #
Field3 (a, b, c, d, e, f) (a, b, c', d, e, f) c c' #
Instance details Defined in Lens.Micro.FieldN Methods _3 :: Lens (a, b, c, d, e, f) (a, b, c', d, e, f) c c' #
Field3 (a, b, c, d, e, f, g) (a, b, c', d, e, f, g) c c' #
Instance details Defined in Lens.Micro.FieldN Methods _3 :: Lens (a, b, c, d, e, f, g) (a, b, c', d, e, f, g) c c' #
Field3 (a, b, c, d, e, f, g, h) (a, b, c', d, e, f, g, h) c c' #
Instance details Defined in Lens.Micro.FieldN Methods _3 :: Lens (a, b, c, d, e, f, g, h) (a, b, c', d, e, f, g, h) c c' #
Field3 (a, b, c, d, e, f, g, h, i) (a, b, c', d, e, f, g, h, i) c c' #
Instance details Defined in Lens.Micro.FieldN Methods _3 :: Lens (a, b, c, d, e, f, g, h, i) (a, b, c', d, e, f, g, h, i) c c' #

class Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_4 :: Lens s t a b #

Instances

Instances details

Field4 (a, b, c, d) (a, b, c, d') d d' #
Instance details Defined in Lens.Micro.FieldN Methods _4 :: Lens (a, b, c, d) (a, b, c, d') d d' #
Field4 (a, b, c, d, e) (a, b, c, d', e) d d' #
Instance details Defined in Lens.Micro.FieldN Methods _4 :: Lens (a, b, c, d, e) (a, b, c, d', e) d d' #
Field4 (a, b, c, d, e, f) (a, b, c, d', e, f) d d' #
Instance details Defined in Lens.Micro.FieldN Methods _4 :: Lens (a, b, c, d, e, f) (a, b, c, d', e, f) d d' #
Field4 (a, b, c, d, e, f, g) (a, b, c, d', e, f, g) d d' #
Instance details Defined in Lens.Micro.FieldN Methods _4 :: Lens (a, b, c, d, e, f, g) (a, b, c, d', e, f, g) d d' #
Field4 (a, b, c, d, e, f, g, h) (a, b, c, d', e, f, g, h) d d' #
Instance details Defined in Lens.Micro.FieldN Methods _4 :: Lens (a, b, c, d, e, f, g, h) (a, b, c, d', e, f, g, h) d d' #
Field4 (a, b, c, d, e, f, g, h, i) (a, b, c, d', e, f, g, h, i) d d' #
Instance details Defined in Lens.Micro.FieldN Methods _4 :: Lens (a, b, c, d, e, f, g, h, i) (a, b, c, d', e, f, g, h, i) d d' #

class Field5 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_5 :: Lens s t a b #

Instances

Instances details

Field5 (a, b, c, d, e) (a, b, c, d, e') e e' #
Instance details Defined in Lens.Micro.FieldN Methods _5 :: Lens (a, b, c, d, e) (a, b, c, d, e') e e' #
Field5 (a, b, c, d, e, f) (a, b, c, d, e', f) e e' #
Instance details Defined in Lens.Micro.FieldN Methods _5 :: Lens (a, b, c, d, e, f) (a, b, c, d, e', f) e e' #
Field5 (a, b, c, d, e, f, g) (a, b, c, d, e', f, g) e e' #
Instance details Defined in Lens.Micro.FieldN Methods _5 :: Lens (a, b, c, d, e, f, g) (a, b, c, d, e', f, g) e e' #
Field5 (a, b, c, d, e, f, g, h) (a, b, c, d, e', f, g, h) e e' #
Instance details Defined in Lens.Micro.FieldN Methods _5 :: Lens (a, b, c, d, e, f, g, h) (a, b, c, d, e', f, g, h) e e' #
Field5 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e', f, g, h, i) e e' #
Instance details Defined in Lens.Micro.FieldN Methods _5 :: Lens (a, b, c, d, e, f, g, h, i) (a, b, c, d, e', f, g, h, i) e e' #

class Field6 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_6 :: Lens s t a b #

Instances

Instances details

Field6 (a, b, c, d, e, f) (a, b, c, d, e, f') f f' #
Instance details Defined in Lens.Micro.FieldN Methods _6 :: Lens (a, b, c, d, e, f) (a, b, c, d, e, f') f f' #
Field6 (a, b, c, d, e, f, g) (a, b, c, d, e, f', g) f f' #
Instance details Defined in Lens.Micro.FieldN Methods _6 :: Lens (a, b, c, d, e, f, g) (a, b, c, d, e, f', g) f f' #
Field6 (a, b, c, d, e, f, g, h) (a, b, c, d, e, f', g, h) f f' #
Instance details Defined in Lens.Micro.FieldN Methods _6 :: Lens (a, b, c, d, e, f, g, h) (a, b, c, d, e, f', g, h) f f' #
Field6 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f', g, h, i) f f' #
Instance details Defined in Lens.Micro.FieldN Methods _6 :: Lens (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f', g, h, i) f f' #

class Field7 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_7 :: Lens s t a b #

Instances

Instances details

Field7 (a, b, c, d, e, f, g) (a, b, c, d, e, f, g') g g' #
Instance details Defined in Lens.Micro.FieldN Methods _7 :: Lens (a, b, c, d, e, f, g) (a, b, c, d, e, f, g') g g' #
Field7 (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g', h) g g' #
Instance details Defined in Lens.Micro.FieldN Methods _7 :: Lens (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g', h) g g' #
Field7 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g', h, i) g g' #
Instance details Defined in Lens.Micro.FieldN Methods _7 :: Lens (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g', h, i) g g' #

class Field8 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_8 :: Lens s t a b #

Instances

Instances details

Field8 (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g, h') h h' #
Instance details Defined in Lens.Micro.FieldN Methods _8 :: Lens (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g, h') h h' #
Field8 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h', i) h h' #
Instance details Defined in Lens.Micro.FieldN Methods _8 :: Lens (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h', i) h h' #

class Field9 s t a b | s -> a, t -> b, s b -> t, t a -> s where #

Methods

_9 :: Lens s t a b #

Instances

Instances details

Field9 (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h, i') i i' #
Instance details Defined in Lens.Micro.FieldN Methods _9 :: Lens (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h, i') i i' #

at :: At m => Index m -> Lens' m (Maybe (IxValue m)) #

each :: Each s t a b => Traversal s t a b #

ix :: Ixed m => Index m -> Traversal' m (IxValue m) #

lazy :: Strict lazy strict => Lens' strict lazy #

strict :: Strict lazy strict => Lens' lazy strict #

type ASetter s t a b = (a -> Identity b) -> s -> Identity t #

type ASetter' s a = ASetter s s a a #

type Getting r s a = (a -> Const r a) -> s -> Const r s #

type Lens s t a b = forall (f :: Type -> Type). Functor f => (a -> f b) -> s -> f t #

type Lens' s a = Lens s s a a #

type LensLike (f :: Type -> Type) s t a b = (a -> f b) -> s -> f t #

type LensLike' (f :: Type -> Type) s a = LensLike f s s a a #

type SimpleFold s a = forall r. Monoid r => Getting r s a #

type SimpleGetter s a = forall r. Getting r s a #

type Traversal s t a b = forall (f :: Type -> Type). Applicative f => (a -> f b) -> s -> f t #

type Traversal' s a = Traversal s s a a #

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 Methods at :: Index IntSet -> Lens' IntSet (Maybe (IxValue IntSet)) #
Ixed ByteString Source #
Instance details Methods ix :: Index ByteString -> Traversal' ByteString (IxValue ByteString) #
Ixed ByteString Source #
Instance details Methods ix :: Index ByteString -> Traversal' ByteString (IxValue ByteString) #
Ixed IntSet Source #
Instance details Methods ix :: Index IntSet -> Traversal' IntSet (IxValue IntSet) #
Strict ByteString ByteString Source #
Instance details Methods strict :: Lens' ByteString ByteString # lazy :: Lens' ByteString ByteString #
Cons ByteString ByteString Word8 Word8 Source #
Instance details Methods _Cons :: Traversal ByteString ByteString (Word8, ByteString) (Word8, ByteString)
Cons ByteString ByteString Word8 Word8 Source #
Instance details Methods _Cons :: Traversal ByteString ByteString (Word8, ByteString) (Word8, ByteString)
(a ~ Word8, b ~ Word8) => Each ByteString ByteString a b Source #
Instance details Methods each :: Traversal ByteString ByteString a b #
(a ~ Word8, b ~ Word8) => Each ByteString ByteString a b Source #
Instance details Methods each :: Traversal ByteString ByteString a b #
Snoc ByteString ByteString Word8 Word8 Source #
Instance details Methods _Snoc :: Traversal ByteString ByteString (ByteString, Word8) (ByteString, Word8)
Snoc ByteString ByteString Word8 Word8 Source #
Instance details Methods _Snoc :: Traversal ByteString ByteString (ByteString, Word8) (ByteString, Word8)
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)) #
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 => Ixed (Array i e) Source #
Instance details Methods ix :: Index (Array i e) -> Traversal' (Array i e) (IxValue (Array i e)) #
(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 #
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 #
(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 #
Strict (StateT s m a) (StateT s m a) Source #
Instance details Methods strict :: Lens' (StateT s m a) (StateT s m a) # lazy :: Lens' (StateT 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) (WriterT w m a) # lazy :: Lens' (WriterT 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) (RWST r w s m a) # lazy :: Lens' (RWST r w s m a) (RWST r w s m a) #