c

taggedtypes

AndTaggingExtensionsF

implicit final class AndTaggingExtensionsF[F[_], T, U] extends AnyVal

Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AndTaggingExtensionsF
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new AndTaggingExtensionsF(ft: F[@@[T, U]])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##(): Int
    Definition Classes
    Any
  3. def +@@(taggedType: TaggedType[_]): F[@@[T, U with TaggedType.Tag]]

    Synonym operator for andTaggedWithF.

  4. def +@@[V]: F[@@[T, U with V]]

    Synonym operator for andTaggedWithF.

  5. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  6. def andTaggedWithF(taggedType: TaggedType[_]): F[@@[T, U with TaggedType.Tag]]

    Tag tagged intra-container value using TaggedType instance.

    Tag tagged intra-container value using TaggedType instance. Allows for List(...) +@@ MyTaggedType syntax.

    taggedType

    tagged type to type-tag with using its inner Tag field

    returns

    container with nested value tagged with both U and taggedType.Tag

  7. def andTaggedWithF[V]: F[@@[T, U with V]]

    Tag tagged intra-container value with type U.

    Tag tagged intra-container value with type U.

    V

    type to tag with

    returns

    container with nested value tagged with both U and V

  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. val ft: F[@@[T, U]]
  10. def getClass(): Class[_ <: AnyVal]
    Definition Classes
    AnyVal → Any
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. def toString(): String
    Definition Classes
    Any

Inherited from AnyVal

Inherited from Any

Ungrouped