K
[`Dict.get`](Dict#get)?
Size: a a a
K
[`Dict.get`](Dict#get)?
MB
MB
K
K
K
K
AP
AP
K
K
y_ : SimpleLens ls { a | y : b } b
y_ = lens .y <| \s a -> { s | y = a }
K
type alias Lens ls s t a b =Такое ощущение, что Эльм здесь считает
Optic N ls s t a b
get : Optic pr Y s t a b -> s -> a
Lens
opaque, потому что иначе оно должно унифицироваться.N
в данной ситуации.K
ls
- здесь ригидная, потому что она в сигнатуре функции, и оно не может её унифицировать. Вот жеж морока.AY
RT
RT
DK
AP
AP
AP