Size: a a a
AK
_registry :: forall d c n. Lens' (Network d c n) (UUID.Tagged /-> Entity d c n)
_registry =
lens getter setter
where
getter (Network { registry }) = registry
setter (Network nwstate) val =
Network nwstate { registry = val }
_entity :: forall d c n. UUID.Tagged -> Prism' (Network d c n) (Entity d c n)
_entity uuid =
_registry <<< at uuid
AK
_entity :: forall d c n. UUID.Tagged -> Lens' (Network d c n) (Maybe (Entity d c n)) работаетAK
Lens' (вернее, ∀ p. Strong p ⇒ p (Maybe (Entity d c n)) (Maybe (Entity d c n)) → p (Network d c n) (Network d c n))AK
AK
Traversal' (Network d c n) (Entity d c n) тоже компилятору не подходит. Но говорит:Could not match type
Entity d1 c2
with type
Maybe
at неправильно использовать?AK
AK
ЗП
ЗП
pre ... <<< nonЗП
[] ^. pre _head . non 10ЗП
pre lens . non defaultЗП
Map.fromList [] ^. at "a" . non 1000ЗП
AK
pre не нашёл в пурсовой либеAK
profunctor-opticsAK
Lens' s (Maybe a), призму думал сделать только потому, что думал, что так "правильнее"ЗП
pre не нашёл в пурсовой либеЗП
to <<< previewЗП
pre :: forall s a. L.Fold' (First a) s a -> L.Getter' s (Maybe a)
pre = L.to <<< L.preview
AK