package
uniform
Type Members
-
type
DB = Map[List[String], Encoded]
-
type
Encoded = String
-
type
ErrorTree = Tree[String, String]
-
implicit
class
RichMonoidOps[R, A] extends AnyRef
-
implicit
class
RichOps[R, A] extends AnyRef
-
-
-
case class
SubJourneySettings(leapAhead: Boolean = false, amnesiac: Boolean = false) extends Product with Serializable
-
case class
TaskList2[A, AS, B, BS, STACK](a: (String, Eff[AS, A]), b: (String, Eff[BS, B]))(implicit fa: IntoPoly[AS, STACK], fb: IntoPoly[BS, STACK]) extends Product with Serializable
-
case class
Tree[K, V](value: V, children: Map[K, Tree[K, V]] = Map.empty[K,Tree[K,V]]) extends Product with Serializable
-
case class
Uniform[IN, OUT, STACK] extends Product with Serializable
-
type
UniformAsk[OUT, A] = Uniform[Unit, OUT, A]
-
case class
UniformAskList[L, V](key: List[String], min: Int = 0, max: Int = Int.MaxValue, validationElement: (V) ⇒ Validated[String, V] = v:V => v.valid, validationList: (List[V]) ⇒ Validated[String, List[V]] = v:List[V] => v.valid) extends Product with Serializable
-
case class
UniformB[IN, OUT] extends Product with Serializable
-
case class
UniformCore(state: Map[List[String], Encoded] = Map.empty, breadcrumbs: List[List[String]] = Nil, path: List[String] = Nil) extends Product with Serializable
-
sealed
trait
UniformSelect[L, V] extends AnyRef
-
case class
UniformSelectMany[L, V](key: List[String], options: Set[V], min: Int = 0, max: Int = Int.MaxValue, validation: (Set[V]) ⇒ Validated[String, Set[V]] = v:Set[V] => v.valid) extends UniformSelect[L, Set[V]] with Product with Serializable
-
case class
UniformSelectOne[L, V](key: List[String], options: Set[V], validation: (V) ⇒ Validated[String, V] = v:V => v.valid) extends UniformSelect[L, V] with Product with Serializable
-
case class
UniformSubjourney[L, V](key: String, components: Eff[L, V]) extends Product with Serializable
-
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
-
object
DB
-
-
-
-
object
Tree extends Serializable
-
object
Uniform extends Serializable
-
-
-
def
ask[OUT](key: String): UniformB[Unit, OUT]
-
def
breadcrumbs[STACK](implicit arg0: _uniformCore[STACK]): Eff[STACK, List[List[String]]]
-
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]
-
object
db
-
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] = None, validation: (OUT) ⇒ Validated[String, OUT] = v:OUT => v.valid)(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
