# package:optics-core

( # ) :: Is k A_Review => Optic' k is t b -> b -> t

Infix version of review.

( #. ) :: Coercible b c => (b -> c) -> (a -> b) -> a -> c

Composition operator where the first argument must be an identity function up to representational equivalence (e.g. a newtype wrapper or unwrapper), and will be ignored at runtime.

(.#) :: Coercible a b => (b -> c) -> (a -> b) -> a -> c

optics-core Optics.Internal.Utils

Composition operator where the second argument must be an identity function up to representational equivalence (e.g. a newtype wrapper or unwrapper), and will be ignored at runtime.