Convenient Infix operator for composing lenses. Allows to chain lens composition for deeply nested structures:

fromAtoB : Lens A B
fromAtoB = Lense .b (\a b -> { a | b = b })


fromBtoC : Lens B C
fromBtoC = Lense .c (\b c -> { b | c = c })


fromCtoD : Lens C D
fromCtoD = Lense .d (\c d -> { c | d = d })


fromDtoE : Lens D E
fromDtoE = Lense .e (\d e -> { d | e = e })


fromAtoE : Lens A E
fromAtoE = fromAtoB <|> fromBtoC <|> fromCtoD <|> fromDtoE


a : A
a = { b: { c: { d: { e: "Whatever we want to get" } } } }


fromAtoE.get a
=> "Whatever we want to get"


fromAtoE.set a "What we want to set"
=> { b: { c: { d: { e: "What we want to set" } } } }

Convenient infix operator for composing optionals.

.getOption (maybe => array 2) (Just <| Array.fromList [ 10, 11, 12, 13 ])

12

Step into a Maybe value.

maybe.set 5 Nothing
> Just 5

Step into an Array at the given index.

.getOption (array 2) (Array.fromList [ 10, 11, 12, 13 ])
> Just 12


.getOption (array 8) (Array.fromList [ 10, 11, 12, 13 ])
> Nothing

Step into a Dict with the given key.

.getOption (dict "Tom") (Dict.fromList [ ( "Tom", "Cat" ) ])
> Just "Cat"


.getOption (dict "Jerry") (Dict.fromList [ ( "Tom", "Cat" ) ])
> Nothing

Step into the success value of a Result.

result.getOption (Ok 5)
> Just 5


result.getOption (Err "500")
> Nothing

Step into a record with an id key.

id.get { id = 1000, name = ... }
> Just 1000

Since records with an id field are incredible common, this is included for convenience. It also serves as a simple recipe for creating record lenses.

Step into the first element of a pair.

first.get ( 'a', 'b' )
> Just 'a'

Step into the second element of a pair.

second.get ( 'a', 'b' )
> Just 'b'