package
scalaz
Type Members
-
implicit
class
ApplicativeOps[G[_]] extends AnyRef
-
-
trait
Instances extends AnyRef
-
trait
LensOps[A, B] extends AnyRef
-
trait
Lenses extends AnyRef
-
trait
LifterAux[G[_], I <: HList, R, GI <: HList] extends AnyRef
-
trait
Lifts extends AnyRef
-
-
sealed
trait
SequencerAux[F[_], I <: HList, O <: HList] extends AnyRef
-
-
-
sealed
trait
Traverser[I <: HList, P, F[_]] extends AnyRef
-
sealed
trait
TraverserAux[I <: HList, P, F[_], O <: HList] extends AnyRef
-
trait
UnapplyAux[TC[_[_]], FA, F[_], A] extends AnyRef
Value Members
-
implicit
def
EqualI: TypeClass[Equal]
-
-
implicit
def
MonoidI: TypeClass[Monoid]
-
implicit
def
OrderI: TypeClass[Order]
-
implicit
def
SemigroupI: TypeClass[Semigroup]
-
-
implicit
def
ShowI: TypeClass[Show]
-
-
-
-
implicit
def
deriveEqual[F, G <: HList](implicit iso: Iso[F, G], hlistInst: HListInstance[Equal, G]): Equal[F]
-
implicit
def
deriveMonoid[F, G <: HList](implicit iso: Iso[F, G], hlistInst: HListInstance[Monoid, G]): Monoid[F]
-
implicit
def
deriveOrder[F, G <: HList](implicit iso: Iso[F, G], hlistInst: HListInstance[Order, G]): Order[F]
-
implicit
def
deriveSemigroup[F, G <: HList](implicit iso: Iso[F, G], hlistInst: HListInstance[Semigroup, G]): Semigroup[F]
-
implicit
def
deriveShow[F, G <: HList](implicit iso: Iso[F, G], hlistInst: HListInstance[Show, G]): Show[F]
-
-
-
-
-
implicit
def
scalazLensOps[A, B](l: scalaz.Lens[A, B]): LensOps[A, B] { val asScalaz: scalaz.Lens[A,B] }
-
def
sequence[I <: HList, O <: HList, F[_]](in: I)(implicit sequencer: SequencerAux[F, I, O]): F[O]
-
implicit
def
shapelessLensOps[A, B](l: Lens[A, B]): LensOps[A, B] { val asShapeless: shapeless.Lens[A,B] }
-
def
traverse[I <: HList, F[_], O <: HList](in: I)(f: Poly)(implicit traverser: TraverserAux[I, f.type, F, O]): F[O]
Inherited from AnyRef
Inherited from Any