Packages

object ConstructorShape

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

Type Members

  1. case class CnstDepFuncConsShape[HShape <: HList, H <: Term with Subs[H], HC <: Term with Subs[HC], T <: Term with Subs[T], HS <: Term with Subs[HS]](tail: Typ[T], headfibre: (T) => ConstructorShape[HShape, H, HC]) extends ConstructorShape[::[CnstDepFuncConsShape.type, HShape], H, FuncLike[T, HC]] with Product with Serializable

    ConstructorShape corresponding to an introduction rule of the form A ~> head with A not dependent on the inductive type W being constructed

  2. case class CnstFuncConsShape[HShape <: HList, H <: Term with Subs[H], HC <: Term with Subs[HC], T <: Term with Subs[T], HS <: Term with Subs[HS]](tail: Typ[T], head: ConstructorShape[HShape, H, HC]) extends ConstructorShape[::[CnstFuncConsShape.type, HShape], H, Func[T, HC]] with Product with Serializable

    ConstructorShape corresponding to an introduction rule of the form A -> head with A not dependent on the inductive type W being constructed

  3. case class FuncConsShape[HS <: HList, H <: Term with Subs[H], HC <: Term with Subs[HC], F <: Term with Subs[F]](tail: IterFuncShape[H, F], head: ConstructorShape[HS, H, HC]) extends ConstructorShape[::[FuncConsShape.type, HS], H, Func[F, HC]] with Product with Serializable

    ConstructorShape corresponding to an introduction rule of the form (.. -> W) -> head

  4. case class IdShape[H <: Term with Subs[H]]() extends ConstructorShape[HNil, H, H] with Product with Serializable

    ConstructorShape corresponding to the introduction rule W; all constructor patterns are constructed from this.

Value Members

  1. object IdShape extends Serializable