microlens-platform-0.4.3.4: microlens + all batteries included (best for apps)
Copyright(C) 2013-2016 Edward Kmett 2015-2016 Artyom Kazak 2018 Monadfix
LicenseBSD-style (see the file LICENSE)
Safe HaskellTrustworthy
LanguageHaskell2010

Lens.Micro.Platform

Description

This module is an approximation for Control.Lens from lens; by importing it you get all functions and instances from microlens, microlens-mtl, microlens-ghc, as well as the following instances:

  • at for HashMap
  • each and ix for

    • HashMap
    • Vector and variants (unboxed vectors, etc)
    • strict Text and lazy Text
  • _head, _tail, _init, _last for

    • Vector and variants
    • strict and lazy Text
  • strict and lazy for Text
Synopsis

Documentation

packed :: IsText t => Lens' String t Source #

packed lets you convert between String and Text (strict or lazy). It can be used as a replacement for pack or as a way to modify some String if you have a function like Text -> Text.

unpacked :: IsText t => Lens' t String Source #

unpacked is like packed but works in the opposite direction.

Orphan instances

Ixed Text Source # 
Instance details

Methods

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

Ixed Text Source # 
Instance details

Methods

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

Strict Text Text Source # 
Instance details

Methods

strict :: Lens' Text Text0

lazy :: Lens' Text0 Text

Cons Text Text Char Char Source # 
Instance details

Methods

_Cons :: Traversal Text Text (Char, Text) (Char, Text)

Cons Text Text Char Char Source # 
Instance details

Methods

_Cons :: Traversal Text Text (Char, Text) (Char, Text)

(a ~ Char, b ~ Char) => Each Text Text a b Source # 
Instance details

Methods

each :: Traversal Text Text a b

(a ~ Char, b ~ Char) => Each Text Text a b Source # 
Instance details

Methods

each :: Traversal Text Text a b

Snoc Text Text Char Char Source # 
Instance details

Methods

_Snoc :: Traversal Text Text (Text, Char) (Text, Char)

Snoc Text Text Char Char Source # 
Instance details

Methods

_Snoc :: Traversal Text Text (Text, Char) (Text, Char)

Ixed (Vector a) Source # 
Instance details

Methods

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

Prim a => Ixed (Vector a) Source # 
Instance details

Methods

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

Storable a => Ixed (Vector a) Source # 
Instance details

Methods

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

Unbox a => Ixed (Vector a) Source # 
Instance details

Methods

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

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

Methods

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

(Prim a, Prim b) => Cons (Vector a) (Vector b) a b Source # 
Instance details

Methods

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

(Storable a, Storable b) => Cons (Vector a) (Vector b) a b Source # 
Instance details

Methods

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

(Unbox a, Unbox b) => Cons (Vector a) (Vector b) a b Source # 
Instance details

Methods

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

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

Methods

each :: Traversal (Vector a) (Vector b) a b

(Prim a, Prim b) => Each (Vector a) (Vector b) a b Source # 
Instance details

Methods

each :: Traversal (Vector a) (Vector b) a b

(Storable a, Storable b) => Each (Vector a) (Vector b) a b Source # 
Instance details

Methods

each :: Traversal (Vector a) (Vector b) a b

(Unbox a, Unbox b) => Each (Vector a) (Vector b) a b Source # 
Instance details

Methods

each :: Traversal (Vector a) (Vector b) a b

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

Methods

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

(Prim a, Prim b) => Snoc (Vector a) (Vector b) a b Source # 
Instance details

Methods

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

(Storable a, Storable b) => Snoc (Vector a) (Vector b) a b Source # 
Instance details

Methods

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

(Unbox a, Unbox b) => Snoc (Vector a) (Vector b) a b Source # 
Instance details

Methods

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

(Eq k, Hashable k) => At (HashMap k a) Source # 
Instance details

Methods

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

(Eq k, Hashable k) => Ixed (HashMap k a) Source # 
Instance details

Methods

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

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

Methods

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