trait Func[F[_], TC[F[_]] <: Functor[F[_]], A, B] extends AnyRef
Represents a function A => F[B]
where [F: TC]
.
Contributed by Eugene Yokota.
- Self Type
- Func[F, TC, A, B]
- Source
- Func.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Func
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
- implicit abstract def F: TC[F]
- implicit abstract def TC: KTypeClass[TC]
- abstract def runA(a: A): F[B]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def &&&@[G[_]](g: Func[G, TC, A, B]): HConsFunc[G, TC, A, B, HConsFunc[F, TC, A, B, HNilFunc[TC, A, B]]]
-
def
<<<@[G[_], C](g: Func[G, TC, C, A]): Func[[α]G[F[α]], TC, C, B]
alias for composeA
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
@&&&[G[_]](g: Func[G, TC, A, B]): HConsFunc[F, TC, A, B, HConsFunc[G, TC, A, B, HNilFunc[TC, A, B]]]
alias for productA
-
def
@>>>[G[_], C](g: Func[G, TC, B, C]): Func[[α]F[G[α]], TC, A, C]
alias for andThenA
-
def
andThenA[G[_], C](g: Func[G, TC, B, C]): Func[[α]F[G[α]], TC, A, C]
compose
A => F[B]
andB => G[C]
intoA => F[G[C]]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
composeA[G[_], C](g: Func[G, TC, C, A]): Func[[α]G[F[α]], TC, C, B]
compose
A => F[B]
andC => G[A]
intoC => G[F[B]]
-
def
consA[T <: HListFunc[TC, A, B]](tail: T): HConsFunc[F, TC, A, B, T]
prepend
this
to HListFunctail
* -
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def mapA[C](f: (B) ⇒ C): Func[F, TC, A, C]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
productA[G[_]](g: Func[G, TC, A, B]): HConsFunc[F, TC, A, B, HConsFunc[G, TC, A, B, HNilFunc[TC, A, B]]]
compose
A => F[B]
andA => G[B]
intoA => F[B] :: G[B] :: HNil
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def traverse[G[_]](value: G[A])(implicit G: Traverse[G], ev: =:=[TC[F], Applicative[F]]): F[G[B]]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )