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

io.hireproof.structure

package io.hireproof.structure

Members list

Concise view

Type members

Classlikes

final case class Authorization[A, B](token: A, payload: B)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Authorization

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
abstract class AuthorizedClient[F[_]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
abstract class AuthorizedContextProvider[F[_], Context[_[_], _], T]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
final case class Branch[A](name: String, schema: Eval[Schema[A]]) extends Sum[A]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Sum[A]
trait Structure[A]
class Object
trait Matchable
class Any
object Branch

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Branch.type
abstract class Client[F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Client

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Client.type
final case class Code(value: Int) extends AnyVal

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
object Code

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Code.type
abstract class ContextProvider[F[_], UnauthorizedContext[_[_], _], AuthorizedContext[_[_], _], T]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object ContextProvider

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
abstract class Delimiter

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Delimiter

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed abstract class Discriminator extends Product with Serializable

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
class Merged
class Nested
object Discriminator

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class Endpoint[I, O](input: Input[I], output: Output[O])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Endpoint

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed abstract class Errors extends Throwable

Attributes

Companion:
object
Graph
Supertypes
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
class Failures
object Errors

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Errors.type
object Evidence

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait EvidenceProductInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Product.type
trait EvidenceSumInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Sum.type
final case class Field[A](name: String, schema: Eval[Schema[A]]) extends Product[A]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Product[A]
trait Structure[A]
class Object
trait Matchable
class Any
object Field

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Field.type
final case class Header[A](name: CIString, schema: Eval[Schema[A]]) extends Product[A]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Product[A]
trait Structure[A]
class Object
trait Matchable
class Any
Self type
object Header

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Header.type
sealed abstract class Headers[A] extends Product[A]

Attributes

Companion:
object
Graph
Supertypes
trait Product[A]
trait Structure[A]
class Object
trait Matchable
class Any
Self type
object Headers

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Headers.type
sealed abstract class Input[A](val method: Method, val url: Url[_], val headers: Headers[_], val body: Option[Schema[_]]) extends Structure[A]

Attributes

Companion:
object
Graph
Supertypes
trait Structure[A]
class Object
trait Matchable
class Any
Self type
object Input

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Input.type
final case class Method(value: String) extends AnyVal

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
object Method

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Method.type
final case class Output[A](results: Results[A], errors: Results[Errors]) extends Structure[A]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Structure[A]
class Object
trait Matchable
class Any
object Output

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Output.type
final case class Parameter[A](name: String, schema: Eval[Value[A]]) extends Structure[A]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Structure[A]
class Object
trait Matchable
class Any
object Parameter

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed abstract class Path[A] extends Product[A]

Attributes

Companion:
object
Graph
Supertypes
trait Product[A]
trait Structure[A]
class Object
trait Matchable
class Any
Self type
Path[A]
object Path

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Path.type
sealed abstract class Queries[A] extends Product[A]

Attributes

Companion:
object
Graph
Supertypes
trait Product[A]
trait Structure[A]
class Object
trait Matchable
class Any
Self type
object Queries

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Queries.type
final case class Query[A](name: String, schema: Eval[Schema[A]]) extends Product[A]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Product[A]
trait Structure[A]
class Object
trait Matchable
class Any
object Query

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Query.type
final case class Request(method: Method, path: Chain[String], queries: Chain[(String, String)], headers: Chain[(CIString, String)], body: Option[Json])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class Response(code: Code, headers: Chain[(CIString, String)], body: Option[Json])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class Routes[F[_]]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Routes

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Routes.type
sealed abstract class Schema[A] extends Structure[A]

Attributes

Companion:
object
Graph
Supertypes
trait Structure[A]
class Object
trait Matchable
class Any
Known subtypes
class Optional[A]
class Value[A]
class Any[A]
class Collection[A]
class Dictionary[A]
class Enumeration[A]
class Primitive[A]
class Product[A]
class Sum[A]
object Schema

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Schema.type
trait Structure[A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Input[A]
class Output[A]
class Parameter[A]
class Schema[A]
class Optional[A]
class Value[A]
class Any[A]
class Collection[A]
class Dictionary[A]
class Enumeration[A]
class Primitive[A]
class Product[A]
class Sum[A]
trait Product[A]
class Field[A]
class Header[A]
class Headers[A]
class Path[A]
class Queries[A]
class Query[A]
trait Sum[A]
class Branch[A]
class Result[A]
class Results[A]
class Url[A]
object Structure

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed abstract class Type extends Product with Serializable

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
object Boolean.type
object Integer.type
object Number.type
object String.type
object Type

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Type.type
abstract class UnauthorizedClient[F[_]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
abstract class UnauthorizedContextProvider[F[_], Context[_[_], _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
sealed abstract class Url[A] extends Structure[A]

Attributes

Companion:
object
Graph
Supertypes
trait Structure[A]
class Object
trait Matchable
class Any
Self type
Url[A]
object Url

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Url.type
object dsl

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
dsl.type
object |*|

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
|*|.type
object |+|

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
|+|.type

Types

type |*|[+A, +B] = (A, B)
type |+|[+A, +B] = Either[A, B]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL