function

Type Members

trait At[S, I, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait AtBit[S] extends AnyRef

Annotations
@implicitNotFound( ... )
trait AtBitFunctions extends AnyRef
trait AtFunctions extends AnyRef
trait Cons[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Cons1[S, H, T] extends AnyRef

Annotations
@implicitNotFound( ... )
trait ConsFunctions extends AnyRef
trait Curry[F, G] extends AnyRef

Annotations
@implicitNotFound( ... )
trait CurryFunctions extends AnyRef
trait Each[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait EachFunctions extends AnyRef
trait Empty[S] extends AnyRef
trait EmptyFunctions extends AnyRef
trait Field1[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Field1Functions extends AnyRef
trait Field2[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Field2Functions extends AnyRef
trait Field3[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Field3Functions extends AnyRef
trait Field4[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Field4Functions extends AnyRef
trait Field5[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Field5Functions extends AnyRef
trait Field6[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Field6Functions extends AnyRef
trait FilterIndex[S, I, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait FilterIndexFunctions extends AnyRef
trait HConsFunctions extends AnyRef
trait Index[S, I, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait IndexFunctions extends AnyRef
trait PolymorphicOptics extends AtFunctions with AtBitFunctions with ConsFunctions with CurryFunctions with EachFunctions with EmptyFunctions with Field1Functions with Field2Functions with Field3Functions with Field4Functions with Field5Functions with Field6Functions with FilterIndexFunctions with HConsFunctions with Snoc1Functions with IndexFunctions with ReverseFunctions with SafeCastFunctions with SnocFunctions
trait Reverse[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait ReverseFunctions extends AnyRef
trait SafeCast[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait SafeCastFunctions extends AnyRef
trait Snoc[S, A] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Snoc1[S, I, L] extends AnyRef

Annotations
@implicitNotFound( ... )
trait Snoc1Functions extends AnyRef
trait SnocFunctions extends AnyRef

Value Members

object At extends AtFunctions
object AtBit extends AtBitFunctions
object Cons extends ConsFunctions
object Cons1 extends HConsFunctions
object Curry extends CurryFunctions
object Each extends EachFunctions
object Empty extends EmptyFunctions
object Field1 extends Field1Functions
object Field2 extends Field2Functions
object Field3 extends Field3Functions
object Field4 extends Field4Functions
object Field5 extends Field5Functions
object Field6 extends Field6Functions
object Fields extends Field1Functions with Field2Functions with Field3Functions with Field4Functions with Field5Functions with Field6Functions
object FilterIndex extends FilterIndexFunctions
object Index extends IndexFunctions
object Reverse extends ReverseFunctions
object SafeCast extends SafeCastFunctions
object Snoc extends SnocFunctions
object Snoc1 extends Snoc1Functions
final def _cons[S, A](head: A, tail: S)(implicit ev: Cons[S, A]): S

append an element to the head
append an element to the head

Definition Classes
ConsFunctions
final def _cons1[S, H, T](head: H, tail: T)(implicit ev: Cons1[S, H, T]): S

append an element to the head
append an element to the head

Definition Classes
HConsFunctions
def _empty[S](implicit ev: Empty[S]): S

Definition Classes
EmptyFunctions
def _isEmpty[S](s: S)(implicit ev: Empty[S]): Boolean

Definition Classes
EmptyFunctions
def _reverse[S](s: S)(implicit ev: Reverse[S, S]): S

Definition Classes
ReverseFunctions
final def _snoc[S, A](init: S, last: A)(implicit ev: Snoc[S, A]): S

append an element to the end
append an element to the end

Definition Classes
SnocFunctions
final def _snoc1[S, I, L](init: I, last: L)(implicit ev: Snoc1[S, I, L]): S

append an element to the end
append an element to the end

Definition Classes
Snoc1Functions
final def _uncons[S, A](s: S)(implicit ev: Cons[S, A]): Maybe[(A, S)]

deconstruct an S between its head and tail
deconstruct an S between its head and tail

Definition Classes
ConsFunctions
final def _uncons1[S, H, T](s: S)(implicit ev: Cons1[S, H, T]): (H, T)

deconstruct an S between its head and tail
deconstruct an S between its head and tail

Definition Classes
HConsFunctions
final def _unsnoc[S, A](s: S)(implicit ev: Snoc[S, A]): Maybe[(S, A)]

deconstruct an S between its init and last
deconstruct an S between its init and last

Definition Classes
SnocFunctions
final def _unsnoc1[S, I, L](s: S)(implicit ev: Snoc1[S, I, L]): (I, L)

deconstruct an S between its init and last
deconstruct an S between its init and last

Definition Classes
Snoc1Functions
def at[S, I, A](i: I)(implicit ev: At[S, I, A]): Lens[S, Maybe[A]]

Definition Classes
AtFunctions
def atBit[S](index: Int)(implicit ev: AtBit[S]): Lens[S, Boolean]

Definition Classes
AtBitFunctions
def atIndex[S, I, A](implicit ev: At[S, I, A]): Index[S, I, A]

Definition Classes
IndexFunctions
def bitsAtBit[S](implicit arg0: Bits[S]): AtBit[S]

Definition Classes
AtBitFunctions
final def cons[S, A](implicit ev: Cons[S, A]): Prism[S, (A, S)]

Definition Classes
ConsFunctions
final def cons1[S, H, T](implicit ev: Cons1[S, H, T]): Iso[S, (H, T)]

Definition Classes
HConsFunctions
def curry[F, G](implicit ev: Curry[F, G]): Iso[F, G]

Definition Classes
CurryFunctions
def each[S, A](implicit ev: Each[S, A]): Traversal[S, A]

Definition Classes
EachFunctions
def empty[S](implicit ev: Empty[S]): Prism[S, Unit]

Definition Classes
EmptyFunctions
def fifth[S, A](implicit ev: Field5[S, A]): Lens[S, A]

Definition Classes
Field5Functions
def filterIndex[S, I, A](predicate: (I) ⇒ Boolean)(implicit ev: FilterIndex[S, I, A]): Traversal[S, A]

Definition Classes
FilterIndexFunctions
def first[S, A](implicit ev: Field1[S, A]): Lens[S, A]

Definition Classes
Field1Functions
def fourth[S, A](implicit ev: Field4[S, A]): Lens[S, A]

Definition Classes
Field4Functions
final def head[S, H, T](implicit ev: Cons1[S, H, T]): Lens[S, H]

Definition Classes
HConsFunctions
final def headMaybe[S, A](implicit ev: Cons[S, A]): Optional[S, A]

Definition Classes
ConsFunctions
def index[S, I, A](i: I)(implicit ev: Index[S, I, A]): Optional[S, A]

Definition Classes
IndexFunctions
final def init[S, I, L](implicit ev: Snoc1[S, I, L]): Lens[S, I]

Definition Classes
Snoc1Functions
final def initMaybe[S, A](implicit ev: Snoc[S, A]): Optional[S, S]

Definition Classes
SnocFunctions
final def last[S, I, L](implicit ev: Snoc1[S, I, L]): Lens[S, L]

Definition Classes
Snoc1Functions
final def lastMaybe[S, A](implicit ev: Snoc[S, A]): Optional[S, A]

Definition Classes
SnocFunctions
def orderingBoundedSafeCast[S, A](unsafeCast: (S) ⇒ A)(revCast: (A) ⇒ S)(implicit arg0: Order[S], arg1: Bounded[A]): SafeCast[S, A]

Definition Classes
SafeCastFunctions
def reverse[S, A](implicit ev: Reverse[S, A]): Iso[S, A]

Definition Classes
ReverseFunctions
def reverseFromReverseFunction[S](_reverse: (S) ⇒ S): Reverse[S, S]

Definition Classes
ReverseFunctions
def safeCast[S, A](implicit ev: SafeCast[S, A]): Prism[S, A]

Definition Classes
SafeCastFunctions
def second[S, A](implicit ev: Field2[S, A]): Lens[S, A]

Definition Classes
Field2Functions
def sixth[S, A](implicit ev: Field6[S, A]): Lens[S, A]

Definition Classes
Field6Functions
final def snoc[S, A](implicit ev: Snoc[S, A]): Prism[S, (S, A)]

Definition Classes
SnocFunctions
final def snoc1[S, I, L](implicit ev: Snoc1[S, I, L]): Iso[S, (I, L)]

Definition Classes
Snoc1Functions
final def tail[S, H, T](implicit ev: Cons1[S, H, T]): Lens[S, T]

Definition Classes
HConsFunctions
final def tailMaybe[S, A](implicit ev: Cons[S, A]): Optional[S, S]

Definition Classes
ConsFunctions
def third[S, A](implicit ev: Field3[S, A]): Lens[S, A]

Definition Classes
Field3Functions
def traverseEach[S[_], A](implicit arg0: Traverse[S]): Each[S[A], A]

Definition Classes
EachFunctions
def traverseFilterIndex[S[_], A](zipWithIndex: (S[A]) ⇒ S[(A, Int)])(implicit arg0: Traverse[S]): FilterIndex[S[A], Int, A]

Definition Classes
FilterIndexFunctions
def uncurry[F, G](implicit ev: Curry[F, G]): Iso[G, F]

Definition Classes
CurryFunctions

package function

Type Members

trait At[S, I, A] extends AnyRef

trait AtBit[S] extends AnyRef

trait AtBitFunctions extends AnyRef

trait AtFunctions extends AnyRef

trait Cons[S, A] extends AnyRef

trait Cons1[S, H, T] extends AnyRef

trait ConsFunctions extends AnyRef

trait Curry[F, G] extends AnyRef

trait CurryFunctions extends AnyRef

trait Each[S, A] extends AnyRef

trait EachFunctions extends AnyRef

trait Empty[S] extends AnyRef

trait EmptyFunctions extends AnyRef

trait Field1[S, A] extends AnyRef

trait Field1Functions extends AnyRef

trait Field2[S, A] extends AnyRef

trait Field2Functions extends AnyRef

trait Field3[S, A] extends AnyRef

trait Field3Functions extends AnyRef

trait Field4[S, A] extends AnyRef

trait Field4Functions extends AnyRef

trait Field5[S, A] extends AnyRef

trait Field5Functions extends AnyRef

trait Field6[S, A] extends AnyRef

trait Field6Functions extends AnyRef

trait FilterIndex[S, I, A] extends AnyRef

trait FilterIndexFunctions extends AnyRef

trait HConsFunctions extends AnyRef

trait Index[S, I, A] extends AnyRef

trait IndexFunctions extends AnyRef

trait Reverse[S, A] extends AnyRef

trait ReverseFunctions extends AnyRef

trait SafeCast[S, A] extends AnyRef

trait SafeCastFunctions extends AnyRef

trait Snoc[S, A] extends AnyRef

trait Snoc1[S, I, L] extends AnyRef

trait Snoc1Functions extends AnyRef

trait SnocFunctions extends AnyRef

Value Members

object At extends AtFunctions

object AtBit extends AtBitFunctions

object Cons extends ConsFunctions

object Cons1 extends HConsFunctions

object Curry extends CurryFunctions

object Each extends EachFunctions

object Empty extends EmptyFunctions

object Field1 extends Field1Functions

object Field2 extends Field2Functions

object Field3 extends Field3Functions

object Field4 extends Field4Functions

object Field5 extends Field5Functions

object Field6 extends Field6Functions

object Fields extends Field1Functions with Field2Functions with Field3Functions with Field4Functions with Field5Functions with Field6Functions

object FilterIndex extends FilterIndexFunctions

object Index extends IndexFunctions

object Reverse extends ReverseFunctions

object SafeCast extends SafeCastFunctions

object Snoc extends SnocFunctions

object Snoc1 extends Snoc1Functions

final def _cons[S, A](head: A, tail: S)(implicit ev: Cons[S, A]): S

final def _cons1[S, H, T](head: H, tail: T)(implicit ev: Cons1[S, H, T]): S

def _empty[S](implicit ev: Empty[S]): S

def _isEmpty[S](s: S)(implicit ev: Empty[S]): Boolean

def _reverse[S](s: S)(implicit ev: Reverse[S, S]): S

final def _snoc[S, A](init: S, last: A)(implicit ev: Snoc[S, A]): S

final def _snoc1[S, I, L](init: I, last: L)(implicit ev: Snoc1[S, I, L]): S

final def _uncons[S, A](s: S)(implicit ev: Cons[S, A]): Maybe[(A, S)]

final def _uncons1[S, H, T](s: S)(implicit ev: Cons1[S, H, T]): (H, T)

final def _unsnoc[S, A](s: S)(implicit ev: Snoc[S, A]): Maybe[(S, A)]

final def _unsnoc1[S, I, L](s: S)(implicit ev: Snoc1[S, I, L]): (I, L)

def at[S, I, A](i: I)(implicit ev: At[S, I, A]): Lens[S, Maybe[A]]

def atBit[S](index: Int)(implicit ev: AtBit[S]): Lens[S, Boolean]

def atIndex[S, I, A](implicit ev: At[S, I, A]): Index[S, I, A]

def bitsAtBit[S](implicit arg0: Bits[S]): AtBit[S]

final def cons[S, A](implicit ev: Cons[S, A]): Prism[S, (A, S)]

final def cons1[S, H, T](implicit ev: Cons1[S, H, T]): Iso[S, (H, T)]

def curry[F, G](implicit ev: Curry[F, G]): Iso[F, G]