gql-core
0.2.7
API
Generated with
gql-core/gql/Validation

Validation

gql.Validation$
object Validation

Attributes

Source
Validation.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Validation.type

Members list

Type members

Classlikes

object Error

Attributes

Companion
trait
Source
Validation.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Error.type
sealed trait Error
final case class Problem(error: Error, path: Cursor)

Attributes

Source
Validation.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class ValidationState[F[_]](problems: Chain[Problem], currentPath: Cursor, seenOutputs: Map[String, OutToplevel[F, _]], seenInputs: Map[String, InToplevel[_]])

Attributes

Source
Validation.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

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]

Attributes

Source
Validation.scala
def raise[F[_], G[_]](err: Error, suffix: Cursor)(implicit S: Stateful[G, ValidationState[F]]): G[Unit]

Attributes

Source
Validation.scala
def useEdge[F[_], G[_], A](edge: GraphArc)(fa: G[A])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[A]

Attributes

Source
Validation.scala
def useInputEdge[F[_], G[_]](it: InToplevel[_], discovery: DiscoveryState[F])(fa: G[Unit])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]

Attributes

Source
Validation.scala
def useOutputEdge[F[_], G[_]](sel: Selectable[F, _], discovery: DiscoveryState[F])(fa: G[Unit])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]

Attributes

Source
Validation.scala
def validate[F[_]](schema: SchemaShape[F, _, _, _]): Chain[Problem]

Attributes

Source
Validation.scala
def validateArg[F[_], G[_]](arg: Arg[_], discovery: DiscoveryState[F])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]

Attributes

Source
Validation.scala
def validateFieldName[F[_], G[_]](name: String)(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]

Attributes

Source
Validation.scala
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]

Attributes

Source
Validation.scala
def validateInput[F[_], G[_]](input: In[_], discovery: DiscoveryState[F])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]

Attributes

Source
Validation.scala
def validateOutput[F[_], G[_]](tl: Out[F, _], discovery: DiscoveryState[F])(implicit S: Stateful[G, ValidationState[F]], G: Monad[G]): G[Unit]

Attributes

Source
Validation.scala
def validateToplevel[F[_], G[_]](sel: Selectable[F, _], discovery: DiscoveryState[F])(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]

Attributes

Source
Validation.scala
def validateTypeName[F[_], G[_]](name: String)(implicit G: Monad[G], S: Stateful[G, ValidationState[F]]): G[Unit]

Attributes

Source
Validation.scala
Generated with