Packages

p

ingot

package ingot

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ingot
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type ActionType[F[_], S, L, R] = (StateWithLogs[S]) ⇒ F[(StateWithLogs[S], Either[L, R])]
  2. type Clay[L, R] = EitherT[[γ$0$]IndexedStateT[Id, StateWithLogs[Unit], StateWithLogs[Unit], γ$0$], L, R]
  3. implicit class ClaySyntax[L, R] extends AnyRef
  4. trait CompositeState[S, SS] extends AnyRef
  5. trait Guard[F[_], G[_]] extends AnyRef
  6. type Ingot[F[_], S, L, R] = EitherT[[γ$0$]IndexedStateT[F, StateWithLogs[S], StateWithLogs[S], γ$0$], L, R]
  7. implicit class IngotSyntax[F[_], S, L, R] extends AnyRef
  8. type LogContainer[M] = Vector[M]
  9. type LogMessage = String
  10. type Logs = Vector[LogMessage]
  11. final case class StateWithLogs[+S](logs: Logs, state: S) extends Product with Serializable
  12. type Yoga[F[_], L, R] = EitherT[[γ$0$]IndexedStateT[F, StateWithLogs[Unit], StateWithLogs[Unit], γ$0$], L, R]
  13. implicit class YogaSyntax[F[_], L, R] extends AnyRef

Value Members

  1. object Clay
  2. object CompositeState
  3. object Guard
  4. object Ingot
  5. object StateWithLogs extends Serializable
  6. object Yoga

Inherited from AnyRef

Inherited from Any

Ungrouped