From 71a79dbfba00b6927d4d9218bd8f22d9e59b2a8c Mon Sep 17 00:00:00 2001 From: Iltotore Date: Tue, 13 Jul 2021 14:21:06 +0200 Subject: [PATCH] docs: Add new modules to full scaladoc --- build.sc | 5 +- docs/scaladoc/api/index.html | 4 +- .../scaladoc/api/io/github/iltotore/iron.html | 17 +++- .../io/github/iltotore/iron/Constrained$.html | 4 +- .../iltotore/iron/Main$$DummyCompileTime.html | 19 +++++ .../iltotore/iron/Main$$DummyRuntime.html | 19 +++++ ...ileTimeOnly_Boolean_DummyCompileTime$.html | 10 +++ ...ven_RuntimeOnly_Boolean_DummyRuntime$.html | 10 +++ .../api/io/github/iltotore/iron/Main$.html | 4 +- .../io/github/iltotore/iron/compileTime$.html | 4 +- .../io/github/iltotore/iron/constraint.html | 39 ++++++--- .../github/iltotore/iron/constraint/And.html | 23 ++++++ .../iron/constraint/AndConstraint.html | 26 ++++++ .../Constraint$$CompileTimeOnly.html | 30 +++++++ .../constraint/Constraint$$RuntimeOnly.html | 30 +++++++ .../iltotore/iron/constraint/Constraint$.html | 19 +++++ .../iltotore/iron/constraint/Constraint.html | 30 +++++-- .../iltotore/iron/constraint/Equal.html | 22 +++++ .../iron/constraint/EqualConstraint.html | 26 ++++++ .../iron/constraint/IllegalValueError.html | 40 ++++++++++ .../github/iltotore/iron/constraint/Not.html | 22 +++++ .../iron/constraint/NotConstraint.html | 26 ++++++ .../github/iltotore/iron/constraint/Or.html | 23 ++++++ .../iron/constraint/OrConstraint.html | 26 ++++++ .../iltotore/iron/constraint/StrictEqual.html | 21 +++++ .../constraint/StrictEqualConstraint.html | 26 ++++++ .../api/io/github/iltotore/iron/iterable.html | 6 ++ .../iron/iterable/constraint$$Contains.html | 21 +++++ .../iron/iterable/constraint$$MaxSize.html | 21 +++++ .../iron/iterable/constraint$$MinSize.html | 21 +++++ .../iron/iterable/constraint$$Size.html | 21 +++++ ...straint$$given_RuntimeOnly_A_Contains.html | 10 +++ ...nstraint$$given_RuntimeOnly_A_MaxSize.html | 10 +++ ...nstraint$$given_RuntimeOnly_A_MinSize.html | 10 +++ .../constraint$$given_RuntimeOnly_A_Size.html | 10 +++ .../iltotore/iron/iterable/constraint$.html | 27 +++++++ .../api/io/github/iltotore/iron/numeric.html | 2 +- .../github/iltotore/iron/numeric/Main$.html | 4 +- .../iron/numeric/NumberOrdering$.html | 6 +- .../iron/numeric/constraint$$Divisible.html | 2 +- .../constraint$$DivisibleConstraint.html | 2 +- .../iron/numeric/constraint$$Greater.html | 2 +- .../constraint$$GreaterConstraint.html | 2 +- .../numeric/constraint$$GreaterEqual.html | 2 +- .../constraint$$GreaterEqualConstraint.html | 2 +- .../iron/numeric/constraint$$Less.html | 2 +- .../numeric/constraint$$LessConstraint.html | 2 +- .../iron/numeric/constraint$$LessEqual.html | 2 +- .../constraint$$LessEqualConstraint.html | 2 +- .../iltotore/iron/numeric/constraint$.html | 2 +- .../io/github/iltotore/iron/numeric/test.html | 2 +- .../api/io/github/iltotore/iron/ordering.html | 2 +- .../InlinedOrdering$$given_Ordering_T.html | 2 +- .../iron/ordering/InlinedOrdering$.html | 2 +- .../iron/ordering/InlinedOrdering.html | 6 +- .../api/io/github/iltotore/iron/string.html | 6 ++ .../iron/string/constraint$$LowerCase.html | 21 +++++ .../iron/string/constraint$$Match.html | 22 +++++ .../iron/string/constraint$$UpperCase.html | 21 +++++ ...$$given_RuntimeOnly_String_LowerCase$.html | 10 +++ ...raint$$given_RuntimeOnly_String_Match.html | 10 +++ ...$$given_RuntimeOnly_String_UpperCase$.html | 10 +++ .../iltotore/iron/string/constraint$.html | 26 ++++++ .../api/io/github/iltotore/iron/testMain.html | 19 +++++ docs/scaladoc/index.html | 2 +- docs/scaladoc/scripts/searchData.js | 80 +++++++++++++++++-- 66 files changed, 895 insertions(+), 62 deletions(-) create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/Main$$DummyCompileTime.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/Main$$DummyRuntime.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/Main$$given_CompileTimeOnly_Boolean_DummyCompileTime$.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/Main$$given_RuntimeOnly_Boolean_DummyRuntime$.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/And.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/AndConstraint.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$$CompileTimeOnly.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$$RuntimeOnly.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/Equal.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/EqualConstraint.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/IllegalValueError.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/Not.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/NotConstraint.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/Or.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/OrConstraint.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/StrictEqual.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/constraint/StrictEqualConstraint.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$Contains.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$MaxSize.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$MinSize.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$Size.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Contains.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MaxSize.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MinSize.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Size.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/string.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$LowerCase.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$Match.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$UpperCase.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_LowerCase$.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_Match.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_UpperCase$.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/string/constraint$.html create mode 100644 docs/scaladoc/api/io/github/iltotore/iron/testMain.html diff --git a/build.sc b/build.sc index a945fdc3..c0bb2356 100644 --- a/build.sc +++ b/build.sc @@ -48,7 +48,10 @@ object main extends ScalaModule with PublishModule { def docSources = T.sources(pwd / "extra") def scaladocFiles = T { - os.walk(compile().classes.path) ++ os.walk(numeric.compile().classes.path) + os.walk(compile().classes.path) ++ + os.walk(numeric.compile().classes.path) ++ + os.walk(string.compile().classes.path) ++ + os.walk(iterable.compile().classes.path) } //Rewrite of Mill's docJar to support custom scaladoc source diff --git a/docs/scaladoc/api/index.html b/docs/scaladoc/api/index.html index 746c7c59..c806f766 100644 --- a/docs/scaladoc/api/index.html +++ b/docs/scaladoc/api/index.html @@ -1,6 +1,6 @@ -API
\ No newline at end of file +

Packages

package io.github.iltotore.iron
package io.github.iltotore.iron.constraint
package io.github.iltotore.iron.iterable
package io.github.iltotore.iron.numeric
package io.github.iltotore.iron.ordering
package io.github.iltotore.iron.string
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron.html b/docs/scaladoc/api/io/github/iltotore/iron.html index bc68d2c2..5dd3c0c6 100644 --- a/docs/scaladoc/api/io/github/iltotore/iron.html +++ b/docs/scaladoc/api/io/github/iltotore/iron.html @@ -1,10 +1,19 @@ -io.github.iltotore.iron
iron/API/io.github.iltotore.iron

io.github.iltotore.iron

package io.github.iltotore.iron

Type members

Classlikes

object Constrained
object Main
object compileTime

Types

type ==>[A, B] = Constrained[A, B]
opaque type Constrained[A, B]

An opaque alias of A marked as "checked".

-

An opaque alias of A marked as "checked".

+

Type members

Classlikes

object Constrained
object Main
object compileTime
final class testMain

Types

type ==>[A, B] = Constrained[A, B]
opaque type Constrained[A, B]

An alias of Refined marked as "checked".

+

An alias of Refined marked as "checked".

Type Params
A

the input/raw type

B

the passed constraint's dummy

-
\ No newline at end of file +
type Refined[A] = Either[IllegalValueError[A], A]

Alias for Either[IllegalValueError[A], A], used as constraint result.

+

Alias for Either[IllegalValueError[A], A], used as constraint result.

+
Type Params
A

the input type

+

Implicits

Implicits

implicit def constrainedToValue[A, B](constrained: Constrained[A, B]): Refined[A]

Implicit conversion from Constrained[A, B] to its shadowed type

+

Implicit conversion from Constrained[A, B] to its shadowed type

+
Type Params
A

the input type

+
B

the constraint's dummy

+
Value Params
constrained

the Constrained to be cast from

+
Returns

the Constrained as Refined[A]

+
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/Constrained$.html b/docs/scaladoc/api/io/github/iltotore/iron/Constrained$.html index d4cf82ca..11a4077b 100644 --- a/docs/scaladoc/api/io/github/iltotore/iron/Constrained$.html +++ b/docs/scaladoc/api/io/github/iltotore/iron/Constrained$.html @@ -1,4 +1,4 @@ -Constrained
iron/API/io.github.iltotore.iron/Constrained

Constrained

object Constrained
iron/API/io.github.iltotore.iron/Constrained

Constrained

object Constrained
iron/API/io.github.iltotore.iron/Main/DummyCompileTime

DummyCompileTime

trait DummyCompileTime
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/Main$$DummyRuntime.html b/docs/scaladoc/api/io/github/iltotore/iron/Main$$DummyRuntime.html new file mode 100644 index 00000000..e6cd79e1 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/Main$$DummyRuntime.html @@ -0,0 +1,19 @@ +DummyRuntime
iron/API/io.github.iltotore.iron/Main/DummyRuntime

DummyRuntime

trait DummyRuntime
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/Main$$given_CompileTimeOnly_Boolean_DummyCompileTime$.html b/docs/scaladoc/api/io/github/iltotore/iron/Main$$given_CompileTimeOnly_Boolean_DummyCompileTime$.html new file mode 100644 index 00000000..41f28320 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/Main$$given_CompileTimeOnly_Boolean_DummyCompileTime$.html @@ -0,0 +1,10 @@ +given_CompileTimeOnly_Boolean_DummyCompileTime
iron/API/io.github.iltotore.iron/Main/given_CompileTimeOnly_Boolean_DummyCompileTime

given_CompileTimeOnly_Boolean_DummyCompileTime

given given_CompileTimeOnly_Boolean_DummyCompileTime: CompileTimeOnly[Boolean, DummyCompileTime]

Value members

Concrete methods

inline override def assert(value: Boolean): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: Boolean): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/Main$$given_RuntimeOnly_Boolean_DummyRuntime$.html b/docs/scaladoc/api/io/github/iltotore/iron/Main$$given_RuntimeOnly_Boolean_DummyRuntime$.html new file mode 100644 index 00000000..bbe80b9c --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/Main$$given_RuntimeOnly_Boolean_DummyRuntime$.html @@ -0,0 +1,10 @@ +given_RuntimeOnly_Boolean_DummyRuntime
iron/API/io.github.iltotore.iron/Main/given_RuntimeOnly_Boolean_DummyRuntime

given_RuntimeOnly_Boolean_DummyRuntime

given given_RuntimeOnly_Boolean_DummyRuntime: RuntimeOnly[Boolean, DummyRuntime]

Value members

Concrete methods

inline override def assert(value: Boolean): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: Boolean): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/Main$.html b/docs/scaladoc/api/io/github/iltotore/iron/Main$.html index fb9a53bf..5ec5a82e 100644 --- a/docs/scaladoc/api/io/github/iltotore/iron/Main$.html +++ b/docs/scaladoc/api/io/github/iltotore/iron/Main$.html @@ -1,4 +1,4 @@ -Main
iron/API/io.github.iltotore.iron/Main

Main

object Main
iron/API/io.github.iltotore.iron/Main

Main

object Main
iron/API/io.github.iltotore.iron/compileTime

compileTime

object compileTime
iron/API/io.github.iltotore.iron/compileTime

compileTime

object compileTime
iron/API/io.github.iltotore.iron.constraint

io.github.iltotore.iron.constraint

package io.github.iltotore.iron.constraint

Type members

Classlikes

trait Constraint[A, B]

Represents the constraint associated to an input value and a dummy type.

+

Type members

Classlikes

trait And[B, C]

Constraint: checks if the value pass both B and C. Acts like a boolean AND.

+

Constraint: checks if the value pass both B and C. Acts like a boolean AND.

+
Type Params
B

the first constraint's dummy

+
C

the second constraint's dummy

+
class AndConstraint[A, B, C, CB <: Constraint[A, B], CC <: Constraint[A, C]](using left: CB, right: CC) extends Constraint[A, And[B, C]]
trait Constraint[A, B]

Represents the constraint associated to an input value and a dummy type.

Represents the constraint associated to an input value and a dummy type.

Type Params
A

the input type

B

the constraint's dummy

-

Implicits

Implicits

implicit inline def constrainedToValue[A, B](constrained: Constrained[A, B]): A

Implicit conversion from Constrained[A, B] to its shadowed type

-

Implicit conversion from Constrained[A, B] to its shadowed type

+
Companion
object
object Constraint
Companion
class
trait Equal[V]

Constraint: checks if the input value equals (using Any#equals) to V.

+

Constraint: checks if the input value equals (using Any#equals) to V.

+
Note

This constraint is runtime-only

+
class EqualConstraint[A, V <: A] extends Constraint[A, Equal[V]]
case class IllegalValueError[A](input: A, constraint: Constraint[A, _]) extends Error

Represents a type-level assertion failure.

+

Represents a type-level assertion failure.

Type Params
A

the input type

-
B

the constraint's dummy

-
Value Params
constrained

the Constrained to be cast from

-
Returns

constrained as A

-
implicit inline def valueToConstrained[A, B](value: A)(using inline constraint: Constraint[A, B]): Constrained[A, B]

Implicit assertion check

+
Value Params
constraint

the type constraint applied to input

+
input

the invalid value

+
trait Not[B]

Constraint: checks if the input value doesn't pass B's constraint.

+

Constraint: checks if the input value doesn't pass B's constraint.

+
Type Params
B

the reversed constraint's dummy

+
class NotConstraint[A, B, C <: Constraint[A, B]](using constraint: C) extends Constraint[A, Not[B]]
trait Or[B, C]

Constraint: checks if the value pass B or C. Acts like a boolean OR.

+

Constraint: checks if the value pass B or C. Acts like a boolean OR.

+
Type Params
B

the first constraint's dummy

+
C

the second constraint's dummy

+
class OrConstraint[A, B, C, CB <: Constraint[A, B], CC <: Constraint[A, C]](using left: CB, right: CC) extends Constraint[A, Or[B, C]]
trait StrictEqual[V]

Constraint: checks if the input value strictly equals to V.

+

Constraint: checks if the input value strictly equals to V.

+
class StrictEqualConstraint[A, V <: A] extends Constraint[A, StrictEqual[V]]

Types

type &&[B, C] = And[B, C]
type ==[A, V] = Constrained[A, StrictEqual[V]]
type \[A, V] = Constrained[A, Not[StrictEqual[V]]]
type ||[B, C] = Or[B, C]

Givens

Givens

Extensions

Extensions

extension (a: A)
def refined[A](using Constraint[A, B]): Constrained[A, B]

Ensure that a passes B's constraint

+

Ensure that a passes B's constraint

+
Type Params
B

the constraint's dummy

+
Returns

the value as Constrained

+
See also

Implicits

Implicits

implicit inline def refineValue[A, B, C <: Constraint[A, B]](value: A)(using inline constraint: C): Constrained[A, B]

Implicit assertion check

Implicit assertion check

Type Params
A

the input type

B

the constraint's dummy

Value Params
constraint

the applied type constraint

value

the value passed to the assertion

Returns

the value as Constrained (meaning "asserted value")

-
\ No newline at end of file +
Note

Due to a type inference bug of Scala 3, constrainedToValue was moved to the package object.

+
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/And.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/And.html new file mode 100644 index 00000000..1458c599 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/And.html @@ -0,0 +1,23 @@ +And
iron/API/io.github.iltotore.iron.constraint/And

And

trait And[B, C]

Constraint: checks if the value pass both B and C. Acts like a boolean AND.

+

Constraint: checks if the value pass both B and C. Acts like a boolean AND.

+
Type Params
B

the first constraint's dummy

+
C

the second constraint's dummy

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/AndConstraint.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/AndConstraint.html new file mode 100644 index 00000000..141d5e07 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/AndConstraint.html @@ -0,0 +1,26 @@ +AndConstraint
iron/API/io.github.iltotore.iron.constraint/AndConstraint

AndConstraint

class AndConstraint[A, B, C, CB <: Constraint[A, B], CC <: Constraint[A, C]](using left: CB, right: CC) extends Constraint[A, And[B, C]]
trait Constraint[A, And[B, C]]
class Object
trait Matchable
class Any

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$$CompileTimeOnly.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$$CompileTimeOnly.html new file mode 100644 index 00000000..30f462b9 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$$CompileTimeOnly.html @@ -0,0 +1,30 @@ +CompileTimeOnly
iron/API/io.github.iltotore.iron.constraint/Constraint/CompileTimeOnly

CompileTimeOnly

trait CompileTimeOnly[A, B] extends Constraint[A, B]
trait Constraint[A, B]
class Object
trait Matchable
class Any

Value members

Inherited methods

inline def assert(value: A): Boolean

Asserts the given value.

+

Asserts the given value.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$$RuntimeOnly.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$$RuntimeOnly.html new file mode 100644 index 00000000..a2edc632 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$$RuntimeOnly.html @@ -0,0 +1,30 @@ +RuntimeOnly
iron/API/io.github.iltotore.iron.constraint/Constraint/RuntimeOnly

RuntimeOnly

trait RuntimeOnly[A, B] extends Constraint[A, B]
trait Constraint[A, B]
class Object
trait Matchable
class Any

Value members

Inherited methods

inline def assert(value: A): Boolean

Asserts the given value.

+

Asserts the given value.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$.html new file mode 100644 index 00000000..f3a35229 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint$.html @@ -0,0 +1,19 @@ +Constraint
iron/API/io.github.iltotore.iron.constraint/Constraint

Constraint

object Constraint
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

trait CompileTimeOnly[A, B] extends Constraint[A, B]
trait RuntimeOnly[A, B] extends Constraint[A, B]
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint.html index bd579ede..e61eadc1 100644 --- a/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint.html +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Constraint.html @@ -1,16 +1,23 @@ -Constraint
iron/API/io.github.iltotore.iron.constraint/Constraint

Constraint

trait Constraint[A, B]

Represents the constraint associated to an input value and a dummy type.

+Constraint
iron/API/io.github.iltotore.iron.constraint/Constraint

Constraint

trait Constraint[A, B]

Represents the constraint associated to an input value and a dummy type.

Represents the constraint associated to an input value and a dummy type.

Type Params
A

the input type

B

the constraint's dummy

-
class Object
trait Matchable
class Any
class LessConstraint[A, V]
class GreaterConstraint[A, V]
class Object
trait Matchable
class Any
class AndConstraint[A, B, C, CB, CC]
trait RuntimeOnly[A, B]
trait CompileTimeOnly[A, B]
class EqualConstraint[A, V]
class NotConstraint[A, B, C]
class OrConstraint[A, B, C, CB, CC]
class LessConstraint[A, V]
class GreaterConstraint[A, V]
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/EqualConstraint.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/EqualConstraint.html new file mode 100644 index 00000000..ca584966 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/EqualConstraint.html @@ -0,0 +1,26 @@ +EqualConstraint
iron/API/io.github.iltotore.iron.constraint/EqualConstraint

EqualConstraint

class EqualConstraint[A, V <: A] extends Constraint[A, Equal[V]]
trait Constraint[A, Equal[V]]
class Object
trait Matchable
class Any

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/IllegalValueError.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/IllegalValueError.html new file mode 100644 index 00000000..5b4b8267 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/IllegalValueError.html @@ -0,0 +1,40 @@ +IllegalValueError
iron/API/io.github.iltotore.iron.constraint/IllegalValueError

IllegalValueError

case class IllegalValueError[A](input: A, constraint: Constraint[A, _]) extends Error

Represents a type-level assertion failure.

+

Represents a type-level assertion failure.

+
Type Params
A

the input type

+
Value Params
constraint

the type constraint applied to input

+
input

the invalid value

+
trait Product
trait Equals
class Error
class Throwable
trait Serializable
class Object
trait Matchable
class Any

Value members

Inherited methods

final def addSuppressed(`x$0`: Throwable): Unit
Inherited from
Throwable
def fillInStackTrace(): Throwable
Inherited from
Throwable
def getCause(): Throwable
Inherited from
Throwable
def getLocalizedMessage(): String
Inherited from
Throwable
def getMessage(): String
Inherited from
Throwable
def getStackTrace(): Array[StackTraceElement]
Inherited from
Throwable
final def getSuppressed(): Array[Throwable]
Inherited from
Throwable
def initCause(`x$0`: Throwable): Throwable
Inherited from
Throwable
def printStackTrace(`x$0`: PrintWriter): Unit
Inherited from
Throwable
def printStackTrace(`x$0`: PrintStream): Unit
Inherited from
Throwable
def printStackTrace(): Unit
Inherited from
Throwable
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
def setStackTrace(`x$0`: Array[StackTraceElement]): Unit
Inherited from
Throwable
def toString(): String
Inherited from
Throwable
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/Not.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Not.html new file mode 100644 index 00000000..4f5b7862 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Not.html @@ -0,0 +1,22 @@ +Not
iron/API/io.github.iltotore.iron.constraint/Not

Not

trait Not[B]

Constraint: checks if the input value doesn't pass B's constraint.

+

Constraint: checks if the input value doesn't pass B's constraint.

+
Type Params
B

the reversed constraint's dummy

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/NotConstraint.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/NotConstraint.html new file mode 100644 index 00000000..c8eeb4bd --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/NotConstraint.html @@ -0,0 +1,26 @@ +NotConstraint
iron/API/io.github.iltotore.iron.constraint/NotConstraint

NotConstraint

class NotConstraint[A, B, C <: Constraint[A, B]](using constraint: C) extends Constraint[A, Not[B]]
trait Constraint[A, Not[B]]
class Object
trait Matchable
class Any

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/Or.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Or.html new file mode 100644 index 00000000..47c0a6d8 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/Or.html @@ -0,0 +1,23 @@ +Or
iron/API/io.github.iltotore.iron.constraint/Or

Or

trait Or[B, C]

Constraint: checks if the value pass B or C. Acts like a boolean OR.

+

Constraint: checks if the value pass B or C. Acts like a boolean OR.

+
Type Params
B

the first constraint's dummy

+
C

the second constraint's dummy

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/OrConstraint.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/OrConstraint.html new file mode 100644 index 00000000..2caf454f --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/OrConstraint.html @@ -0,0 +1,26 @@ +OrConstraint
iron/API/io.github.iltotore.iron.constraint/OrConstraint

OrConstraint

class OrConstraint[A, B, C, CB <: Constraint[A, B], CC <: Constraint[A, C]](using left: CB, right: CC) extends Constraint[A, Or[B, C]]
trait Constraint[A, Or[B, C]]
class Object
trait Matchable
class Any

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/StrictEqual.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/StrictEqual.html new file mode 100644 index 00000000..af987638 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/StrictEqual.html @@ -0,0 +1,21 @@ +StrictEqual
iron/API/io.github.iltotore.iron.constraint/StrictEqual

StrictEqual

trait StrictEqual[V]

Constraint: checks if the input value strictly equals to V.

+

Constraint: checks if the input value strictly equals to V.

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/constraint/StrictEqualConstraint.html b/docs/scaladoc/api/io/github/iltotore/iron/constraint/StrictEqualConstraint.html new file mode 100644 index 00000000..8e696d39 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/constraint/StrictEqualConstraint.html @@ -0,0 +1,26 @@ +StrictEqualConstraint
iron/API/io.github.iltotore.iron.constraint/StrictEqualConstraint

StrictEqualConstraint

class StrictEqualConstraint[A, V <: A] extends Constraint[A, StrictEqual[V]]
trait Constraint[A, StrictEqual[V]]
class Object
trait Matchable
class Any

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable.html new file mode 100644 index 00000000..5dfd5cf0 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable.html @@ -0,0 +1,6 @@ +io.github.iltotore.iron.iterable \ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$Contains.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$Contains.html new file mode 100644 index 00000000..f4f38a4c --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$Contains.html @@ -0,0 +1,21 @@ +Contains
iron/API/io.github.iltotore.iron.iterable/constraint/Contains

Contains

trait Contains[V]

Constraint: checks if the input contains V

+

Constraint: checks if the input contains V

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$MaxSize.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$MaxSize.html new file mode 100644 index 00000000..8932a6f9 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$MaxSize.html @@ -0,0 +1,21 @@ +MaxSize
iron/API/io.github.iltotore.iron.iterable/constraint/MaxSize

MaxSize

trait MaxSize[V]

Constraint: checks if the input has a size lesser or equal to V

+

Constraint: checks if the input has a size lesser or equal to V

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$MinSize.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$MinSize.html new file mode 100644 index 00000000..ebdcd192 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$MinSize.html @@ -0,0 +1,21 @@ +MinSize
iron/API/io.github.iltotore.iron.iterable/constraint/MinSize

MinSize

trait MinSize[V]

Constraint: checks if the input has a size greater or equal to V

+

Constraint: checks if the input has a size greater or equal to V

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$Size.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$Size.html new file mode 100644 index 00000000..d97983a6 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$Size.html @@ -0,0 +1,21 @@ +Size
iron/API/io.github.iltotore.iron.iterable/constraint/Size

Size

trait Size[V]

Constraint: checks if the input has a size of V

+

Constraint: checks if the input has a size of V

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Contains.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Contains.html new file mode 100644 index 00000000..dc1ebebc --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Contains.html @@ -0,0 +1,10 @@ +given_RuntimeOnly_A_Contains
iron/API/io.github.iltotore.iron.iterable/constraint/given_RuntimeOnly_A_Contains

given_RuntimeOnly_A_Contains

inline given given_RuntimeOnly_A_Contains[T, A <: Iterable[T], V <: T]: RuntimeOnly[A, Contains[V]]

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MaxSize.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MaxSize.html new file mode 100644 index 00000000..5873f6d7 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MaxSize.html @@ -0,0 +1,10 @@ +given_RuntimeOnly_A_MaxSize
iron/API/io.github.iltotore.iron.iterable/constraint/given_RuntimeOnly_A_MaxSize

given_RuntimeOnly_A_MaxSize

inline given given_RuntimeOnly_A_MaxSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MaxSize[V]]

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MinSize.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MinSize.html new file mode 100644 index 00000000..072091ac --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MinSize.html @@ -0,0 +1,10 @@ +given_RuntimeOnly_A_MinSize
iron/API/io.github.iltotore.iron.iterable/constraint/given_RuntimeOnly_A_MinSize

given_RuntimeOnly_A_MinSize

inline given given_RuntimeOnly_A_MinSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MinSize[V]]

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Size.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Size.html new file mode 100644 index 00000000..578aebf8 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Size.html @@ -0,0 +1,10 @@ +given_RuntimeOnly_A_Size
iron/API/io.github.iltotore.iron.iterable/constraint/given_RuntimeOnly_A_Size

given_RuntimeOnly_A_Size

inline given given_RuntimeOnly_A_Size[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, Size[V]]

Value members

Concrete methods

inline override def assert(value: A): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: A): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$.html b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$.html new file mode 100644 index 00000000..7e7cacd4 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/iterable/constraint$.html @@ -0,0 +1,27 @@ +constraint
iron/API/io.github.iltotore.iron.iterable/constraint

constraint

object constraint
class Object
trait Matchable
class Any

Type members

Classlikes

trait Contains[V]

Constraint: checks if the input contains V

+

Constraint: checks if the input contains V

+
trait MaxSize[V]

Constraint: checks if the input has a size lesser or equal to V

+

Constraint: checks if the input has a size lesser or equal to V

+
trait MinSize[V]

Constraint: checks if the input has a size greater or equal to V

+

Constraint: checks if the input has a size greater or equal to V

+
trait Size[V]

Constraint: checks if the input has a size of V

+

Constraint: checks if the input has a size of V

+

Types

type Empty = Size[0]

Givens

Givens

inline given given_RuntimeOnly_A_Contains[T, A <: Iterable[T], V <: T]: RuntimeOnly[A, Contains[V]]
inline given given_RuntimeOnly_A_MaxSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MaxSize[V]]
inline given given_RuntimeOnly_A_MinSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MinSize[V]]
inline given given_RuntimeOnly_A_Size[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, Size[V]]
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/numeric.html b/docs/scaladoc/api/io/github/iltotore/iron/numeric.html index 446e0393..31d89a88 100644 --- a/docs/scaladoc/api/io/github/iltotore/iron/numeric.html +++ b/docs/scaladoc/api/io/github/iltotore/iron/numeric.html @@ -1,4 +1,4 @@ -io.github.iltotore.iron.numeric
iron/API/io.github.iltotore.iron.numeric

io.github.iltotore.iron.numeric

package io.github.iltotore.iron.numeric
iron/API/io.github.iltotore.iron.numeric/Main

Main

object Main
iron/API/io.github.iltotore.iron.numeric/NumberOrdering

NumberOrdering

object NumberOrdering extends InlinedOrdering[Number]

An InlineOrdering instance for Number

+NumberOrdering
iron/API/io.github.iltotore.iron.numeric/NumberOrdering

NumberOrdering

object NumberOrdering extends InlinedOrdering[Number]

An InlineOrdering instance for Number

An InlineOrdering instance for Number

iron/API/io.github.iltotore.iron.numeric/constraint/Divisible

Divisible

trait Divisible[V]

Constraint: checks if the input value is divisible by V

+Divisible
iron/API/io.github.iltotore.iron.numeric/constraint/Divisible

Divisible

trait Divisible[V]

Constraint: checks if the input value is divisible by V

Constraint: checks if the input value is divisible by V

iron/API/io.github.iltotore.iron.numeric/constraint/DivisibleConstraint

DivisibleConstraint

class DivisibleConstraint[A <: Number, V <: A] extends Constraint[A, Divisible[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/DivisibleConstraint

DivisibleConstraint

class DivisibleConstraint[A <: Number, V <: A] extends Constraint[A, Divisible[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/Greater

Greater

trait Greater[V]

Constraint: checks if the input value is greater than V.

+Greater
iron/API/io.github.iltotore.iron.numeric/constraint/Greater

Greater

trait Greater[V]

Constraint: checks if the input value is greater than V.

Constraint: checks if the input value is greater than V.

iron/API/io.github.iltotore.iron.numeric/constraint/GreaterConstraint

GreaterConstraint

class GreaterConstraint[A <: Number, V <: A] extends Constraint[A, Greater[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/GreaterConstraint

GreaterConstraint

class GreaterConstraint[A <: Number, V <: A] extends Constraint[A, Greater[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/GreaterEqual

GreaterEqual

trait GreaterEqual[V]

Constraint: checks if the input value is greater or equal to V.

+GreaterEqual
iron/API/io.github.iltotore.iron.numeric/constraint/GreaterEqual

GreaterEqual

trait GreaterEqual[V]

Constraint: checks if the input value is greater or equal to V.

Constraint: checks if the input value is greater or equal to V.

iron/API/io.github.iltotore.iron.numeric/constraint/GreaterEqualConstraint

GreaterEqualConstraint

class GreaterEqualConstraint[A <: Number, V <: A] extends Constraint[A, GreaterEqual[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/GreaterEqualConstraint

GreaterEqualConstraint

class GreaterEqualConstraint[A <: Number, V <: A] extends Constraint[A, GreaterEqual[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/Less

Less

trait Less[V]

Constraint: checks if the input value is less than V.

+Less
iron/API/io.github.iltotore.iron.numeric/constraint/Less

Less

trait Less[V]

Constraint: checks if the input value is less than V.

Constraint: checks if the input value is less than V.

iron/API/io.github.iltotore.iron.numeric/constraint/LessConstraint

LessConstraint

class LessConstraint[A <: Number, V <: A] extends Constraint[A, Less[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/LessConstraint

LessConstraint

class LessConstraint[A <: Number, V <: A] extends Constraint[A, Less[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/LessEqual

LessEqual

trait LessEqual[V]

Constraint: checks if the input value is less or equal to V.

+LessEqual
iron/API/io.github.iltotore.iron.numeric/constraint/LessEqual

LessEqual

trait LessEqual[V]

Constraint: checks if the input value is less or equal to V.

Constraint: checks if the input value is less or equal to V.

iron/API/io.github.iltotore.iron.numeric/constraint/LessEqualConstraint

LessEqualConstraint

class LessEqualConstraint[A <: Number, V <: A] extends Constraint[A, LessEqual[V]]
iron/API/io.github.iltotore.iron.numeric/constraint/LessEqualConstraint

LessEqualConstraint

class LessEqualConstraint[A <: Number, V <: A] extends Constraint[A, LessEqual[V]]
iron/API/io.github.iltotore.iron.numeric/constraint

constraint

object constraint
iron/API/io.github.iltotore.iron.numeric/constraint

constraint

object constraint
iron/API/io.github.iltotore.iron.numeric/test

test

final class test
iron/API/io.github.iltotore.iron.numeric/test

test

final class test
iron/API/io.github.iltotore.iron.ordering

io.github.iltotore.iron.ordering

package io.github.iltotore.iron.ordering
iron/API/io.github.iltotore.iron.ordering/InlinedOrdering

InlinedOrdering

object InlinedOrdering
Companion
class
iron/API/io.github.iltotore.iron.ordering/InlinedOrdering

InlinedOrdering

trait InlinedOrdering[T]

An inline equivalent of scala.Ordering. Each method call is fully inlined at the point of use.

+InlinedOrdering
iron/API/io.github.iltotore.iron.ordering/InlinedOrdering

InlinedOrdering

trait InlinedOrdering[T]

An inline equivalent of scala.Ordering. Each method call is fully inlined at the point of use.

An inline equivalent of scala.Ordering. Each method call is fully inlined at the point of use.

Companion
object
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$LowerCase.html b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$LowerCase.html new file mode 100644 index 00000000..54f3d667 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$LowerCase.html @@ -0,0 +1,21 @@ +LowerCase
iron/API/io.github.iltotore.iron.string/constraint/LowerCase

LowerCase

trait LowerCase

Constraint: checks if the input value is lower case.

+

Constraint: checks if the input value is lower case.

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$Match.html b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$Match.html new file mode 100644 index 00000000..c0642206 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$Match.html @@ -0,0 +1,22 @@ +Match
iron/API/io.github.iltotore.iron.string/constraint/Match

Match

trait Match[V]

Constraint: checks if the input value matches V.

+

Constraint: checks if the input value matches V.

+
Type Params
V

the regex to match with.

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$UpperCase.html b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$UpperCase.html new file mode 100644 index 00000000..42f59a41 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$UpperCase.html @@ -0,0 +1,21 @@ +UpperCase
iron/API/io.github.iltotore.iron.string/constraint/UpperCase

UpperCase

trait UpperCase

Constraint: checks if the input value is upper case.

+

Constraint: checks if the input value is upper case.

+
class Object
trait Matchable
class Any
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_LowerCase$.html b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_LowerCase$.html new file mode 100644 index 00000000..fc8ce5a5 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_LowerCase$.html @@ -0,0 +1,10 @@ +given_RuntimeOnly_String_LowerCase
iron/API/io.github.iltotore.iron.string/constraint/given_RuntimeOnly_String_LowerCase

given_RuntimeOnly_String_LowerCase

given given_RuntimeOnly_String_LowerCase: RuntimeOnly[String, LowerCase]

Value members

Concrete methods

inline override def assert(value: String): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: String): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_Match.html b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_Match.html new file mode 100644 index 00000000..3ed0a2e7 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_Match.html @@ -0,0 +1,10 @@ +given_RuntimeOnly_String_Match
iron/API/io.github.iltotore.iron.string/constraint/given_RuntimeOnly_String_Match

given_RuntimeOnly_String_Match

inline given given_RuntimeOnly_String_Match[V <: String]: RuntimeOnly[String, Match[V]]

Value members

Concrete methods

inline override def assert(value: String): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: String): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_UpperCase$.html b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_UpperCase$.html new file mode 100644 index 00000000..03858d73 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_UpperCase$.html @@ -0,0 +1,10 @@ +given_RuntimeOnly_String_UpperCase
iron/API/io.github.iltotore.iron.string/constraint/given_RuntimeOnly_String_UpperCase

given_RuntimeOnly_String_UpperCase

given given_RuntimeOnly_String_UpperCase: RuntimeOnly[String, UpperCase]

Value members

Concrete methods

inline override def assert(value: String): Boolean
Definition Classes

Inherited methods

inline def runtimeAssert(value: String): Boolean

A dummy method for assert to allow non-inline calls.

+

A dummy method for assert to allow non-inline calls.

+
Value Params
value

the value to be checked

+
Returns

true if the assertion is passed, false otherwise

+
Inherited from
Constraint
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$.html b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$.html new file mode 100644 index 00000000..018a35b4 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/string/constraint$.html @@ -0,0 +1,26 @@ +constraint
iron/API/io.github.iltotore.iron.string/constraint

constraint

object constraint
class Object
trait Matchable
class Any

Type members

Classlikes

trait LowerCase

Constraint: checks if the input value is lower case.

+

Constraint: checks if the input value is lower case.

+
trait Match[V]

Constraint: checks if the input value matches V.

+

Constraint: checks if the input value matches V.

+
Type Params
V

the regex to match with.

+
trait UpperCase

Constraint: checks if the input value is upper case.

+

Constraint: checks if the input value is upper case.

+

Types

type Alphanumeric = Match["^[a-z0-9]+"]
type URLLike = Match["^(?:http(s)?:\\/\\/)?[\\w.-]+(?:\\.[\\w\\.-]+)+[\\w\\-\\._~:/?#[\\]@!\\$&\'\\(\\)\\*\\+,;=.]+$"]
type UUIDLike = Match["^([0-9a-fA-F]{8}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{12})"]

Givens

Givens

given given_RuntimeOnly_String_LowerCase: RuntimeOnly[String, LowerCase]
inline given given_RuntimeOnly_String_Match[V <: String]: RuntimeOnly[String, Match[V]]
given given_RuntimeOnly_String_UpperCase: RuntimeOnly[String, UpperCase]
\ No newline at end of file diff --git a/docs/scaladoc/api/io/github/iltotore/iron/testMain.html b/docs/scaladoc/api/io/github/iltotore/iron/testMain.html new file mode 100644 index 00000000..83bf4cd7 --- /dev/null +++ b/docs/scaladoc/api/io/github/iltotore/iron/testMain.html @@ -0,0 +1,19 @@ +testMain
iron/API/io.github.iltotore.iron/testMain

testMain

final class testMain
class Object
trait Matchable
class Any

Value members

Concrete methods

def main(args: Array[String]): Unit
\ No newline at end of file diff --git a/docs/scaladoc/index.html b/docs/scaladoc/index.html index 02924fa0..963d743a 100644 --- a/docs/scaladoc/index.html +++ b/docs/scaladoc/index.html @@ -1,4 +1,4 @@ -index
iron/index
+index
iron/index
diff --git a/docs/scaladoc/scripts/searchData.js b/docs/scaladoc/scripts/searchData.js index 2af8db52..b2bae77b 100644 --- a/docs/scaladoc/scripts/searchData.js +++ b/docs/scaladoc/scripts/searchData.js @@ -4,23 +4,75 @@ pages = [{"l":"index.html","n":"iron","t":"iron","d":""}, {"l":"api/io/github/iltotore/iron.html","n":"io.github.iltotore.iron","t":"package io.github.iltotore.iron","d":"io/github/iltotore/iron"}, {"l":"api/io/github/iltotore/iron.html","n":"==>","t":"type ==>[A, B] = Constrained[A, B]","d":"io/github/iltotore/iron"}, {"l":"api/io/github/iltotore/iron.html","n":"Constrained","t":"type Constrained[A, B]","d":"io/github/iltotore/iron"}, +{"l":"api/io/github/iltotore/iron.html","n":"Refined","t":"type Refined[A] = Either[IllegalValueError[A], A]","d":"io/github/iltotore/iron"}, +{"l":"api/io/github/iltotore/iron.html","n":"constrainedToValue","t":"def constrainedToValue[A, B](constrained: Constrained[A, B]): Refined[A]","d":"io/github/iltotore/iron"}, {"l":"api/io/github/iltotore/iron/Constrained$.html","n":"Constrained","t":"object Constrained","d":"io/github/iltotore/iron/Constrained$"}, -{"l":"api/io/github/iltotore/iron/Constrained$.html","n":"apply","t":"def apply[A, B](value: A): Constrained[A, B]","d":"io/github/iltotore/iron/Constrained$"}, +{"l":"api/io/github/iltotore/iron/Constrained$.html","n":"apply","t":"def apply[A, B](value: Refined[A]): Constrained[A, B]","d":"io/github/iltotore/iron/Constrained$"}, {"l":"api/io/github/iltotore/iron/Main$.html","n":"Main","t":"object Main","d":"io/github/iltotore/iron/Main$"}, +{"l":"api/io/github/iltotore/iron/Main$$given_CompileTimeOnly_Boolean_DummyCompileTime$.html","n":"given_CompileTimeOnly_Boolean_DummyCompileTime","t":"given given_CompileTimeOnly_Boolean_DummyCompileTime: CompileTimeOnly[Boolean, DummyCompileTime]","d":"io/github/iltotore/iron/Main$"}, +{"l":"api/io/github/iltotore/iron/Main$$given_RuntimeOnly_Boolean_DummyRuntime$.html","n":"given_RuntimeOnly_Boolean_DummyRuntime","t":"given given_RuntimeOnly_Boolean_DummyRuntime: RuntimeOnly[Boolean, DummyRuntime]","d":"io/github/iltotore/iron/Main$"}, +{"l":"api/io/github/iltotore/iron/Main$.html","n":"dummy","t":"def dummy(x: Constrained[Int, Not[StrictEqual[0]]]): Unit","d":"io/github/iltotore/iron/Main$"}, +{"l":"api/io/github/iltotore/iron/Main$.html","n":"dummy2","t":"def dummy2(x: Int == 0): Unit","d":"io/github/iltotore/iron/Main$"}, +{"l":"api/io/github/iltotore/iron/Main$.html","n":"testMain","t":"def testMain: Unit","d":"io/github/iltotore/iron/Main$"}, +{"l":"api/io/github/iltotore/iron/Main$$DummyCompileTime.html","n":"DummyCompileTime","t":"trait DummyCompileTime","d":"io/github/iltotore/iron/Main$$DummyCompileTime"}, +{"l":"api/io/github/iltotore/iron/Main$$given_CompileTimeOnly_Boolean_DummyCompileTime$.html","n":"given_CompileTimeOnly_Boolean_DummyCompileTime","t":"given given_CompileTimeOnly_Boolean_DummyCompileTime: CompileTimeOnly[Boolean, DummyCompileTime]","d":"io/github/iltotore/iron/Main$$given_CompileTimeOnly_Boolean_DummyCompileTime$"}, +{"l":"api/io/github/iltotore/iron/Main$$DummyRuntime.html","n":"DummyRuntime","t":"trait DummyRuntime","d":"io/github/iltotore/iron/Main$$DummyRuntime"}, +{"l":"api/io/github/iltotore/iron/Main$$given_RuntimeOnly_Boolean_DummyRuntime$.html","n":"given_RuntimeOnly_Boolean_DummyRuntime","t":"given given_RuntimeOnly_Boolean_DummyRuntime: RuntimeOnly[Boolean, DummyRuntime]","d":"io/github/iltotore/iron/Main$$given_RuntimeOnly_Boolean_DummyRuntime$"}, {"l":"api/io/github/iltotore/iron/compileTime$.html","n":"compileTime","t":"object compileTime","d":"io/github/iltotore/iron/compileTime$"}, -{"l":"api/io/github/iltotore/iron/compileTime$.html","n":"preAssert","t":"def preAssert(inline value: Boolean): Unit","d":"io/github/iltotore/iron/compileTime$"}, +{"l":"api/io/github/iltotore/iron/compileTime$.html","n":"preAssert","t":"def preAssert[A, B, C <: Constraint[A, B]](inline input: A, inline constraint: C): Refined[A]","d":"io/github/iltotore/iron/compileTime$"}, +{"l":"api/io/github/iltotore/iron/testMain.html","n":"testMain","t":"class testMain","d":"io/github/iltotore/iron/testMain"}, +{"l":"api/io/github/iltotore/iron/testMain.html","n":"main","t":"def main(args: Array[String]): Unit","d":"io/github/iltotore/iron/testMain"}, {"l":"api/io/github/iltotore/iron/constraint.html","n":"io.github.iltotore.iron.constraint","t":"package io.github.iltotore.iron.constraint","d":"io/github/iltotore/iron/constraint"}, -{"l":"api/io/github/iltotore/iron/constraint.html","n":"constrainedToValue","t":"def constrainedToValue[A, B](constrained: Constrained[A, B]): A","d":"io/github/iltotore/iron/constraint"}, -{"l":"api/io/github/iltotore/iron/constraint.html","n":"valueToConstrained","t":"def valueToConstrained[A, B](value: A)(using inline constraint: Constraint[A, B]): Constrained[A, B]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"&&","t":"type &&[B, C] = And[B, C]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"==","t":"type ==[A, V] = Constrained[A, StrictEqual[V]]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"AndConstraint_A_B_C_CB_CC","t":"given AndConstraint_A_B_C_CB_CC: Constraint[A, And[B, C]]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"EqualConstraint_A_V","t":"given EqualConstraint_A_V: Constraint[A, Equal[V]]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"NotConstraint_A_B_C","t":"given NotConstraint_A_B_C: Constraint[A, Not[B]]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"OrConstraint_A_B_C_CB_CC","t":"given OrConstraint_A_B_C_CB_CC: Constraint[A, Or[B, C]]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"StrictEqualConstraint_A_V","t":"given StrictEqualConstraint_A_V: Constraint[A, StrictEqual[V]]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"\\","t":"type \\[A, V] = Constrained[A, Not[StrictEqual[V]]]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"refineValue","t":"def refineValue[A, B, C <: Constraint[A, B]](value: A)(using inline constraint: C): Constrained[A, B]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"refined","t":"def refined[A](using Constraint[A, B]): Constrained[A, B]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint.html","n":"||","t":"type ||[B, C] = Or[B, C]","d":"io/github/iltotore/iron/constraint"}, +{"l":"api/io/github/iltotore/iron/constraint/And.html","n":"And","t":"trait And[B, C]","d":"io/github/iltotore/iron/constraint/And"}, +{"l":"api/io/github/iltotore/iron/constraint/AndConstraint.html","n":"AndConstraint","t":"class AndConstraint[A, B, C, CB <: Constraint[A, B], CC <: Constraint[A, C]](using left: CB, right: CC) extends Constraint[A, And[B, C]]","d":"io/github/iltotore/iron/constraint/AndConstraint"}, {"l":"api/io/github/iltotore/iron/constraint/Constraint.html","n":"Constraint","t":"trait Constraint[A, B]","d":"io/github/iltotore/iron/constraint/Constraint"}, {"l":"api/io/github/iltotore/iron/constraint/Constraint.html","n":"assert","t":"def assert(value: A): Boolean","d":"io/github/iltotore/iron/constraint/Constraint"}, {"l":"api/io/github/iltotore/iron/constraint/Constraint.html","n":"runtimeAssert","t":"def runtimeAssert(value: A): Boolean","d":"io/github/iltotore/iron/constraint/Constraint"}, +{"l":"api/io/github/iltotore/iron/constraint/Constraint$.html","n":"Constraint","t":"object Constraint","d":"io/github/iltotore/iron/constraint/Constraint$"}, +{"l":"api/io/github/iltotore/iron/constraint/Constraint$$RuntimeOnly.html","n":"RuntimeOnly","t":"trait RuntimeOnly[A, B] extends Constraint[A, B]","d":"io/github/iltotore/iron/constraint/Constraint$$RuntimeOnly"}, +{"l":"api/io/github/iltotore/iron/constraint/Constraint$$CompileTimeOnly.html","n":"CompileTimeOnly","t":"trait CompileTimeOnly[A, B] extends Constraint[A, B]","d":"io/github/iltotore/iron/constraint/Constraint$$CompileTimeOnly"}, +{"l":"api/io/github/iltotore/iron/constraint/Equal.html","n":"Equal","t":"trait Equal[V]","d":"io/github/iltotore/iron/constraint/Equal"}, +{"l":"api/io/github/iltotore/iron/constraint/EqualConstraint.html","n":"EqualConstraint","t":"class EqualConstraint[A, V <: A] extends Constraint[A, Equal[V]]","d":"io/github/iltotore/iron/constraint/EqualConstraint"}, +{"l":"api/io/github/iltotore/iron/constraint/IllegalValueError.html","n":"IllegalValueError","t":"class IllegalValueError[A](input: A, constraint: Constraint[A, _]) extends Error","d":"io/github/iltotore/iron/constraint/IllegalValueError"}, +{"l":"api/io/github/iltotore/iron/constraint/Not.html","n":"Not","t":"trait Not[B]","d":"io/github/iltotore/iron/constraint/Not"}, +{"l":"api/io/github/iltotore/iron/constraint/NotConstraint.html","n":"NotConstraint","t":"class NotConstraint[A, B, C <: Constraint[A, B]](using constraint: C) extends Constraint[A, Not[B]]","d":"io/github/iltotore/iron/constraint/NotConstraint"}, +{"l":"api/io/github/iltotore/iron/constraint/Or.html","n":"Or","t":"trait Or[B, C]","d":"io/github/iltotore/iron/constraint/Or"}, +{"l":"api/io/github/iltotore/iron/constraint/OrConstraint.html","n":"OrConstraint","t":"class OrConstraint[A, B, C, CB <: Constraint[A, B], CC <: Constraint[A, C]](using left: CB, right: CC) extends Constraint[A, Or[B, C]]","d":"io/github/iltotore/iron/constraint/OrConstraint"}, +{"l":"api/io/github/iltotore/iron/constraint/StrictEqual.html","n":"StrictEqual","t":"trait StrictEqual[V]","d":"io/github/iltotore/iron/constraint/StrictEqual"}, +{"l":"api/io/github/iltotore/iron/constraint/StrictEqualConstraint.html","n":"StrictEqualConstraint","t":"class StrictEqualConstraint[A, V <: A] extends Constraint[A, StrictEqual[V]]","d":"io/github/iltotore/iron/constraint/StrictEqualConstraint"}, +{"l":"api/io/github/iltotore/iron/iterable.html","n":"io.github.iltotore.iron.iterable","t":"package io.github.iltotore.iron.iterable","d":"io/github/iltotore/iron/iterable"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$.html","n":"constraint","t":"object constraint","d":"io/github/iltotore/iron/iterable/constraint$"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MinSize.html","n":"given_RuntimeOnly_A_MinSize","t":"given given_RuntimeOnly_A_MinSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MinSize[V]]","d":"io/github/iltotore/iron/iterable/constraint$"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MaxSize.html","n":"given_RuntimeOnly_A_MaxSize","t":"given given_RuntimeOnly_A_MaxSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MaxSize[V]]","d":"io/github/iltotore/iron/iterable/constraint$"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Size.html","n":"given_RuntimeOnly_A_Size","t":"given given_RuntimeOnly_A_Size[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, Size[V]]","d":"io/github/iltotore/iron/iterable/constraint$"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$.html","n":"Empty","t":"type Empty = Size[0]","d":"io/github/iltotore/iron/iterable/constraint$"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Contains.html","n":"given_RuntimeOnly_A_Contains","t":"given given_RuntimeOnly_A_Contains[T, A <: Iterable[T], V <: T]: RuntimeOnly[A, Contains[V]]","d":"io/github/iltotore/iron/iterable/constraint$"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$MinSize.html","n":"MinSize","t":"trait MinSize[V]","d":"io/github/iltotore/iron/iterable/constraint$$MinSize"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MinSize.html","n":"given_RuntimeOnly_A_MinSize","t":"given given_RuntimeOnly_A_MinSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MinSize[V]]","d":"io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MinSize"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$MaxSize.html","n":"MaxSize","t":"trait MaxSize[V]","d":"io/github/iltotore/iron/iterable/constraint$$MaxSize"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MaxSize.html","n":"given_RuntimeOnly_A_MaxSize","t":"given given_RuntimeOnly_A_MaxSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MaxSize[V]]","d":"io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_MaxSize"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$Size.html","n":"Size","t":"trait Size[V]","d":"io/github/iltotore/iron/iterable/constraint$$Size"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Size.html","n":"given_RuntimeOnly_A_Size","t":"given given_RuntimeOnly_A_Size[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, Size[V]]","d":"io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Size"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$Contains.html","n":"Contains","t":"trait Contains[V]","d":"io/github/iltotore/iron/iterable/constraint$$Contains"}, +{"l":"api/io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Contains.html","n":"given_RuntimeOnly_A_Contains","t":"given given_RuntimeOnly_A_Contains[T, A <: Iterable[T], V <: T]: RuntimeOnly[A, Contains[V]]","d":"io/github/iltotore/iron/iterable/constraint$$given_RuntimeOnly_A_Contains"}, {"l":"api/io/github/iltotore/iron/numeric.html","n":"io.github.iltotore.iron.numeric","t":"package io.github.iltotore.iron.numeric","d":"io/github/iltotore/iron/numeric"}, {"l":"api/io/github/iltotore/iron/numeric.html","n":"Number","t":"type Number = Byte | Short | Int | Long | Float | Double","d":"io/github/iltotore/iron/numeric"}, {"l":"api/io/github/iltotore/iron/numeric.html","n":"modulo","t":"def modulo(x: Number, y: Number): Int","d":"io/github/iltotore/iron/numeric"}, {"l":"api/io/github/iltotore/iron/numeric/Main$.html","n":"Main","t":"object Main","d":"io/github/iltotore/iron/numeric/Main$"}, -{"l":"api/io/github/iltotore/iron/numeric/Main$.html","n":"log","t":"def log(x: Double > 0.0d): Double","d":"io/github/iltotore/iron/numeric/Main$"}, -{"l":"api/io/github/iltotore/iron/numeric/Main$.html","n":"test","t":"def test(): Unit","d":"io/github/iltotore/iron/numeric/Main$"}, +{"l":"api/io/github/iltotore/iron/numeric/Main$.html","n":"dummy","t":"def dummy(x: Int \\ 0): Unit","d":"io/github/iltotore/iron/numeric/Main$"}, +{"l":"api/io/github/iltotore/iron/numeric/Main$.html","n":"dummy2","t":"def dummy2(x: Constrained[Int, Equal[0]]): Unit","d":"io/github/iltotore/iron/numeric/Main$"}, +{"l":"api/io/github/iltotore/iron/numeric/Main$.html","n":"test","t":"def test: Unit","d":"io/github/iltotore/iron/numeric/Main$"}, {"l":"api/io/github/iltotore/iron/numeric/NumberOrdering$.html","n":"NumberOrdering","t":"object NumberOrdering extends InlinedOrdering[Number]","d":"io/github/iltotore/iron/numeric/NumberOrdering$"}, {"l":"api/io/github/iltotore/iron/numeric/constraint$.html","n":"constraint","t":"object constraint","d":"io/github/iltotore/iron/numeric/constraint$"}, {"l":"api/io/github/iltotore/iron/numeric/constraint$.html","n":"<","t":"type <[A, B] = Constrained[A, Less[B]]","d":"io/github/iltotore/iron/numeric/constraint$"}, @@ -67,4 +119,18 @@ pages = [{"l":"index.html","n":"iron","t":"iron","d":""}, {"l":"api/io/github/iltotore/iron/ordering/InlinedOrdering$$given_Ordering_T.html","n":"given_Ordering_T","t":"given given_Ordering_T[T](using val inlined: InlinedOrdering[T]): Ordering[T]","d":"io/github/iltotore/iron/ordering/InlinedOrdering$"}, {"l":"api/io/github/iltotore/iron/ordering/InlinedOrdering$$given_Ordering_T.html","n":"inlined","t":"val inlined: InlinedOrdering[T]","d":"io/github/iltotore/iron/ordering/InlinedOrdering$"}, {"l":"api/io/github/iltotore/iron/ordering/InlinedOrdering$$given_Ordering_T.html","n":"given_Ordering_T","t":"given given_Ordering_T[T](using val inlined: InlinedOrdering[T]): Ordering[T]","d":"io/github/iltotore/iron/ordering/InlinedOrdering$$given_Ordering_T"}, -{"l":"api/io/github/iltotore/iron/ordering/InlinedOrdering$$given_Ordering_T.html","n":"inlined","t":"val inlined: InlinedOrdering[T]","d":"io/github/iltotore/iron/ordering/InlinedOrdering$$given_Ordering_T"}]; \ No newline at end of file +{"l":"api/io/github/iltotore/iron/ordering/InlinedOrdering$$given_Ordering_T.html","n":"inlined","t":"val inlined: InlinedOrdering[T]","d":"io/github/iltotore/iron/ordering/InlinedOrdering$$given_Ordering_T"}, +{"l":"api/io/github/iltotore/iron/string.html","n":"io.github.iltotore.iron.string","t":"package io.github.iltotore.iron.string","d":"io/github/iltotore/iron/string"}, +{"l":"api/io/github/iltotore/iron/string/constraint$.html","n":"constraint","t":"object constraint","d":"io/github/iltotore/iron/string/constraint$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_LowerCase$.html","n":"given_RuntimeOnly_String_LowerCase","t":"given given_RuntimeOnly_String_LowerCase: RuntimeOnly[String, LowerCase]","d":"io/github/iltotore/iron/string/constraint$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_UpperCase$.html","n":"given_RuntimeOnly_String_UpperCase","t":"given given_RuntimeOnly_String_UpperCase: RuntimeOnly[String, UpperCase]","d":"io/github/iltotore/iron/string/constraint$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$.html","n":"Alphanumeric","t":"type Alphanumeric = Match[\"^[a-z0-9]+\"]","d":"io/github/iltotore/iron/string/constraint$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$.html","n":"URLLike","t":"type URLLike = Match[\"^(?:http(s)?:\\\\/\\\\/)?[\\\\w.-]+(?:\\\\.[\\\\w\\\\.-]+)+[\\\\w\\\\-\\\\._~:/?#[\\\\]@!\\\\$&\\'\\\\(\\\\)\\\\*\\\\+,;=.]+$\"]","d":"io/github/iltotore/iron/string/constraint$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$.html","n":"UUIDLike","t":"type UUIDLike = Match[\"^([0-9a-fA-F]{8}\\\\-[0-9a-fA-F]{4}\\\\-[0-9a-fA-F]{4}\\\\-[0-9a-fA-F]{4}\\\\-[0-9a-fA-F]{12})\"]","d":"io/github/iltotore/iron/string/constraint$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_Match.html","n":"given_RuntimeOnly_String_Match","t":"given given_RuntimeOnly_String_Match[V <: String]: RuntimeOnly[String, Match[V]]","d":"io/github/iltotore/iron/string/constraint$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$LowerCase.html","n":"LowerCase","t":"trait LowerCase","d":"io/github/iltotore/iron/string/constraint$$LowerCase"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_LowerCase$.html","n":"given_RuntimeOnly_String_LowerCase","t":"given given_RuntimeOnly_String_LowerCase: RuntimeOnly[String, LowerCase]","d":"io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_LowerCase$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$UpperCase.html","n":"UpperCase","t":"trait UpperCase","d":"io/github/iltotore/iron/string/constraint$$UpperCase"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_UpperCase$.html","n":"given_RuntimeOnly_String_UpperCase","t":"given given_RuntimeOnly_String_UpperCase: RuntimeOnly[String, UpperCase]","d":"io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_UpperCase$"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$Match.html","n":"Match","t":"trait Match[V]","d":"io/github/iltotore/iron/string/constraint$$Match"}, +{"l":"api/io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_Match.html","n":"given_RuntimeOnly_String_Match","t":"given given_RuntimeOnly_String_Match[V <: String]: RuntimeOnly[String, Match[V]]","d":"io/github/iltotore/iron/string/constraint$$given_RuntimeOnly_String_Match"}]; \ No newline at end of file