meow/meow/prelude

prelude

object prelude
class Object
trait Matchable
class Any

Type members

Types

type ~>[-F[_], +G[_]] = [A] => (x$1: F[A]) => G[A]

Givens

Givens

Extensions

Extensions

extension (a: A)
@targetName("voidRight")
final def <$[F[_], A, B](fb: F[B])(using x$3: Functor[F]): F[A]
extension (f: A => B)
@targetName("fmap")
final def <$>[F[_], A, B](fa: F[A])(using x$3: Functor[F]): F[B]
extension (io: IO[A])
final def run[A]: Future[A]

Exports

Defined exports

final def flatMap[M[_]]: [A, B] => (f: A => M[B]) => Monad[M] => M[A] => M[B]
Exported from instance.function
final def flatten[M[_], A]: M[M[A]] => Monad[M] => M[A]
Exported from instance.function
final def gets(using x$1: ExecutionContext): IO[String]
Exported from IO.gets
final def liftA[F[_]]: [A, B] => (f: A => B) => F[A] => Applicative[F] => F[B]
Exported from instance.function
final def liftA2[F[_]]: [A, B, C] => (f: A => B => C) => Applicative[F] => F[A] => F[B] => F[C]
Exported from instance.function
final def liftA3[F[_]]: [A, B, C, D] => (f: A => B => C => D) => F[A] => F[B] => F[C] => Applicative[F] => F[D]
Exported from instance.function
final def map[F[_]]: [A, B] => (f: A => B) => Functor[F] => F[A] => F[B]
Exported from instance.function
final def pure[F[_]]: [A] => (a: A) => Applicative[F] => F[A]
Exported from instance.function
final inline def unless[F[_]]: Boolean => [A] => (doThing: F[A]) => Applicative[F] => F[Unit]
Exported from instance.function
final inline def when[F[_]]: Boolean => [A] => (doThing: F[A]) => Applicative[F] => F[Unit]
Exported from instance.function