org.typelevel.twiddles

Members list

Concise view

Type members

Classlikes

object DropUnits

Attributes

Source:
DropUnits.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Iso[A, B]

Attributes

Companion:
object
Source:
Iso.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Iso[A, B]
object Iso

Companion for Iso.

Companion for Iso.

Attributes

Companion:
trait
Source:
Iso.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Iso.type

Attributes

Source:
TwiddleCompat.scala
Graph
Supertypes
class Object
trait Matchable
class Any
final class TwiddleOpCons[F[_], B <: Tuple](self: F[B]) extends AnyVal

Attributes

Source:
Twiddles.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any
final class TwiddleOpDropUnits[F[_], A <: Tuple](self: F[A]) extends AnyVal

Attributes

Source:
TwiddleOpDropUnits.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any
final class TwiddleOpTo[F[_], A](self: F[A]) extends AnyVal

Attributes

Source:
Twiddles.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any
final class TwiddleOpTwo[F[_], B](self: F[B]) extends AnyVal

Attributes

Source:
Twiddles.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any
trait TwiddleSyntax[F[_]]

Attributes

Source:
Twiddles.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object syntax

Attributes

Source:
Twiddles.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
syntax.type

Types

type DropUnits[A <: Tuple] = A match { case hd *: tl => hd match { case Unit => DropUnits[tl] case Any => hd *: DropUnits[tl] } case EmptyTuple => EmptyTuple }

The tuple which is the result of removing all 'Unit' types from the tuple 'A'.

The tuple which is the result of removing all 'Unit' types from the tuple 'A'.

Attributes

Source:
DropUnits.scala