implicit
class
IngotSyntax[F[_], S, L, R] extends AnyRef
Instance Constructors
-
new
IngotSyntax(x: Ingot[F, S, L, R])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (IngotSyntax[F, S, L, R], B)
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
ensuring(cond: (IngotSyntax[F, S, L, R]) ⇒ Boolean, msg: ⇒ Any): IngotSyntax[F, S, L, R]
-
def
ensuring(cond: (IngotSyntax[F, S, L, R]) ⇒ Boolean): IngotSyntax[F, S, L, R]
-
def
ensuring(cond: Boolean, msg: ⇒ Any): IngotSyntax[F, S, L, R]
-
def
ensuring(cond: Boolean): IngotSyntax[F, S, L, R]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
run(st: S)(implicit F: FlatMap[F]): F[(Logs, S, Either[L, R])]
-
def
runA(st: S)(implicit F: FlatMap[F]): F[Either[L, R]]
-
def
runAL(st: S)(implicit F: FlatMap[F]): F[(Logs, Either[L, R])]
-
def
runL(st: S)(implicit F: FlatMap[F]): F[Logs]
-
def
runS(st: S)(implicit F: FlatMap[F]): F[S]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
transformS[SS](implicit F: Functor[F], CS: CompositeState[S, SS]): Ingot[F, SS, L, R]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
withMonad[G[_]](implicit F: FlatMap[F], A: Applicative[G], K: ~>[F, G]): Ingot[G, S, L, R]
-
def
→[B](y: B): (IngotSyntax[F, S, L, R], B)
Inherited from AnyRef
Inherited from Any
Inherited by implicit conversion any2stringadd from
IngotSyntax[F, S, L, R] to any2stringadd[IngotSyntax[F, S, L, R]]
Inherited by implicit conversion StringFormat from
IngotSyntax[F, S, L, R] to StringFormat[IngotSyntax[F, S, L, R]]
Inherited by implicit conversion ArrowAssoc from
IngotSyntax[F, S, L, R] to ArrowAssoc[IngotSyntax[F, S, L, R]]