package
uniform
Type Members
-
type
Encoded = String
-
type
ErrorTree = Tree[String, String]
-
type
_uniform[V, R] = MemberIn[[β$0$]UniformAsk[V, β$0$], R]
-
type
_uniformSelect[V, R] = MemberIn[[β$1$]UniformSelect[V, β$1$], R]
Value Members
-
-
implicit
def
treeMonoid[K, V](implicit arg0: Monoid[V]): Monoid[Tree[K, V]]
-
def
uask[R, T](key: String, validation: (T) ⇒ Validated[String, T])(implicit member: |=[[β$2$]UniformAsk[T, β$2$], R]): Eff[R, T]
-
def
uaskNOf[R, T](key: String, options: Set[T], min: Int, max: Int, validation: (Set[T]) ⇒ Validated[String, Set[T]])(implicit member: |=[[β$6$]UniformSelect[T, β$6$], R]): Eff[R, Set[T]]
-
def
uaskOneOf[R, T](key: String, options: Set[T], validation: (T) ⇒ Validated[String, T])(implicit member: |=[[β$4$]UniformSelect[T, β$4$], R]): Eff[R, T]
-
def
when[R, A](b: ⇒ Boolean)(wm: Eff[R, A]): Eff[R, Option[A]]
Inherited from AnyRef
Inherited from Any