Remove

Type Members

type Out = Either[U, Rest]

Definition Classes
Remove → DepFn1
abstract type Rest <: Coproduct

Abstract Value Members

abstract def apply(t: C): Out

Definition Classes
DepFn1
abstract def inverse(r: Either[U, Rest]): C

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from Remove[C, U] to any2stringadd[Remove[C, U]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (Remove[C, U], B)

Implicit information
This member is added by an implicit conversion from Remove[C, U] to ArrowAssoc[Remove[C, U]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def as[B](implicit as: Transformer[C, B]): DepFn1[B]

Transforms using implicitly available evidence that such a transformation is possible.
Transforms using implicitly available evidence that such a transformation is possible.
Typical transformations include converting:
- an F[L] for some L <: HList to/from an F[CC] for some case class CC, where the types in the case class are aligned with the types in L
- an F[C] for some C <: Coproduct to/from an F[SC] for some sealed class SC, where the component types in the coproduct are the leaf subtypes of the sealed class.
Implicit information
This member is added by an implicit conversion from Remove[C, U] to TransformSyntax[DepFn1, C] performed by method TransformSyntax in scodec. This conversion will take place only if an implicit value of type Transform[DepFn1] is in scope.
Definition Classes
TransformSyntax
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def coproduct(c: C): :+:[U, Rest]
def ensuring(cond: (Remove[C, U]) ⇒ Boolean, msg: ⇒ Any): Remove[C, U]

Implicit information
This member is added by an implicit conversion from Remove[C, U] to Ensuring[Remove[C, U]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Remove[C, U]) ⇒ Boolean): Remove[C, U]

Implicit information
This member is added by an implicit conversion from Remove[C, U] to Ensuring[Remove[C, U]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Remove[C, U]

Implicit information
This member is added by an implicit conversion from Remove[C, U] to Ensuring[Remove[C, U]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Remove[C, U]

Implicit information
This member is added by an implicit conversion from Remove[C, U] to Ensuring[Remove[C, U]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def exmap[B](f: (C) ⇒ \/[Err, B], g: (B) ⇒ \/[Err, C]): DepFn1[B]

Transforms using two functions, A => Err \/ B and B => Err \/ A.
Transforms using two functions, A => Err \/ B and B => Err \/ A.

Implicit information
This member is added by an implicit conversion from Remove[C, U] to TransformSyntax[DepFn1, C] performed by method TransformSyntax in scodec. This conversion will take place only if an implicit value of type Transform[DepFn1] is in scope.
Definition Classes
TransformSyntax
val fa: DepFn1[C]

Implicit information
This member is added by an implicit conversion from Remove[C, U] to TransformSyntax[DepFn1, C] performed by method TransformSyntax in scodec. This conversion will take place only if an implicit value of type Transform[DepFn1] is in scope.
Definition Classes
TransformSyntax
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Remove[C, U] to StringFormat[Remove[C, U]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def narrow[B](f: (C) ⇒ \/[Err, B], g: (B) ⇒ C): DepFn1[B]

Transforms using two functions, A => Err \/ B and B => A.
Transforms using two functions, A => Err \/ B and B => A.
The supplied functions form an injection from B to A. Hence, this method converts from a larger to a smaller type. Hence, the name narrow.

Implicit information
This member is added by an implicit conversion from Remove[C, U] to TransformSyntax[DepFn1, C] performed by method TransformSyntax in scodec. This conversion will take place only if an implicit value of type Transform[DepFn1] is in scope.
Definition Classes
TransformSyntax
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def pxmap[B](f: (C) ⇒ B, g: (B) ⇒ Option[C]): DepFn1[B]

Transforms using two functions, A => B and B => Option[A].
Transforms using two functions, A => B and B => Option[A].
Particularly useful when combined with case class apply/unapply. E.g., pxmap(fa, Foo.apply, Foo.unappy).

Implicit information
This member is added by an implicit conversion from Remove[C, U] to TransformSyntax[DepFn1, C] performed by method TransformSyntax in scodec. This conversion will take place only if an implicit value of type Transform[DepFn1] is in scope.
Definition Classes
TransformSyntax
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def widen[B](f: (C) ⇒ B, g: (B) ⇒ \/[Err, C]): DepFn1[B]

Transforms using two functions, A => B and B => Err \/ A.
Transforms using two functions, A => B and B => Err \/ A.
The supplied functions form an injection from A to B. Hence, this method converts from a smaller to a larger type. Hence, the name widen.

Implicit information
This member is added by an implicit conversion from Remove[C, U] to TransformSyntax[DepFn1, C] performed by method TransformSyntax in scodec. This conversion will take place only if an implicit value of type Transform[DepFn1] is in scope.
Definition Classes
TransformSyntax
def xmap[B](f: (C) ⇒ B, g: (B) ⇒ C): DepFn1[B]

Transforms using the isomorphism described by two functions, A => B and B => A.
Transforms using the isomorphism described by two functions, A => B and B => A.

Implicit information
This member is added by an implicit conversion from Remove[C, U] to TransformSyntax[DepFn1, C] performed by method TransformSyntax in scodec. This conversion will take place only if an implicit value of type Transform[DepFn1] is in scope.
Definition Classes
TransformSyntax
def →[B](y: B): (Remove[C, U], B)

Implicit information
This member is added by an implicit conversion from Remove[C, U] to ArrowAssoc[Remove[C, U]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from DepFn1[C]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion TransformSyntax from Remove[C, U] to TransformSyntax[DepFn1, C]

Inherited by implicit conversion any2stringadd from Remove[C, U] to any2stringadd[Remove[C, U]]

Inherited by implicit conversion StringFormat from Remove[C, U] to StringFormat[Remove[C, U]]

Inherited by implicit conversion Ensuring from Remove[C, U] to Ensuring[Remove[C, U]]

Inherited by implicit conversion ArrowAssoc from Remove[C, U] to ArrowAssoc[Remove[C, U]]

combinators

Ungrouped

trait Remove[C <: Coproduct, U] extends DepFn1[C]

Type Members

type Out = Either[U, Rest]

abstract type Rest <: Coproduct

Abstract Value Members

abstract def apply(t: C): Out

abstract def inverse(r: Either[U, Rest]): C

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Remove[C, U], B)

final def ==(arg0: Any): Boolean

def as[B](implicit as: Transformer[C, B]): DepFn1[B]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def coproduct(c: C): :+:[U, Rest]

def ensuring(cond: (Remove[C, U]) ⇒ Boolean, msg: ⇒ Any): Remove[C, U]

def ensuring(cond: (Remove[C, U]) ⇒ Boolean): Remove[C, U]

def ensuring(cond: Boolean, msg: ⇒ Any): Remove[C, U]

def ensuring(cond: Boolean): Remove[C, U]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def exmap[B](f: (C) ⇒ \/[Err, B], g: (B) ⇒ \/[Err, C]): DepFn1[B]

val fa: DepFn1[C]

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def narrow[B](f: (C) ⇒ \/[Err, B], g: (B) ⇒ C): DepFn1[B]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def pxmap[B](f: (C) ⇒ B, g: (B) ⇒ Option[C]): DepFn1[B]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def widen[B](f: (C) ⇒ B, g: (B) ⇒ \/[Err, C]): DepFn1[B]

def xmap[B](f: (C) ⇒ B, g: (B) ⇒ C): DepFn1[B]

def →[B](y: B): (Remove[C, U], B)

Inherited from DepFn1[C]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion TransformSyntax from Remove[C, U] to TransformSyntax[DepFn1, C]

Inherited by implicit conversion any2stringadd from Remove[C, U] to any2stringadd[Remove[C, U]]

Inherited by implicit conversion StringFormat from Remove[C, U] to StringFormat[Remove[C, U]]

Inherited by implicit conversion Ensuring from Remove[C, U] to Ensuring[Remove[C, U]]

Inherited by implicit conversion ArrowAssoc from Remove[C, U] to ArrowAssoc[Remove[C, U]]

combinators

Ungrouped