core/monocle.function/Cons1

Cons1

object Cons1 extends Cons1Functions
Companion
class
Source
Cons1.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[S, H, T](iso: Iso[S, (H, T)]): Cons1[S, H, T]
def fromIso[S, A, H, T](iso: Iso[S, A])(ev: Cons1[A, H, T]): Cons1[S, H, T]

lift an instance of Cons1 using an Iso

lift an instance of Cons1 using an Iso

Source
Cons1.scala

Deprecated and Inherited methods

@deprecated("no replacement", since = "3.0.0-M1")
final def _cons1[S, H, T](head: H, tail: T)(ev: Cons1[S, H, T]): S

append an element to the head

append an element to the head

Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _uncons1[S, H, T](s: S)(ev: Cons1[S, H, T]): (H, T)

deconstruct an S between its head and tail

deconstruct an S between its head and tail

Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def cons1[S, H, T](ev: Cons1[S, H, T]): Iso[S, (H, T)]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def head[S, H, T](ev: Cons1[S, H, T]): Lens[S, H]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def tail[S, H, T](ev: Cons1[S, H, T]): Lens[S, T]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala

Implicits

Implicits

implicit def cofreeCons1[S[_], A]: Cons1[Cofree[S, A], A, S[Cofree[S, A]]]
implicit def necCons1[A]: Cons1[Type[A], A, Chain[A]]
implicit def nelCons1[A]: Cons1[NonEmptyList[A], A, List[A]]
implicit def nevCons1[A]: Cons1[NonEmptyVector[A], A, Vector[A]]
implicit def oneAndCons1[T[_], A]: Cons1[OneAnd[T, A], A, T[A]]
implicit def tuple2Cons1[A1, A2]: Cons1[(A1, A2), A1, A2]
implicit def tuple3Cons1[A1, A2, A3]: Cons1[(A1, A2, A3), A1, (A2, A3)]
implicit def tuple4Cons1[A1, A2, A3, A4]: Cons1[(A1, A2, A3, A4), A1, (A2, A3, A4)]
implicit def tuple5Cons1[A1, A2, A3, A4, A5]: Cons1[(A1, A2, A3, A4, A5), A1, (A2, A3, A4, A5)]
implicit def tuple6Cons1[A1, A2, A3, A4, A5, A6]: Cons1[(A1, A2, A3, A4, A5, A6), A1, (A2, A3, A4, A5, A6)]