eu.throup.couldbe
package eu.throup.couldbe
Members list
Concise view
Type members
Classlikes
class CouldBeGivenInstance extends Traverse[CouldBeGiven] with CoflatMap[CouldBeGiven] with InvariantMonoidal[CouldBeGiven] with CommutativeMonad[CouldBeGiven] with MonadError[CouldBeGiven, Unit]
Attributes
- Graph
- Supertypes
- trait MonadError[CouldBeGiven, Unit]trait ApplicativeError[CouldBeGiven, Unit]trait CommutativeMonad[CouldBeGiven]trait CommutativeApplicative[CouldBeGiven]trait CommutativeFlatMap[CouldBeGiven]trait CommutativeApply[CouldBeGiven]trait Monad[CouldBeGiven]trait Applicative[CouldBeGiven]trait FlatMap[CouldBeGiven]trait FlatMapArityFunctions[CouldBeGiven]trait Apply[CouldBeGiven]trait ApplyArityFunctions[CouldBeGiven]trait InvariantMonoidal[CouldBeGiven]trait InvariantSemigroupal[CouldBeGiven]trait Semigroupal[CouldBeGiven]trait CoflatMap[CouldBeGiven]trait Traverse[CouldBeGiven]trait UnorderedTraverse[CouldBeGiven]trait Foldable[CouldBeGiven]trait FoldableNFunctions[CouldBeGiven]trait UnorderedFoldable[CouldBeGiven]trait Functor[CouldBeGiven]trait Invariant[CouldBeGiven]trait Serializableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait PartialOrder[CouldBeGiven[A]]trait Hash[CouldBeGiven[A]]trait Eq[CouldBeGiven[A]]trait Serializableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait PartialOrder[IsGiven[A]]trait Hash[IsGiven[A]]trait Eq[IsGiven[A]]trait Serializableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object EqOrEquals
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- EqOrEquals.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object HashOrHashCode
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- HashOrHashCode.type
class IsGivenInstance extends NonEmptyTraverse[IsGiven] with InvariantMonoidal[IsGiven] with Bimonad[IsGiven] with CommutativeMonad[IsGiven]
Attributes
- Graph
- Supertypes
- trait CommutativeMonad[IsGiven]trait CommutativeApplicative[IsGiven]trait CommutativeFlatMap[IsGiven]trait CommutativeApply[IsGiven]trait Bimonad[IsGiven]trait Comonad[IsGiven]trait CoflatMap[IsGiven]trait Monad[IsGiven]trait Applicative[IsGiven]trait FlatMap[IsGiven]trait FlatMapArityFunctions[IsGiven]trait Apply[IsGiven]trait ApplyArityFunctions[IsGiven]trait InvariantMonoidal[IsGiven]trait InvariantSemigroupal[IsGiven]trait Semigroupal[IsGiven]trait NonEmptyTraverse[IsGiven]trait Reducible[IsGiven]trait Traverse[IsGiven]trait UnorderedTraverse[IsGiven]trait Foldable[IsGiven]trait FoldableNFunctions[IsGiven]trait UnorderedFoldable[IsGiven]trait Functor[IsGiven]trait Invariant[IsGiven]trait Serializableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait Monoid[CouldBeGiven[A]]trait Semigroup[CouldBeGiven[A]]trait Serializableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object PartialOrderOrEq
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- PartialOrderOrEq.type
Attributes
- Graph
- Supertypes
- trait Show[CouldBeGiven[A]]trait ContravariantShow[CouldBeGiven[A]]trait Serializableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object ShowOrToString
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- ShowOrToString.type
object typeclasses
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- typeclasses.type