DescribedAs

Type parameters

C

the decorated constraint.

V

the description to attach.

Attributes

Example

//Literal
type PosInt = DescribedAs[Greater[0], "Should be positive"]
//Using type-level String concatenation (example taken from `numeric`)
import io.github.iltotore.iron.ops.*
type GreaterEqual[V] = (Greater[V] || StrictEqual[V]) DescribedAs ("Should be greater than or equal to " + V)

Companion

object

Source

any.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any