gandalf

Type Members

1. case class Error[N <: String, A <: HList](arguments: A)(implicit w: Aux[N]) extends Product with Serializable

   

2. abstract class Mutation[N <: String, I, O, A <: HList] extends Term[N, I, O, A]

   

3. case class Policy[I, O, V0 <: HList, NE <: HList](validations: V0)(implicit ne: ops.NestedEvaluation.Aux[I, O, V0, NE]) extends Validation[I, O] with Product with Serializable

   

4. trait Raw[-T] extends AnyRef

   

   Typeclass that provides an untyped error output for failed validations

   Typeclass that provides an untyped error output for failed validations

   The output format is always a NonEmptyList[( String, List[Any] )]

   T

   Error type to represent

5. abstract class Rule[N <: String, T, A <: HList] extends Term[N, T, T, A]

   

6. abstract class Term[N <: String, I, O, A <: HList] extends Validation[I, O]

   

7. abstract class Transformation[N <: String, I, O] extends Term[N, I, O, HNil]

   

8. trait Validation[I, O] extends AnyRef

   

9. trait implicits extends all