Trait

scalaz

FreeFunctions

Related Doc: package scalaz

Permalink

trait FreeFunctions extends AnyRef

Source
Free.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FreeFunctions
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def await[A]: Sink[A, A]

    Permalink

    A sink that waits for a single value and returns it.

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  11. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  13. def joinF[S[_], A](value: Free[[α]Free[S, α], A])(implicit S: Functor[S]): Free[S, A]

    Permalink

    Monadic join for the higher-order monad Free

  14. def liftF[S[_], A](value: ⇒ S[A])(implicit S: Functor[S]): Free[S, A]

    Permalink

    Suspends a value within a functor in a single step.

    Suspends a value within a functor in a single step. Monadic unit for a higher-order monad.

  15. def liftFC[S[_], A](s: S[A]): FreeC[S, A]

    Permalink

    A free monad over a free functor of S.

  16. def liftFU[MA](value: ⇒ MA)(implicit MA: Unapply[Functor, MA]): Free[M, A]

    Permalink

    A version of liftF that infers the nested type constructor.

  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  20. def pause: Trampoline[Unit]

    Permalink

    A trampoline step that doesn't do anything.

  21. def point[S[_], A](value: ⇒ A): Free[S, A]

    Permalink

    Return the given value in the free monad.

  22. def produce[A](a: A): Source[A, Unit]

    Permalink

    A source that produces the given value.

  23. def pure[S[_], A](value: ⇒ A): Free[S, A]

    Permalink

    Alias for point

  24. def reset[A](r: Trampoline[A]): Trampoline[A]

    Permalink

    Collapse a trampoline to a single step.

  25. def return_[S[_], A](value: ⇒ A)(implicit S: Applicative[S]): Free[S, A]

    Permalink

    Suspend the given computation in a single step.

  26. def runFC[S[_], M[_], A](sa: FreeC[S, A])(interp: ~>[S, M])(implicit M: Monad[M]): M[A]

    Permalink

    Interpret a free monad over a free functor of S via natural transformation to monad M.

  27. def suspend[S[_], A](value: ⇒ Free[S, A])(implicit S: Applicative[S]): Free[S, A]

    Permalink
  28. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  29. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  30. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped