Personal tools

LensBeginnersCheatsheet

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Predefined Lenses: improved formatting of module names, added links)
(Using Lenses: Improved formatting of module names in table, added links)
Line 17: Line 17:
 
{|
 
{|
 
|-
 
|-
|Control.Lens.Setter ||<code>over setter f s</code> ||<code>setter %~ f $ s</code> ||modify pure value
+
|rowspan="4" valign="top" |[http://hackage.haskell.org/package/lens/docs/Control-Lens-Setter.html Control.Lens.Setter] ||<code>over setter f s</code> ||<code>setter %~ f $ s</code> ||modify pure value
 
|-
 
|-
|Control.Lens.Setter ||<code>set setter b s</code> ||<code>setter .~ b $ s</code> ||set pure value
+
|<code>set setter b s</code> ||<code>setter .~ b $ s</code> ||set pure value
 
|-
 
|-
|Control.Lens.Setter || ||<code>setter %= f</code> ||modify MonadState
+
| ||<code>setter %= f</code> ||modify MonadState
 
|-
 
|-
|Control.Lens.Setter || ||<code>setter .= b</code> ||set MonadState
+
| ||<code>setter .= b</code> ||set MonadState
 
|-
 
|-
|Control.Lens.Getter || ||<code>s ^. getter</code> ||get pure value
+
|rowspan="3" valign="top" |[http://hackage.haskell.org/package/lens/docs/Control-Lens-Getter.html Control.Lens.Getter] || ||<code>s ^. getter</code> ||get pure value
 
|-
 
|-
|Control.Lens.Getter ||<code>view getter</code> || ||get MonadReader
+
|<code>view getter</code> || ||get MonadReader
 
|-
 
|-
|Control.Lens.Getter ||<code>use getter</code> || ||get MonadState
+
|<code>use getter</code> || ||get MonadState
 
|}
 
|}
   
Line 43: Line 43:
   
 
Many other similar functions and operators are available.
 
Many other similar functions and operators are available.
 
   
 
== Composing Lenses ==
 
== Composing Lenses ==

Revision as of 13:02, 12 October 2013

Edward Kmett’s lens package. “JQuery for Haskell values”.

import Control.Lens

If you want to import the lens functions qualified, but the lens operators unqualified, then

import qualified Control.Lens
import           Control.Lens.Operators


Contents

1 Using Lenses

Control.Lens.Setter over setter f s setter %~ f $ s modify pure value
set setter b s setter .~ b $ s set pure value
setter %= f modify MonadState
setter .= b set MonadState
Control.Lens.Getter s ^. getter get pure value
view getter get MonadReader
use getter get MonadState

where

setter :: Setter s t a b
getter :: Getter s   a
s :: s
b :: b
f :: a -> b

Many other similar functions and operators are available.

2 Composing Lenses

Use . and pretend you're using a more mainstream language: outerLens . innerLens.

s = [Data.Map.singleton "bob" 7,
     Data.Map.fromList [("alice", 5), ("kerry", 8)],
     Data.Map.singleton "harry" 6]
t = element 1 . at "kerry" .~ Just 42 $ s
-- t = [Data.Map.singleton "bob" 7,
--      Data.Map.fromList [("alice", 5), ("kerry", 42)],
--      Data.Map.singleton "harry" 6]

3 Types (stab stab stabbity stab stab stab)

Mostly of the form

type Something s t a b = forall f. {- some constraint on f -} => (a -> f b) -> (s -> f t)

with a simple "primed" form

type Something' s a = Something s s a a

These allow us to

  • focus on an inner value of type a... within an outer value of type s; and perhaps
  • provide (a) new inner value(s) of type b... to produce a new outer value of type t

The simple types therefore describe lenses that produce new values without changing the types.

Setter s t a b set or modify value
Getter s a get value
Traversal s t a b focus on one, none or many values; can be used as a Setter;can be used as a Getter if a is a Monoid
Lens s t a b can be used as a Getter/Setter/Traversal/etc

Many other lens types are available. You can use a value of a more general type where a value of a more specific type is required. Some values are presented in this document with a more specific and less esoteric type than the more general and less common type they really have.


4 Predefined Lenses

Control.Lens.At at :: Ord k => k -> Lens' (Map k v) (Maybe v) Just v -> value is present; Nothing -> value is absent
at :: (Eq k, Hashable k) => k -> Lens' (HashMap k v) (Maybe v)
at Int -> Lens' (IntMap v) (Maybe v)
Control.Lens.Traversal element :: Int -> Traversable f => Traversal' (f v) v get/set/modify nth element of a container; no effect if no nth element

Many other predefined lenses are available.

5 Generating Lenses For Your Own Record Types

{-# LANGUAGE TemplateHaskell #-}
import Control.Lens.TH
data Foo a = Foo {_bar :: Int,
                  _baz :: a,
                  quux :: String}
$(makeLenses ''Foo)         -- creates `bar :: Lens' (Foo a) Int` and `baz :: Lens (Foo a) (Foo b) a b
$(makeLensesFor [("_bar", "bar"), ("_baz", "baz")] ''Foo)   -- the same

Many other TH lens functions are available providing varying amounts of control.