ingot

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