Data.Sequence.Lens

Documentation

viewL :: Iso (Seq a) (Seq b) (ViewL a) (ViewL b)

A Seq is isomorphic to a ViewL

viewl m ≡ m ^. viewL

>>> Seq.fromList [a,b,c] ^. viewL
a :< fromList [b,c]

>>> Seq.empty ^. viewL
EmptyL

>>> EmptyL ^. from viewL
fromList []

>>> review viewL $ a Seq.:< fromList [b,c]
fromList [a,b,c]

viewR :: Iso (Seq a) (Seq b) (ViewR a) (ViewR b)

A Seq is isomorphic to a ViewR

viewr m ≡ m ^. viewR

>>> Seq.fromList [a,b,c] ^. viewR
fromList [a,b] :> c

>>> Seq.empty ^. viewR
EmptyR

>>> EmptyR ^. from viewR
fromList []

>>> review viewR $ fromList [a,b] Seq.:> c
fromList [a,b,c]

seqOf :: Getting (Seq a) s a -> s -> Seq a

Construct a Seq from a ReifiedGetter, Fold, Traversal, Lens or Iso.

>>> seqOf folded ["hello","world"]
fromList ["hello","world"]

>>> seqOf (folded._2) [("hello",1),("world",2),("!!!",3)]
fromList [1,2,3]

seqOf :: ReifiedGetter s a     -> s -> Seq a
seqOf :: ReifiedFold s a       -> s -> Seq a
seqOf :: Iso' s a       -> s -> Seq a
seqOf :: Lens' s a      -> s -> Seq a
seqOf :: Traversal' s a -> s -> Seq a