gql-core/gql/Validation

Validation

object Validation
Source:
Validation.scala
class Object
trait Matchable
class Any

Type members

Classlikes

object Edge
Companion:
class
Source:
Validation.scala
sealed trait Edge
Companion:
object
Source:
Validation.scala
object Error
Companion:
class
Source:
Validation.scala
sealed trait Error
Companion:
object
Source:
Validation.scala
final case class Problem(error: Error, path: Chain[Edge])
final case class ValidationState[F[_]](problems: Chain[Problem], currentPath: Chain[Edge], seenOutputs: Map[String, OutToplevel[F, _]], seenInputs: Map[String, InToplevel[_]])

Value members

Concrete methods

def allUnique[F[_], G[_]](f: String => Error, xs: List[String])(implicit G: Applicative[G], S: Stateful[G, ValidationState[F]]): G[Unit]
def raise[F[_], G[_]](err: Error, suffix: Chain[Edge])(implicit S: Stateful[G, ValidationState[F]]): G[Unit]
def useEdge[F[_], G[_], A](edge: Edge)(fa: G[A])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[A]
def useInputEdge[F[_], G[_]](it: InToplevel[_], discovery: DiscoveryState[F])(fa: G[Unit])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]
def useOutputEdge[F[_], G[_]](sel: Selectable[F, _], discovery: DiscoveryState[F])(fa: G[Unit])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]
def validate[F[_]](schema: SchemaShape[F, _, _, _]): Chain[Problem]
def validateArg[F[_], G[_]](arg: Arg[_], discovery: DiscoveryState[F])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]
def validateFieldName[F[_], G[_]](name: String)(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]
def validateFields[F[_], G[_] : Monad](fields: NonEmptyList[(String, AbstractField[F, _])], discovery: DiscoveryState[F])(implicit evidence$1: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]
def validateInput[F[_], G[_]](input: In[_], discovery: DiscoveryState[F])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]
def validateOutput[F[_], G[_]](tl: Out[F, _], discovery: DiscoveryState[F])(implicit S: Stateful[G, ValidationState[F]], G: Monad[G]): G[Unit]
def validateToplevel[F[_], G[_]](sel: Selectable[F, _], discovery: DiscoveryState[F])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]
def validateTypeName[F[_], G[_]](name: String)(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]