p
taggedtypes
package taggedtypes
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- taggedtypes
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type @@[T, +U] = T with Tag[T, U]
- implicit final class AndTaggingExtensions[T, U] extends AnyVal
- implicit final class AndTaggingExtensionsF[F[_], T, U] extends AnyVal
- implicit final class AndTaggingExtensionsG[G, T] extends AnyVal
- sealed trait Auto extends AnyRef
- sealed trait Tag[T, +U] extends Any
- type Tagged[T, +U] = T with Tag[T, U]
- trait TaggedType[R] extends AnyRef
Base tagged type trait.
Base tagged type trait.
- R
raw value type
- implicit final class TaggingExtensions[T] extends AnyVal
- implicit final class TaggingExtensionsF[F[_], T] extends AnyVal
- implicit final class TaggingExtensionsG[G] extends AnyVal
- implicit final class UnTaggingExtensions[T] extends AnyVal
- implicit final class UnTaggingExtensionsF[F[_], T] extends AnyVal
- implicit final class UnTaggingExtensionsG[G] extends AnyVal
Value Members
- def apply[T, U](t: T): @@[T, U]
Function-first-style tagging API.
Function-first-style tagging API.
- U
type to tag with
- returns
Tagger
instance that can be used for tagging
- object AndTaggingExtensionsG
- object TaggingExtensionsG
- object UnTaggingExtensionsG
- object auto