scalaz-core/scalaz/OneAndInstances

OneAndInstances

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

Implicits

Implicits

implicit
def oneAndOrder[F[_], A](implicit A: Order[A], FA: Order[F[A]]): Order[OneAnd[F, A]]
implicit
def oneAndPlus[F[_] : Plus]: Plus[[_] =>> OneAnd[F, _$53]]
implicit
def oneAndSemigroup[F[_] : Plus, A]: Semigroup[OneAnd[F, A]]
implicit
def oneAndShow[F[_], A](implicit A: Show[A], FA: Show[F[A]]): Show[OneAnd[F, A]]
implicit
def oneAndTraverse1[F[_] : Traverse1]: Traverse1[[_] =>> OneAnd[F, _$55]]
implicit
def oneAndUnzip[F[_] : Unzip]: Unzip[[_] =>> OneAnd[F, _$63]]
implicit
def oneAndZip[F[_] : Zip]: Zip[[_] =>> OneAnd[F, _$60]]

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 oneAndEqual[F[_], A](implicit A: Equal[A], FA: Equal[F[A]]): Equal[OneAnd[F, A]]
Inherited from
OneAndInstances0
implicit
def oneAndFoldable[F[_] : Foldable]: Foldable1[[_] =>> OneAnd[F, _$45]]
Inherited from
OneAndInstances1
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.

Inherited from
OneAndInstances0
implicit
def oneAndFunctor[F[_] : Functor]: Functor[[_] =>> OneAnd[F, _$31]]
Inherited from
OneAndInstances5
implicit
def oneAndMonad[F[_] : MonadPlus]: Monad[[_] =>> OneAnd[F, _$43]]
Inherited from
OneAndInstances1
implicit
def oneAndTraverse[F[_] : Traverse]: Traverse1[[_] =>> OneAnd[F, _$51]]
Inherited from
OneAndInstances0