endpoints4s
Members list
Packages
Type members
Classlikes
Defines ways to transform a given type constructor F
Defines ways to transform a given type constructor F
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait PartialInvariantFunctor[F]
Provides extensions methods for values of type InvariantFunctor
Provides extensions methods for values of type InvariantFunctor
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
Type class that checks whether something is a multiple of another numeric value. Added since the std-lib Numeric does not have a modulo function.
Type class that checks whether something is a multiple of another numeric value. Added since the std-lib Numeric does not have a modulo function.
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
MultipleOf.type
Possible restrictions on the numeric value used. Needs an instance for Ordering
to check whether values are valid w.r.t. to the properties.
Possible restrictions on the numeric value used. Needs an instance for Ordering
to check whether values are valid w.r.t. to the properties.
Attributes
- Companion
- object
- Supertypes
-
trait Serializableclass Objecttrait Matchableclass Any
Attributes
- Companion
- class
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
NumericConstraints.type
Given a type constructor F
, a partial function A => Validated[B]
and a total function B => A
, turns an F[A]
into an F[B]
.
Given a type constructor F
, a partial function A => Validated[B]
and a total function B => A
, turns an F[A]
into an F[B]
.
A partial invariant functor is an invariant functor whose covariant transformation function is total (ie, A => Valid[B]
).
Attributes
- Supertypes
Provides extension methods for values of type PartialInvariantFunctor
Provides extension methods for values of type PartialInvariantFunctor
Attributes
- Supertypes
- Known subtypes
-
trait JsonSchemastrait NoDocsJsonSchemas
Defines a strategy for tupling A
and B
values, according to types A
and B
.
Defines a strategy for tupling A
and B
values, according to types A
and B
.
The actual implementation avoids nested tuples and eliminates Unit
, so that instead of ending with, e.g., the following type:
((Unit, Int), (((Unit, Unit), String)))
We just get:
(Int, String)
The following rules are implemented (by increasing priority):
- A, B -> (A, B)
- A, (B, C) -> (A, B, C)
- (A, B), C -> (A, B, C)
- A, (B, C, D) -> (A, B, C, D)
- (A, B), (C, D) -> (A, B, C, D)
- A, (B, C, D, E) -> (A, B, C, D, E)
- (A, B), (C, D, E) -> (A, B, C, D, E)
- (A, B, C), D -> (A, B, C, D)
- (A, B, C, D), E -> (A, B, C, D, E)
- (A, B, C, D, E), F -> (A, B, C, D, E, F)
- A, Unit -> A
- Unit, A -> A
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
Generated trait that provides Tupler instances for appending to tuples from 3 to 21 elements