scalaz.typelevel
Represents a function A => T#Product[B] where [L <: TCList].
A => T#Product[B]
[L <: TCList]
Example:
import scalaz._, std.AllInstances._, typelevel._, Func._ val list = AppFuncU { (x: Int) => x + 1 } :: AppFuncU { (x: Int) => List(x + 5) } :: AppFunc.HNil list.traverse(List(1, 2, 3))
Represents a function
A => T#Product[B]
where[L <: TCList]
.Example: