uniform

Type Members

type ::[H, T <: HList] = shapeless.::[H, T]
type BigString = String with Tagged[BigStringTag]

Used to represent multi-line input.
Used to represent multi-line input.
Behaves identically to, and can be freely cast to, a String. However interpreters may decide to treat it differently - for example a web interpreter will usually render this a textarea or a cli interpreter may prompt for several lines.
trait BigStringTag extends AnyRef
case class EmptyMessages[A]()(implicit mon: Monoid[A]) extends UniformMessages[A] with Product with Serializable
case class ErrorMsg(msg: String, args: Any*) extends Product with Serializable
type ErrorTree = Map[NonEmptyList[InputPath], NonEmptyList[ErrorMsg]]
trait IndexOf[L <: HList, U] extends DepFn1[L] with Serializable

Annotations
@implicitNotFound( "Cannot find ${U} in ${L}" )
type Input = Map[InputPath, List[String]]
type InputPath = List[String]
trait Language[UF[_], SupportedTell <: HList, SupportedAsk <: HList] extends AnyRef
case class MapMessagesWithSubstitutions(underlying: Map[String, List[String]]) extends UniformMessages[String] with Product with Serializable
class MapTree[K, V] extends TreeLike[Map[List[K], V]]

Definition Classes
TreeLikeInstances
type NilTypes = shapeless.::[Unit, HNil]
type NonEmptyString = String with Tagged[NonEmptyStringTag]
trait NonEmptyStringTag extends AnyRef
case class NoopMessages[A]() extends UniformMessages[A] with Product with Serializable
trait OptTC extends AnyRef
trait Quantity[A] extends Serializable
trait QuantityInstances extends AnyRef
case class QuantityRule[A] extends Rule[A] with Product with Serializable
class Rewriter[TC[_], SupportedTell <: HList, SupportedAsk <: HList] extends AnyRef
implicit class RichAppOps[F[_], A] extends AnyRef
implicit class RichEither[A, B] extends AnyRef

Definition Classes
ScalaVersionCompatibility
implicit class RichErrorTree extends AnyRef
implicit class RichInput extends AnyRef
implicit class RichRuleListList[A] extends AnyRef
implicit class RichTry[A] extends AnyRef

Definition Classes
ScalaVersionCompatibility
trait Rule[A] extends AnyRef
trait ScalaVersionCompatibility extends AnyRef
case class SimpleMapMessages[A](msg: Map[String, List[A]]) extends UniformMessages[A] with Product with Serializable
trait TreeLike[T] extends Serializable
trait TreeLikeInstances extends AnyRef
trait TypeclassList[L <: HList, F[_]] extends AnyRef

Annotations
@implicitNotFound( ... )
trait UniformMessages[A] extends AnyRef

Value Members

object BestGuessMessages extends RegexParsers with UniformMessages[String]
implicit object ErrorTree extends TreeLike[ErrorTree]

Definition Classes
TreeLikeInstances
object IndexOf extends Serializable
implicit object Input extends MapTree[String, List[String]]
object NonEmptyString
object OptTC extends OptTC
object Quantity extends Serializable
object Rule
object TreeLike extends Serializable
object TypeclassList
object UniformMessages
implicit def catsSyntaxEither: (Either[Nothing, Nothing]) ⇒ EitherOps[Nothing, Nothing]

Definition Classes
ScalaVersionCompatibility
implicit def integralQuantity[I](implicit arg0: Integral[I]): Quantity[I]

Definition Classes
QuantityInstances
implicit def listOfRulesToListList[A](in: List[Rule[A]]): List[List[Rule[A]]]
implicit def sequenceQuantity[S](implicit ev: (S) ⇒ Seq[_]): Quantity[S]

Definition Classes
QuantityInstances
implicit def soloRuleToListList[A](in: Rule[A]): List[List[Rule[A]]]
implicit def toQuantityOps[A](target: A)(implicit tc: Quantity[A]): Ops[A] { type TypeClassType = ltbs.uniform.Quantity[A] }

Definition Classes
ToQuantityOps
Annotations
@SuppressWarnings()
implicit def toTreeLikeOps[T](target: T)(implicit tc: TreeLike[T]): Ops[T] { type TypeClassType = ltbs.uniform.TreeLike[T]{type Key = tc.Key; type Value = tc.Value} }

Definition Classes
ToTreeLikeOps
Annotations
@SuppressWarnings()

package uniform

Type Members

type ::[H, T <: HList] = shapeless.::[H, T]

type BigString = String with Tagged[BigStringTag]

trait BigStringTag extends AnyRef

case class EmptyMessages[A]()(implicit mon: Monoid[A]) extends UniformMessages[A] with Product with Serializable

case class ErrorMsg(msg: String, args: Any*) extends Product with Serializable

type ErrorTree = Map[NonEmptyList[InputPath], NonEmptyList[ErrorMsg]]

trait IndexOf[L <: HList, U] extends DepFn1[L] with Serializable

type Input = Map[InputPath, List[String]]

type InputPath = List[String]

trait Language[UF[_], SupportedTell <: HList, SupportedAsk <: HList] extends AnyRef

case class MapMessagesWithSubstitutions(underlying: Map[String, List[String]]) extends UniformMessages[String] with Product with Serializable

class MapTree[K, V] extends TreeLike[Map[List[K], V]]

type NilTypes = shapeless.::[Unit, HNil]

type NonEmptyString = String with Tagged[NonEmptyStringTag]

trait NonEmptyStringTag extends AnyRef

case class NoopMessages[A]() extends UniformMessages[A] with Product with Serializable

trait OptTC extends AnyRef

trait Quantity[A] extends Serializable

trait QuantityInstances extends AnyRef

case class QuantityRule[A] extends Rule[A] with Product with Serializable

class Rewriter[TC[_], SupportedTell <: HList, SupportedAsk <: HList] extends AnyRef

implicit class RichAppOps[F[_], A] extends AnyRef

implicit class RichEither[A, B] extends AnyRef

implicit class RichErrorTree extends AnyRef

implicit class RichInput extends AnyRef

implicit class RichRuleListList[A] extends AnyRef

implicit class RichTry[A] extends AnyRef

trait Rule[A] extends AnyRef

trait ScalaVersionCompatibility extends AnyRef

case class SimpleMapMessages[A](msg: Map[String, List[A]]) extends UniformMessages[A] with Product with Serializable

trait TreeLike[T] extends Serializable

trait TreeLikeInstances extends AnyRef

trait TypeclassList[L <: HList, F[_]] extends AnyRef

trait UniformMessages[A] extends AnyRef

Value Members

object BestGuessMessages extends RegexParsers with UniformMessages[String]

implicit object ErrorTree extends TreeLike[ErrorTree]

object IndexOf extends Serializable

implicit object Input extends MapTree[String, List[String]]

object NonEmptyString

object OptTC extends OptTC

object Quantity extends Serializable

object Rule

object TreeLike extends Serializable

object TypeclassList

object UniformMessages

implicit def catsSyntaxEither: (Either[Nothing, Nothing]) ⇒ EitherOps[Nothing, Nothing]

implicit def integralQuantity[I](implicit arg0: Integral[I]): Quantity[I]

implicit def listOfRulesToListList[A](in: List[Rule[A]]): List[List[Rule[A]]]

implicit def sequenceQuantity[S](implicit ev: (S) ⇒ Seq[_]): Quantity[S]

implicit def soloRuleToListList[A](in: Rule[A]): List[List[Rule[A]]]

implicit def toQuantityOps[A](target: A)(implicit tc: Quantity[A]): Ops[A] { type TypeClassType = ltbs.uniform.Quantity[A] }

implicit def toTreeLikeOps[T](target: T)(implicit tc: TreeLike[T]): Ops[T] { type TypeClassType = ltbs.uniform.TreeLike[T]{type Key = tc.Key; type Value = tc.Value} }

Inherited from QuantityInstances

Inherited from ToQuantityOps

Inherited from ScalaVersionCompatibility

Inherited from TreeLikeInstances

Inherited from ToTreeLikeOps

Inherited from AnyRef

Inherited from Any

Ungrouped