com.tubros.constraints.api.solver.Answer

AnswerComonad

implicit object AnswerComonad extends IsomorphismComonad[Answer, VariableNameTuple] with IsomorphismFunctor[Answer, VariableNameTuple]

Linear Supertypes
IsomorphismComonad[Answer, VariableNameTuple], IsomorphismCojoin[Answer, VariableNameTuple], IsomorphismFunctor[Answer, VariableNameTuple], Comonad[Answer], Cobind[Answer], Cojoin[Answer], Functor[Answer], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. AnswerComonad
  2. IsomorphismComonad
  3. IsomorphismCojoin
  4. IsomorphismFunctor
  5. Comonad
  6. Cobind
  7. Cojoin
  8. Functor
  9. AnyRef
  10. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait ComonadLaws extends AnyRef

    Definition Classes
    Comonad

  2. trait FunctorLaw extends AnyRef

    Definition Classes
    Functor

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. val G: Comonad[VariableNameTuple]

    Definition Classes
    AnswerComonad → IsomorphismComonad → IsomorphismCojoin → IsomorphismFunctor

  7. def apply[A, B](fa: Answer[A])(f: (A) ⇒ B): Answer[B]

    Definition Classes
    Functor

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. def cobind[A, B](fa: Answer[A])(f: (Answer[A]) ⇒ B): Answer[B]

    Definition Classes
    AnswerComonad → Cobind

  11. val cobindSyntax: CobindSyntax[Answer]

    Definition Classes
    Cobind

  12. def cojoin[A](a: Answer[A]): Answer[Answer[A]]

    Definition Classes
    IsomorphismCojoin → Cojoin

  13. val cojoinSyntax: CojoinSyntax[Answer]

    Definition Classes
    Cojoin

  14. def comonadLaw: ComonadLaws

    Definition Classes
    Comonad

  15. val comonadSyntax: ComonadSyntax[Answer]

    Definition Classes
    Comonad

  16. def compose[G[_]](implicit G0: Functor[G]): Functor[[α]Answer[G[α]]]

    Definition Classes
    Functor

  17. def copoint[A](p: Answer[A]): A

    Definition Classes
    IsomorphismComonad → Comonad

  18. def copure[A](p: Answer[A]): A

    Definition Classes
    Comonad

  19. def counzip[A, B](a: \/[Answer[A], Answer[B]]): Answer[\/[A, B]]

    Definition Classes
    Functor

  20. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  21. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  22. def extend[A, B](a: Answer[A])(f: (Answer[A]) ⇒ B): Answer[B]

    Definition Classes
    Cojoin

  23. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  24. def fpair[A](fa: Answer[A]): Answer[(A, A)]

    Definition Classes
    Functor

  25. def fproduct[A, B](fa: Answer[A])(f: (A) ⇒ B): Answer[(A, B)]

    Definition Classes
    Functor

  26. def functorLaw: FunctorLaw

    Definition Classes
    Functor

  27. val functorSyntax: FunctorSyntax[Answer]

    Definition Classes
    Functor

  28. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  29. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  30. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  31. val iso: scalaz.Isomorphism.<~>[Answer, VariableNameTuple]

    Definition Classes
    AnswerComonad → IsomorphismCojoin → IsomorphismFunctor

  32. def lift[A, B](f: (A) ⇒ B): (Answer[A]) ⇒ Answer[B]

    Definition Classes
    Functor

  33. def map[A, B](fa: Answer[A])(f: (A) ⇒ B): Answer[B]

    Definition Classes
    IsomorphismFunctor → Functor

  34. def mapply[A, B](a: A)(f: Answer[(A) ⇒ B]): Answer[B]

    Definition Classes
    Functor

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

    Definition Classes
    AnyRef

  36. final def notify(): Unit

    Definition Classes
    AnyRef

  37. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  38. def product[G[_]](implicit G0: Functor[G]): Functor[[α](Answer[α], G[α])]

    Definition Classes
    Functor

  39. def strengthL[A, B](a: A, f: Answer[B]): Answer[(A, B)]

    Definition Classes
    Functor

  40. def strengthR[A, B](f: Answer[A], b: B): Answer[(A, B)]

    Definition Classes
    Functor

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

    Definition Classes
    AnyRef

  42. def toString(): String

    Definition Classes
    AnyRef → Any

  43. def void[A](fa: Answer[A]): Answer[Unit]

    Definition Classes
    Functor

  44. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  45. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  46. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from IsomorphismComonad[Answer, VariableNameTuple]

Inherited from IsomorphismCojoin[Answer, VariableNameTuple]

Inherited from IsomorphismFunctor[Answer, VariableNameTuple]

Inherited from Comonad[Answer]

Inherited from Cobind[Answer]

Inherited from Cojoin[Answer]

Inherited from Functor[Answer]

Inherited from AnyRef

Inherited from Any

Ungrouped