Class

taggedtypes

AndTaggingExtensionsF

Related Doc: package taggedtypes

Permalink

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]])

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    Any
  3. def +@@(taggedType: TaggedType[_]): F[@@[T, U with TaggedType.Tag]]

    Permalink

    Synonym operator for andTaggedWithF.

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

    Permalink

    Synonym operator for andTaggedWithF.

  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  6. def andTaggedWithF(taggedType: TaggedType[_]): F[@@[T, U with TaggedType.Tag]]

    Permalink

    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]]

    Permalink

    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

    Permalink
    Definition Classes
    Any
  9. val ft: F[@@[T, U]]

    Permalink
  10. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any
  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  12. def toString(): String

    Permalink
    Definition Classes
    Any

Inherited from AnyVal

Inherited from Any

Ungrouped