scalaz/scalaz.std/function

function

object function extends FunctionFunctions with FunctionInstances
class Object
trait Matchable
class Any

Value members

Inherited methods

final
def fix[A](f: (=> A) => A): A

f(f(f(... for referentially transparent f.

f(f(f(... for referentially transparent f.

Since

7.0.1

Inherited from
FunctionFunctions

Implicits

Inherited implicits

implicit
def function0Equal[R : Equal]: Equal[() => R]
Inherited from
FunctionInstances
implicit
val function0Instance: Traverse[Function0] & Monad[Function0] & BindRec[Function0] & Comonad[Function0] & Distributive[Function0]
Inherited from
FunctionInstances
implicit
def function1Cobind[A, R](implicit A0: Semigroup[A]): Cobind[[_] =>> A => _$1]
Inherited from
FunctionInstances1
implicit
def function1Comonad[A, R](implicit A0: Monoid[A]): Comonad[[_] =>> A => _$2]
Inherited from
FunctionInstances0
implicit
def function1Contravariant[R]: Contravariant[Function1]
Inherited from
FunctionInstances
implicit
def function1Covariant[T]: Monad[[_] =>> T => _$21] & BindRec[[_] =>> T => _$22] & Zip[[_] =>> T => _$23] & Unzip[[_] =>> T => _$24] & Distributive[[_] =>> T => _$25]
Inherited from
FunctionInstances
implicit
def function1CovariantByName[T]: Monad[[_] =>> (=> T) => _$3] & BindRec[[_] =>> (=> T) => _$4] & Zip[[_] =>> (=> T) => _$5] & Unzip[[_] =>> (=> T) => _$6] & Distributive[[_] =>> (=> T) => _$7]
Inherited from
FunctionInstances0
implicit
val function1Instance: Arrow[Function1] & Choice[Function1] & ProChoice[Function1]
Inherited from
FunctionInstances
implicit
def function1Monoid[A, R](implicit R0: Monoid[R]): Monoid[A => R]
Inherited from
FunctionInstances0
implicit
def function1Semigroup[A, R](implicit R0: Semigroup[R]): Semigroup[A => R]
Inherited from
FunctionInstances1
implicit
def function2Instance[T1, T2]: Monad[[_] =>> (T1, T2) => _$37] & BindRec[[_] =>> (T1, T2) => _$38]
Inherited from
FunctionInstances
implicit
def function3Instance[T1, T2, T3]: Monad[[_] =>> (T1, T2, T3) => _$43] & BindRec[[_] =>> (T1, T2, T3) => _$44]
Inherited from
FunctionInstances
implicit
def function4Instance[T1, T2, T3, T4]: Monad[[_] =>> (T1, T2, T3, T4) => _$50] & BindRec[[_] =>> (T1, T2, T3, T4) => _$51]
Inherited from
FunctionInstances
implicit
def function5Instance[T1, T2, T3, T4, T5]: Monad[[_] =>> (T1, T2, T3, T4, T5) => _$58] & BindRec[[_] =>> (T1, T2, T3, T4, T5) => _$59]
Inherited from
FunctionInstances
implicit
def function6Instance[T1, T2, T3, T4, T5, T6]: Monad[[_] =>> (T1, T2, T3, T4, T5, T6) => _$67] & BindRec[[_] =>> (T1, T2, T3, T4, T5, T6) => _$68]
Inherited from
FunctionInstances
implicit
def function7Instance[T1, T2, T3, T4, T5, T6, T7]: Monad[[_] =>> (T1, T2, T3, T4, T5, T6, T7) => _$77] & BindRec[[_] =>> (T1, T2, T3, T4, T5, T6, T7) => _$78]
Inherited from
FunctionInstances
implicit
def function8Instance[T1, T2, T3, T4, T5, T6, T7, T8]: Monad[[_] =>> (T1, T2, T3, T4, T5, T6, T7, T8) => _$88] & BindRec[[_] =>> (T1, T2, T3, T4, T5, T6, T7, T8) => _$89]
Inherited from
FunctionInstances