gastronomy-core
API
Generated with
gastronomy-core/gastronomy/Digestible

Digestible

gastronomy.Digestible
See theDigestible companion trait
object Digestible extends Derivable[Digestible]

Attributes

Companion
trait
Experimental
true
Graph
Supertypes
trait Derivation[[self] =>> Digestible { type Self = self; }]
trait SumDerivationMethods[[self] =>> Digestible { type Self = self; }]
trait ProductDerivationMethods[[self] =>> Digestible { type Self = self; }]
class Object
trait Matchable
class Any
Show all
Self type
Digestible.type

Members list

Value members

Concrete methods

inline def join[derivation <: Product : ProductOf]: is[derivation, Digestible]
inline def split[derivation : SumOf]: is[derivation, Digestible]

Inherited methods

transparent inline def choice[derivation : SumOf]: Boolean

Attributes

Inherited from:
SumDerivationMethods
transparent inline protected def complement[derivation, variant](sum: derivation)(using variantIndex: Int & VariantIndex[variant], reflection: SumOf[derivation]): Optional[variant]

Attributes

Inherited from:
SumDerivationMethods
transparent inline protected def complement[derivation <: Product, field](product: derivation)(using fieldIndex: Int & FieldIndex[field], reflection: ProductOf[derivation], requirement: ContextRequirement): field

Attributes

Inherited from:
ProductDerivationMethods
transparent inline protected def construct[derivation <: Product](using reflection: ProductOf[derivation], requirement: ContextRequirement)(inline lambda: [field] => requirement.Optionality[Digestible { type Self = field; }] => (typeclass: requirement.Optionality[Digestible { type Self = field; }], default: Default[Optional[field]], label: Text, index: Int & FieldIndex[field]) ?=> field): derivation

Attributes

Inherited from:
ProductDerivationMethods
transparent inline protected def constructWith[constructor[_]](using requirement: ContextRequirement)[derivation <: Product](using reflection: ProductOf[derivation])(inline bind: [input, output] => constructor[input] => (input => constructor[output]) => constructor[output], inline pure: [monadic] => monadic => constructor[monadic], inline lambda: [field] => requirement.Optionality[Digestible { type Self = field; }] => (typeclass: requirement.Optionality[Digestible { type Self = field; }], default: Default[Optional[field]], label: Text, index: Int & FieldIndex[field]) ?=> constructor[field]): constructor[derivation]

Attributes

Inherited from:
ProductDerivationMethods
transparent inline protected def contexts[derivation <: Product](using reflection: ProductOf[derivation], requirement: ContextRequirement)[result](inline lambda: [field] => requirement.Optionality[Digestible { type Self = field; }] => (typeclass: requirement.Optionality[Digestible { type Self = field; }], default: Default[Optional[field]], label: Text, dereference: derivation => field, index: Int & FieldIndex[field]) ?=> result): IArray[result]

Attributes

Inherited from:
ProductDerivationMethods
transparent inline protected def delegate[derivation](label: Text)(using reflection: SumOf[derivation], requirement: ContextRequirement)[result](inline lambda: [variant <: derivation] => requirement.Optionality[Digestible { type Self = variant; }] => (context: requirement.Optionality[Digestible { type Self = variant; }], label: Text, index: Int & VariantIndex[variant]) ?=> result): result

Attributes

Inherited from:
SumDerivationMethods
transparent inline protected def fields[derivation <: Product](inline product: derivation)(using requirement: ContextRequirement)(using reflection: ProductOf[derivation])[result](inline lambda: [field] => field => (context: requirement.Optionality[Digestible { type Self = field; }], default: Default[Optional[field]], label: Text, index: Int & FieldIndex[field]) ?=> result): IArray[result]

Attributes

Inherited from:
ProductDerivationMethods
transparent inline protected def singleton[derivation](input: Text)(using reflection: SumOf[derivation]): derivation

Attributes

Inherited from:
SumDerivationMethods
inline def singleton[derivation](using reflection: Of[derivation]): Boolean

Attributes

Inherited from:
ProductDerivationMethods
inline def tuple[derivation](using reflection: Of[derivation]): Boolean

Attributes

Inherited from:
ProductDerivationMethods
inline def typeName[derivation](using reflection: Of[derivation]): Text

Attributes

Inherited from:
ProductDerivationMethods
transparent inline protected def variant[derivation](sum: derivation)(using reflection: SumOf[derivation], requirement: ContextRequirement)[result](inline lambda: [variant <: derivation] => variant => (context: requirement.Optionality[Digestible { type Self = variant; }], label: Text, index: Int & VariantIndex[variant]) ?=> result): result

Attributes

Inherited from:
SumDerivationMethods
inline protected def variantLabels[derivation](using reflection: SumOf[derivation]): List[Text]

Attributes

Inherited from:
SumDerivationMethods

Deprecated and Inherited methods

transparent inline def allSingletons[derivation : SumOf]: Boolean

Attributes

Deprecated
true
Inherited from:
SumDerivationMethods

Givens

Givens

given boolean: is[Boolean, Digestible]
given byte: is[Byte, Digestible]
given bytes: is[Bytes, Digestible]
given char: is[Char, Digestible]
given digest: is[Digest, Digestible]
given double: is[Double, Digestible]
given encodable[value](using evidence$1: in[Encodable, Bytes] { type Self = value; }): is[value, Digestible]
given float: is[Float, Digestible]
given int: is[Int, Digestible]
given iterable[collection <: Iterable, value](using evidence$1: Digestible { type Self = value; }): is[collection[value], Digestible]
given long: is[Long, Digestible]
given map[digestible, digestible2](using evidence$1: Digestible { type Self = digestible; }, evidence$2: Digestible { type Self = digestible2; }): is[Map[digestible, digestible2], Digestible]
given optional[digestible](using evidence$1: Digestible { type Self = digestible; }, NotGiven[Unset.type <:< digestible]): is[Optional[digestible], Digestible]
given short: is[Short, Digestible]
given stream[value](using evidence$1: Digestible { type Self = value; }): is[LazyList[value], Digestible]
given text: is[Text, Digestible]

Inherited givens

inline given derived[derivation](using Of[derivation]): [self] =>> Digestible { type Self = self; }[derivation]

Attributes

Inherited from:
Derivation
Generated with