spotted-leopards
0.1.0
API
Generated with
spotted-leopards/leopards

leopards

package leopards

Members list

Type members

Classlikes

trait Applicative[F[_]] extends Apply[F]

Attributes

Source
Applicative.scala
Supertypes
trait Apply[F]
trait Semigroupal[F]
trait Functor[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait ApplicativeError[F, E]
object stdTryInstances.type
trait Monad[F]
object stdListInstances.type
object stdOptionInstances.type
trait ApplicativeError[F[_], E] extends Applicative[F]

Attributes

Source
ApplicativeError.scala
Supertypes
trait Applicative[F]
trait Apply[F]
trait Semigroupal[F]
trait Functor[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
object stdTryInstances.type
trait Apply[F[_]] extends Functor[F], Semigroupal[F]

Attributes

Source
Apply.scala
Supertypes
trait Semigroupal[F]
trait Functor[F]
class Object
trait Matchable
class Any
Known subtypes
trait Applicative[F]
trait ApplicativeError[F, E]
object stdTryInstances.type
trait Monad[F]
object stdListInstances.type
object stdOptionInstances.type
trait FlatMap[F]
Show all
trait FlatMap[F[_]] extends Apply[F]

Attributes

Source
FlatMap.scala
Supertypes
trait Apply[F]
trait Semigroupal[F]
trait Functor[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Monad[F]
object stdListInstances.type
object stdOptionInstances.type
trait Foldable[F[_]]

Attributes

Companion
object
Source
Foldable.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Traverse[F]
object stdListInstances.type
object stdOptionInstances.type
object Foldable

Attributes

Companion
trait
Source
Foldable.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Foldable.type
trait Functor[F[_]]

Attributes

Companion
object
Source
Functor.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Apply[F]
trait Applicative[F]
trait ApplicativeError[F, E]
object stdTryInstances.type
trait Monad[F]
object stdListInstances.type
object stdOptionInstances.type
trait FlatMap[F]
trait Traverse[F]
Show all
object Functor

Attributes

Companion
trait
Source
Functor.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Functor.type
object Kleisli

Attributes

Source
Kleisli.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Kleisli.type
trait Monad[F[_]] extends FlatMap[F], Applicative[F]

Attributes

Companion
object
Source
Monad.scala
Supertypes
trait Applicative[F]
trait FlatMap[F]
trait Apply[F]
trait Semigroupal[F]
trait Functor[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
object stdListInstances.type
object stdOptionInstances.type
object Monad

Attributes

Companion
trait
Source
Monad.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Monad.type
trait Monoid[A] extends Semigroup[A]

Attributes

Source
Monoid.scala
Supertypes
trait Semigroup[A]
class Object
trait Matchable
class Any
Known subtypes
object intMonoid.type
object OptionT

Attributes

Source
OptionT.scala
Supertypes
class Object
trait Matchable
class Any
Self type
OptionT.type
trait Semigroup[A]

Attributes

Companion
object
Source
Semigroup.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Monoid[A]
object intMonoid.type
object Semigroup

Attributes

Companion
trait
Source
Semigroup.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Semigroup.type
trait Semigroupal[F[_]]

Attributes

Source
Semigroupal.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Apply[F]
trait Applicative[F]
trait ApplicativeError[F, E]
object stdTryInstances.type
trait Monad[F]
object stdListInstances.type
object stdOptionInstances.type
trait FlatMap[F]
Show all
trait Traverse[F[_]] extends Functor[F], Foldable[F]

Attributes

Source
Traverse.scala
Supertypes
trait Foldable[F]
trait Functor[F]
class Object
trait Matchable
class Any
Known subtypes
object stdListInstances.type
object stdOptionInstances.type
object intMonoid extends Monoid[Int]

Attributes

Source
int.scala
Supertypes
trait Monoid[Int]
trait Semigroup[Int]
class Object
trait Matchable
class Any
Self type
intMonoid.type
object stdListInstances extends Monad[List], Traverse[List]

Attributes

Source
list.scala
Supertypes
trait Traverse[List]
trait Foldable[List]
trait Monad[List]
trait Applicative[List]
trait FlatMap[List]
trait Apply[List]
trait Semigroupal[List]
trait Functor[List]
class Object
trait Matchable
class Any
Show all
Self type
object stdOptionInstances extends Monad[Option], Traverse[Option]

Attributes

Source
option.scala
Supertypes
trait Traverse[Option]
trait Foldable[Option]
trait Monad[Option]
trait Applicative[Option]
trait FlatMap[Option]
trait Apply[Option]
trait Semigroupal[Option]
trait Functor[Option]
class Object
trait Matchable
class Any
Show all
Self type
object stdTryInstances extends ApplicativeError[Try, Throwable]

Attributes

Source
try.scala
Supertypes
trait ApplicativeError[Try, Throwable]
trait Applicative[Try]
trait Apply[Try]
trait Semigroupal[Try]
trait Functor[Try]
class Object
trait Matchable
class Any
Show all
Self type

Types

type FunctionK[F[_], G[_]] = [X] => (x$1: F[X]) => G[X]

Attributes

Source
FunctionK.scala
opaque type Kleisli[F[_], A, B]

Attributes

Source
Kleisli.scala
opaque type OptionT[F[_], A]

Attributes

Source
OptionT.scala
type ~>[F[_], G[_]] = FunctionK[F, G]

Attributes

Source
FunctionK.scala

Givens

Givens

given given_Monad_Kleisli[F[_], A](using F: Monad[F]): given_Monad_Kleisli[F, A]

Attributes

Source
Kleisli.scala
given intMonoid: intMonoid.type

Attributes

Source
int.scala
given stdFunction1Instances[X]: stdFunction1Instances[X]

Attributes

Source
function1.scala
given stdListInstances: stdListInstances.type

Attributes

Source
list.scala
given stdListMonoid[A]: stdListMonoid[A]

Attributes

Source
list.scala
given stdOptionInstances: stdOptionInstances.type

Attributes

Source
option.scala
given stdOptionMonoid[A : Semigroup]: stdOptionMonoid[A]

Attributes

Source
option.scala
given stdTryInstances: stdTryInstances.type

Attributes

Source
try.scala

Extensions

Extensions

extension [A](a: A)
def pure[F[_]](using F: Applicative[F]): F[A]

Attributes

Source
syntax.scala
def raiseError[F[_], B](using F: ApplicativeError[F, A]): F[B]

Attributes

Source
syntax.scala
extension [F[_], A, B](k: Kleisli[F, A, B])
def apply(a: A): F[B]

Attributes

Source
Kleisli.scala
Generated with