Proptics core/proptics.std/FunctionOptics

FunctionOptics

trait FunctionOptics
class Object
trait Matchable
class Any
object all.type
object all.type
object function.type

Value members

Concrete methods

final def curried[A, B, C]: Iso[(A, B) => C, A => B => C]

a monomorphic Iso for currying and uncurrying a function

a monomorphic Iso for currying and uncurrying a function

final def curriedP[A, B, C, D, E, F]: Iso_[(A, B) => C, (D, E) => F, A => B => C, D => E => F]

a polymorphic Iso_ for currying and uncurrying a function

a polymorphic Iso_ for currying and uncurrying a function

final def flip[A, B, C]: Iso[A => B => C, B => A => C]

a monomorphic Iso for flipping a function

a monomorphic Iso for flipping a function

final def flipP[A, B, C, D, E, F]: Iso_[A => B => C, D => E => F, B => A => C, E => D => F]

a polymorphic Iso_ for flipping a function

a polymorphic Iso_ for flipping a function

final def uncurried[A, B, C]: Iso[A => B => C, (A, B) => C]

a monomorphic Iso for uncurrying and currying a function

a monomorphic Iso for uncurrying and currying a function

final def uncurriedP[A, B, C, D, E, F]: Iso_[A => B => C, D => E => F, (A, B) => C, (D, E) => F]

a polymorphic Iso_ for uncurrying and currying a function

a polymorphic Iso_ for uncurrying and currying a function