DescribedAs

Type parameters

C

the decorated constraint.

V

the description to attach.

Attributes

Example

//Literal
type PosInt = Greater[0] DescribedAs "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