structure-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
structure-core/io.hireproof.structure/dsl

dsl

io.hireproof.structure.dsl$
object dsl

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
dsl.type

Members list

Concise view

Type members

Classlikes

final class EnumerationBuilder[A]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
object code

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
code.type
object collection

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object dictionary

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object error

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
error.type
object errors

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
errors.type
object header

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
header.type
object parameter

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object query

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
query.type

Value members

Concrete methods

def branch[A](name: String, schema: => Schema[A]): Branch[A]
def const[A](value: A): Product[A]
def endpoint[I, O](input: Input[I], output: Output[O]): Endpoint[I, O]
def field[A](name: String, schema: => Schema[A]): Field[A]
def get[A](url: Url[A]): Input[A]
def input[A](method: Method, url: Url[A]): Input[A]
def input[A, B](method: Method, url: Url[A], body: Schema[B]): Input[(A, B)]
def optional[A](schema: => Schema[A]): Optional[Option[A]]
def optional[A](header: Header[A]): Header[Option[A]]
def optional[A](query: Query[A]): Query[Option[A]]
def output[A](results: Results[A]): Output[A]
def output[A](result: Result[A]): Output[A]
def output[A, B](errors: Results[A], success: Result[B]): Output[Either[A, B]]
def post[A, B](url: Url[A], body: Schema[B]): Input[(A, B)]
def result(code: Code): Result[Unit]
def result[A](code: Code, body: Schema[A]): Result[A]

Concrete fields

val bigDecimal: Primitive[BigDecimal]
val bigInt: Primitive[BigInt]
val boolean: Primitive[Boolean]
val constraint: Sum[Constraint]
val double: Primitive[Double]
val empty: Product[Unit]
val float: Primitive[Float]
val history: Primitive[History]
val int: Primitive[Int]
val json: Any[Json]
val long: Primitive[Long]
val string: Primitive[String]
val url: Url[Unit]
val uuid: Primitive[UUID]
val violation: Sum[Violation]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL