Packages

t

ltbs.uniform

Interpreter

trait Interpreter[F[_], INTERACTTC[_, _], ASKLISTTC[_]] extends AnyRef

Maps a journey from its abstract form into a concrete one.

Must target a specific higher kinded type (for example, WebMonad).

When creating your own interpreter you may be better served by inheriting MonadInterpreter as this already has some of the wiring

Linear Supertypes
AnyRef, Any
Known Subclasses
MonadInterpreter
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Interpreter
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def interpretImpl[H <: Needs[_, _], T, A, E[_]](program: Uniform[H, T, A], interactMap: Map[(LightTypeTag, LightTypeTag), INTERACTTC[_, _]], convertMap: Map[(LightTypeTag, LightTypeTag), Any], listAskMap: Map[LightTypeTag, ASKLISTTC[_]])(implicit arg0: Tag[T], arg1: Tag[A]): F[A]

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. def convertImpl[E[_], A](key: String, in: () => E[A], transformation: Converter[E, F, A]): F[A]
    Attributes
    protected
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  11. macro def interpret[H <: Needs[_, _], T, A](program: Uniform[H, T, A]): F[A]

    Convert the supplied abstract journey into the target type

    Convert the supplied abstract journey into the target type

    program

    - the uniform journey to be interpreted

    returns

    the journey in it's new interpreted representation

    Annotations
    @silent("dead code")
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  17. def toString(): String
    Definition Classes
    AnyRef → Any
  18. def transform[G[_]](f: ~>[F, G]): Interpreter[G, INTERACTTC, ASKLISTTC]
  19. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  20. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  21. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped