Packages

object ConstructorPatternMapper

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConstructorPatternMapper
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. implicit def cnstDepFncPtnMapper[HShape <: HList, T <: Term with Subs[T], Cod <: Term with Subs[Cod], HC <: Term with Subs[HC], H <: Term with Subs[H], HR <: Term with Subs[HR], HI <: Term with Subs[HI]](implicit head: ConstructorPatternMapper[HShape, Cod, HC, H, HR, HI]): ConstructorPatternMapper[::[CnstDepFuncConsShape.type, HShape], Cod, FuncLike[T, HC], H, FuncLike[T, HR], FuncLike[T, HI]]
  2. implicit def cnstFncPtnMapper[HShape <: HList, T <: Term with Subs[T], Cod <: Term with Subs[Cod], HC <: Term with Subs[HC], H <: Term with Subs[H], HR <: Term with Subs[HR], HI <: Term with Subs[HI]](implicit head: ConstructorPatternMapper[HShape, Cod, HC, H, HR, HI]): ConstructorPatternMapper[::[CnstFuncConsShape.type, HShape], Cod, Func[T, HC], H, Func[T, HR], FuncLike[T, HI]]
  3. implicit def funcPtnMapper[HShape <: HList, C <: Term with Subs[C], F <: Term with Subs[F], HC <: Term with Subs[HC], H <: Term with Subs[H], HR <: Term with Subs[HR], HI <: Term with Subs[HI], TT <: Term with Subs[TT], DT <: Term with Subs[DT]](implicit tail: IterFuncMapper[H, C, F, TT, DT], head: ConstructorPatternMapper[HShape, C, HC, H, HR, HI]): ConstructorPatternMapper[::[FuncConsShape.type, HShape], C, Func[F, HC], H, Func[F, Func[TT, HR]], FuncLike[F, Func[DT, HI]]]
  4. implicit def idTargMapper[C <: Term with Subs[C], H <: Term with Subs[H]]: ConstructorPatternMapper[HNil, C, H, H, C, C]