refined

Value Members

1. object Refinements extends Refinements

   

2. object ReifiedInstances extends ReifiedInstances

   

3. object SemanticId

   

4. implicit def forRefType[R[_, _], A, P](implicit R: RefType[R], v: Validate[A, P], id: SemanticId[P]): Aux[R[A, P], A]

   

   Definition Classes

   Refinements

5. implicit def reifiedFromRefinedType[A, M <: Model, P, R[_, _]](implicit A: Aux2[A, M], R: RefType[R], refinement: Aux[R[A, P], A], canRefine: CanBeRefined[M]): Aux[R[A, P], M, (A)#Fold]

   

   Definition Classes

   ReifiedInstances