Type Members

1.  sealed trait ActionOps[I <: HList, O <: HList] extends AnyRef
2.  sealed abstract class AlternativeUnpacks extends AnyRef
3.  sealed trait FCapture[T] extends AnyRef
4.  trait HListable[T] extends AnyRef
5.  sealed trait Join[I <: HList, L1 <: HList, L2 <: HList, R] extends AnyRef
6.  sealed trait Lifter[M[_], I <: HList, O <: HList] extends AnyRef

   Annotations

   @implicitNotFound( ... )

7.  abstract class LowerPriorityHListable extends AnyRef
8.  sealed abstract class LowerPriorityLifter extends AnyRef
9.  trait OpTreeContext[OpTreeCtx <: ParserContext] extends AnyRef
10.  sealed trait RunResult[T] extends AnyRef
11.  sealed trait TailSwitch[L <: HList, T <: HList, R <: HList] extends AnyRef

    type-level implementation of this logic: Out = R if T has a tail of type L (L dropRight T) ::: R if L has a tail of type T

    type-level implementation of this logic: Out = R if T has a tail of type L (L dropRight T) ::: R if L has a tail of type T

    Annotations

    @implicitNotFound( "Illegal rule composition" )

12.  sealed trait Unpack[L <: HList] extends AnyRef

    "Unpacks" an HList if it has only zero or one element(s).

    "Unpacks" an HList if it has only zero or one element(s). Out = Unit if L == HNil T if L == T :: HNil L otherwise

    You can import Unpack.dontUnpack if you'd like to circumvent this unpacking logic.