lucuma-refined/lucuma.refined

lucuma.refined

package lucuma.refined

Type members

Classlikes

trait Predicate[T, P]
Companion:
object
object Predicate
Companion:
class

Value members

Concrete methods

inline def no: Nothing
inline def refineMV[T, P](inline t: T)(using inline p: Predicate[T, P]): Refined[T, P]

Extensions

Extensions

extension [T](t: T)
inline def refined[P](using inline p: Predicate[T, P]): Refined[T, P]