feral-lambda/feral.lambda/LambdaEnv

LambdaEnv

object LambdaEnv
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], A](implicit env: LambdaEnv[F, A]): LambdaEnv[F, A]
def context[F[_], Event](implicit env: LambdaEnv[F, Event]): F[Context[F]]
def event[F[_], Event](implicit env: LambdaEnv[F, Event]): F[Event]
def pure[F[_] : Applicative, Event](e: Event, c: Context[F]): LambdaEnv[F, Event]

Implicits

Implicits

implicit def eitherTLambdaEnv[F[_] : Functor, A, B](implicit evidence$5: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> EitherT[F, B, _$13], A]
implicit def kleisliLambdaEnv[F[_] : Functor, A, B](implicit evidence$3: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> Kleisli[F, B, _$9], A]
implicit def optionTLambdaEnv[F[_] : Functor, A](implicit evidence$4: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> OptionT[F, _$11], A]
implicit def stateTLambdaEnv[F[_] : Applicative, S, A](implicit evidence$8: Applicative[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> StateT[F, S, _$17], A]
implicit def writerTLambdaEnv[F[_] : Applicative, A, B : Monoid](implicit evidence$6: Applicative[F], evidence$7: Monoid[B], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> WriterT[F, B, _$15], A]