scalaz-core/scalaz/OneAndInstances0

OneAndInstances0

sealed abstract
class OneAndInstances0 extends OneAndInstances1
class Object
trait Matchable
class Any
object OneAnd

Implicits

Implicits

implicit
def oneAndEqual[F[_], A](implicit A: Equal[A], FA: Equal[F[A]]): Equal[OneAnd[F, A]]
implicit
def oneAndFoldable1[F[_] : Foldable1]: Foldable1[[_] =>> OneAnd[F, _$48]]

If you have Foldable1[F], foldMap1 and foldRight1 are nonstrict and significantly more efficient.

If you have Foldable1[F], foldMap1 and foldRight1 are nonstrict and significantly more efficient.

implicit
def oneAndTraverse[F[_] : Traverse]: Traverse1[[_] =>> OneAnd[F, _$51]]

Inherited implicits

implicit
def oneAndAlign[F[_] : Align]: Align[[_] =>> OneAnd[F, _$35]]
Inherited from
OneAndInstances4
implicit
def oneAndAlt[F[_] : PlusEmpty]: Alt[[_] =>> OneAnd[F, _$41]]
Inherited from
OneAndInstances2
implicit
def oneAndApplicative[F[_] : ApplicativePlus]: Applicative[[_] =>> OneAnd[F, _$37]]
Inherited from
OneAndInstances3
implicit
def oneAndApply[F[_] : Plus]: Apply[[_] =>> OneAnd[F, _$33]]
Inherited from
OneAndInstances4
implicit
def oneAndBind[F[_] : Plus]: Bind[[_] =>> OneAnd[F, _$39]]
Inherited from
OneAndInstances2
implicit
def oneAndFoldable[F[_] : Foldable]: Foldable1[[_] =>> OneAnd[F, _$45]]
Inherited from
OneAndInstances1
implicit
def oneAndFunctor[F[_] : Functor]: Functor[[_] =>> OneAnd[F, _$31]]
Inherited from
OneAndInstances5
implicit
def oneAndMonad[F[_] : MonadPlus]: Monad[[_] =>> OneAnd[F, _$43]]
Inherited from
OneAndInstances1