core
API
Generated with
core/org.hungerford.generic.schema.types

org.hungerford.generic.schema.types

package org.hungerford.generic.schema.types

Members list

Concise view

Type members

Classlikes

trait Contains[As <: Tuple, B]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CtxWrapTuplesConstraint[F[_], Rt <: Tuple, RVt <: Tuple]()

Type class witness that every element in one hlist has type of the corresponding element in another hlist wrapped in some context type. E.g., List[Int] *: List[Double] *: List[String] *: EmptyTuple corresponds to Int *: Double *: String *: EmptyTuple

Type class witness that every element in one hlist has type of the corresponding element in another hlist wrapped in some context type. E.g., List[Int] *: List[Double] *: List[String] *: EmptyTuple corresponds to Int *: Double *: String *: EmptyTuple

Attributes

F

context type

RVt

hlist of value types

Rt

hlist of context types

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Deriver[From]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Deriver.type
trait ExistsFor[TC[_], T]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Extractor[Source, Target, Using]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait HasValidate

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Validation.type
trait Injector[T, Target, Using]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait IntEquiv[I <: Int]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object eq0.type
object eq1.type
object eq10.type
object eq11.type
object eq12.type
object eq13.type
object eq14.type
object eq15.type
object eq16.type
object eq17.type
object eq18.type
object eq19.type
object eq2.type
object eq20.type
object eq21.type
object eq22.type
object eq3.type
object eq4.type
object eq5.type
object eq6.type
object eq7.type
object eq8.type
object eq9.type
object IntEquiv

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Last[R <: Tuple]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Last.type
trait LowPriorityNotInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Not.type
trait LowPriorityProviders

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Provider.type
trait LowPriorityRemovers

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Remover.type
trait LowPriorityReplacers

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Replacer.type
trait LowPriorityRetrievers

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Retriever.type
trait Minus[A <: Nat, B <: Nat]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Minus.type
sealed trait Nat

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Succ[N]
trait _0
object Nat

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Nat.type
sealed trait Not[T]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Not extends LowPriorityNotInstances

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Not.type
trait Of[X, T]

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Of.type
trait OfName[X, N <: String & Singleton]

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
OfName.type
trait OfShape[X, T, S, OuterT]

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
OfShape.type
trait Partition[Condition[_], R <: Tuple]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Plus[A <: Nat, B <: Nat]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Plus.type
trait Provider[T]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Provider extends LowPriorityProviders

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Remover[I, R <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Remover extends LowPriorityRemovers

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Remover.type
trait Replacer[I, R <: Tuple, New]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Replacer extends LowPriorityReplacers

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Retriever[I, R <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Retriever extends LowPriorityRetrievers

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait SimpleExtractor[Source, Using]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Size[Tp <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object emptySize.type
object Size

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Size.type
sealed trait Sub[A, B]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Sub.type
trait Translator[T]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait TypeName[T]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait TypeNames[T <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object empty.type
object TypeNames

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Validation[T, C]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Validation extends Validation1

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Validation1 extends HasValidate

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Validation.type
sealed trait Zipper[A, B]()

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Zipper.type
Generated with