Package

freestyle

tagless

Permalink

package tagless

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

Type Members

  1. type StackSafe[F[_]] = AnyRef { type λ[α] = cats.free.Free[F,α] }

    Permalink

  2. trait TaglessEffectLike[F[_]] extends AnyRef

    Permalink

  3. macro class tagless extends Annotation with StaticAnnotation

    Permalink
    Annotations
    @compileTimeOnly( ... ) @compileTimeOnly( ... )

Value Members

  1. implicit def freestyleTaglessLiftFree[F[_]]: ~>[F, [β$0$]Free[F, β$0$]]

    Permalink

  2. object taglessImpl

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped