gql-core
0.1-305cbf3
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

Members list

Concise view

Type members

Classlikes

object Error

Attributes

Companion:
trait
Source:
Validation.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Error.type
sealed trait Error

Attributes

Companion:
object
Source:
Validation.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
final case class Problem(error: Error, path: Cursor)

Attributes

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

Attributes

Source:
Validation.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any

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