package
uniform
Type Members
-
type
DB = Map[List[String], Encoded]
-
type
Encoded = String
-
type
ErrorTree = Tree[String, String]
-
type
UniformAsk[OUT, A] = Uniform[Unit, OUT, A]
-
type
UniformTell[IN, A] = Uniform[IN, Unit, A]
-
type
_uniform[IN, OUT, R] = MemberIn[[γ$1$]Uniform[IN, OUT, γ$1$], R]
-
type
_uniformAsk[OUT, R] = MemberIn[[β$2$]Uniform[Unit, OUT, β$2$], R]
-
type
_uniformCore[Q] = MemberIn[[β$0$]IndexedStateT[Eval, UniformCore, UniformCore, β$0$], Q]
-
type
_uniformList[STACK, SUB] = MemberIn[[β$4$]UniformAskList[SUB, β$4$], STACK]
-
type
_uniformSelect[STACK, SUB] = MemberIn[[β$5$]UniformSelect[SUB, β$5$], STACK]
-
type
_uniformTell[IN, R] = MemberIn[[β$3$]Uniform[IN, Unit, β$3$], R]
Value Members
-
def
ask[OUT](key: String): UniformB[Unit, OUT]
-
def
breadcrumbs[STACK](implicit arg0: _uniformCore[STACK]): Eff[STACK, List[List[String]]]
-
implicit
val
contentFunctorInstance: Functor[UniformMessages]
-
implicit
def
contentMonoidInstance[A]: Monoid[UniformMessages[A]]
-
def
core[STACK](implicit arg0: _uniformCore[STACK]): Eff[STACK, UniformCore]
-
def
coreMod[STACK](f: (UniformCore) ⇒ UniformCore)(implicit arg0: _uniformCore[STACK]): Eff[STACK, Unit]
-
def
crumbPush[STACK](crumb: List[String])(implicit arg0: _uniformCore[STACK]): Eff[STACK, Unit]
-
def
dialogue[IN, OUT](key: String)(value: IN): UniformB[IN, OUT]
-
def
end[IN](key: String)(value: IN): UniformB[IN, Unit]
-
def
path[STACK](implicit arg0: _uniformCore[STACK]): Eff[STACK, List[String]]
-
def
pathPop[STACK](implicit arg0: _uniformCore[STACK]): Eff[STACK, Unit]
-
def
pathPush[STACK](key: String)(implicit arg0: _uniformCore[STACK]): Eff[STACK, Unit]
-
-
def
subjourney[A, STACK](path: String)(inner: Eff[STACK, A])(implicit arg0: _uniformCore[STACK]): Eff[STACK, A]
-
def
tell[IN](key: String)(value: IN): UniformB[IN, Unit]
-
implicit
def
treeMonoid[K, V](implicit arg0: Monoid[V]): Monoid[Tree[K, V]]
-
implicit
def
uniformBToStack[IN, OUT, R](inner: UniformB[IN, OUT])(implicit arg0: MemberIn[[γ$1$]Uniform[IN, OUT, γ$1$], R], arg1: _uniformCore[R]): Eff[R, OUT]
-
def
uniformP[IN, OUT, R](key: List[String], tell: IN, default: Option[OUT], validation: (OUT) ⇒ Validated[String, OUT])(implicit arg0: MemberIn[[γ$1$]Uniform[IN, OUT, γ$1$], R]): Eff[R, OUT]
-
def
when[R, A](b: ⇒ Boolean)(wm: Eff[R, A]): Eff[R, Option[A]]
Inherited from AnyRef
Inherited from Any
