CanFold

dev.constructive.eo.CanFold
See theCanFold companion trait
object CanFold

Attributes

Companion
trait
Source
CanFold.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
CanFold.type

Members list

Givens

Givens

given given_CanFold_S_A: [S, T, A, B, F[_, _]] => (Optic[S, T, A, B, F], ForgetfulFold[F]) => given_CanFold_S_A[S, T, A, B, F]

Derive from any optic in scope whose carrier can fold. Optic before gate in the same using clause — see CanGet for the SIP-64 ordering rationale.

Derive from any optic in scope whose carrier can fold. Optic before gate in the same using clause — see CanGet for the SIP-64 ordering rationale.

Attributes

Source
CanFold.scala