object PolyDefns extends Cases
- Alphabetic
- By Inheritance
- PolyDefns
- Cases
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- class ->[T, R] extends Poly1
Base class for lifting a
Function1
to aPoly1
- class >->[T, R] extends LowPriorityLiftFunction1
Base class for lifting a
Function1
to aPoly1
over the universal domain, yielding anHList
with the result as its only element if the argument is in the original functions domain,HNil
otherwise. - final case class BindFirst[F, Head](head: Head) extends Poly with Product with Serializable
- abstract class Case[P, L <: HList] extends Serializable
Type-specific case of a polymorphic function.
- type Case0[P] = Case[P, HNil]
- type Case1[Fn, A] = Case[Fn, ::[A, HNil]]
- Definition Classes
- Cases
- type Case10[Fn, A, B, C, D, E, F, G, H, I, J] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, HNil]]]]]]]]]]]
- Definition Classes
- Cases
- type Case11[Fn, A, B, C, D, E, F, G, H, I, J, K] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, HNil]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case12[Fn, A, B, C, D, E, F, G, H, I, J, K, L] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, HNil]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case13[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, HNil]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case14[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, HNil]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case15[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, HNil]]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case16[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, HNil]]]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case17[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, HNil]]]]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case18[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, HNil]]]]]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case19[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, HNil]]]]]]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case2[Fn, A, B] = Case[Fn, ::[A, ::[B, HNil]]]
- Definition Classes
- Cases
- type Case20[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, HNil]]]]]]]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case21[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, HNil]]]]]]]]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case22[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, HNil]]]]]]]]]]]]]]]]]]]]]]]
- Definition Classes
- Cases
- type Case3[Fn, A, B, C] = Case[Fn, ::[A, ::[B, ::[C, HNil]]]]
- Definition Classes
- Cases
- type Case4[Fn, A, B, C, D] = Case[Fn, ::[A, ::[B, ::[C, ::[D, HNil]]]]]
- Definition Classes
- Cases
- type Case5[Fn, A, B, C, D, E] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, HNil]]]]]]
- Definition Classes
- Cases
- type Case6[Fn, A, B, C, D, E, F] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, HNil]]]]]]]
- Definition Classes
- Cases
- type Case7[Fn, A, B, C, D, E, F, G] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, HNil]]]]]]]]
- Definition Classes
- Cases
- type Case8[Fn, A, B, C, D, E, F, G, H] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, HNil]]]]]]]]]
- Definition Classes
- Cases
- type Case9[Fn, A, B, C, D, E, F, G, H, I] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, HNil]]]]]]]]]]
- Definition Classes
- Cases
- class Compose[F, G] extends Poly
Represents the composition of two polymorphic function values.
- final case class Curried[F, ParameterAccumulator <: HList](parameters: ParameterAccumulator) extends Poly1 with Product with Serializable
- class LiftU[P <: Poly] extends LowPriorityLiftU
Base class for lifting a
Poly
to aPoly
over the universal domain, yielding anHList
with the result as it's only element if the argument is in the original functions domain,HNil
otherwise. - trait LowPriorityLiftFunction1 extends Poly1
- trait LowPriorityLiftU extends Poly
- class RotateLeft[P, N] extends Poly
Represents rotating a polymorphic function by N places to the left
- class RotateRight[P, N] extends Poly
Represents rotating a polymorphic function by N places to the right
- trait ~>[F[_], G[_]] extends Poly1
Base trait for natural transformations.
- type ~>>[F[_], R] = ~>[F, [T]R]
Natural transformation with a constant type constructor on the right hand side.
Value Members
- object Case1
- Definition Classes
- Cases
- object Case10
- Definition Classes
- Cases
- object Case11
- Definition Classes
- Cases
- object Case12
- Definition Classes
- Cases
- object Case13
- Definition Classes
- Cases
- object Case14
- Definition Classes
- Cases
- object Case15
- Definition Classes
- Cases
- object Case16
- Definition Classes
- Cases
- object Case17
- Definition Classes
- Cases
- object Case18
- Definition Classes
- Cases
- object Case19
- Definition Classes
- Cases
- object Case2
- Definition Classes
- Cases
- object Case20
- Definition Classes
- Cases
- object Case21
- Definition Classes
- Cases
- object Case22
- Definition Classes
- Cases
- object Case3
- Definition Classes
- Cases
- object Case4
- Definition Classes
- Cases
- object Case5
- Definition Classes
- Cases
- object Case6
- Definition Classes
- Cases
- object Case7
- Definition Classes
- Cases
- object Case8
- Definition Classes
- Cases
- object Case9
- Definition Classes
- Cases
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- object BindFirst extends Serializable
- object Case extends CaseInst with Serializable
- object Case0
- object Compose extends Serializable
- object Curried extends LowPriorityCurried with Serializable
- object RotateLeft extends Serializable
- object RotateRight extends Serializable
- object identity extends ~>[Id, Id]
Polymorphic identity function.
- object ~> extends Serializable