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]

Implicits

Implicits

implicit
def eitherTLambdaEnv[F[_] : Functor, A, B](implicit evidence$4: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> EitherT[F, B, _$12], A]
implicit
def kleisliLambdaEnv[F[_] : Functor, A, B](implicit evidence$2: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> Kleisli[F, B, _$8], A]
implicit
def optionTLambdaEnv[F[_] : Functor, A](implicit evidence$3: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> OptionT[F, _$10], A]
implicit
def stateTLambdaEnv[F[_] : Applicative, S, A](implicit evidence$7: Applicative[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> StateT[F, S, _$16], A]
implicit
def writerTLambdaEnv[F[_] : Applicative, A, B : Monoid](implicit evidence$5: Applicative[F], evidence$6: Monoid[B], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> WriterT[F, B, _$14], A]