PPrismOf

typealias ~~PPrismOf~~<S, T, A, B> = Kind4<ForPPrism, S, T, A, B> Deprecated: Higher Kinded types and their related type classes will no longer be supported after Arrow 0.13.0. Most relevant APIs are now concrete over the data types available as members or top level extension functions

Inheritors

PPrism A Prism is a loss less invertible optic that can look into a structure and optionally find its focus. Mostly used for finding a focus that is only present under certain conditions i.e. list head Prism<List, Int>interface PPrism<S, T, A, B> : PPrismOf<S, T, A, B>