haskpy.optics.prism

prism(match, build)

(s -> Either t a) -> (b -> t) -> PrismP a b s t

where

type PrismP a b s t = Cocartesian p => p a b -> p s t