< Back

Packages

package root
Definition Classes
root
package checklist
Definition Classes
root
package refinement

p

checklist

package checklist

Linear Supertypes

AnyRef, Any

Package Members

package refinement

Type Members

type Checked[A] = Ior[Messages, A]
type Messages = NonEmptyList[Message]
type Rule1[A] = Rule[A, A]

Inherited from AnyRef

Inherited from Any

Ungrouped