LambdaEnv

feral.lambda.LambdaEnv
See theLambdaEnv companion trait
object LambdaEnv

Attributes

Companion
trait
Source
LambdaEnv.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
LambdaEnv.type

Members list

Value members

Concrete methods

def apply[F[_], A](implicit env: LambdaEnv[F, A]): LambdaEnv[F, A]

Attributes

Source
LambdaEnv.scala
def context[F[_], Event](implicit env: LambdaEnv[F, Event]): F[Context[F]]

Attributes

Source
LambdaEnv.scala
def event[F[_], Event](implicit env: LambdaEnv[F, Event]): F[Event]

Attributes

Source
LambdaEnv.scala
def pure[F[_] : Applicative, Event](e: Event, c: Context[F]): LambdaEnv[F, Event]

Attributes

Source
LambdaEnv.scala

Implicits

Implicits

implicit def eitherTLambdaEnv[F[_] : Functor, A, B](implicit evidence$5: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> EitherT[F, B, _$13], A]

Attributes

Source
LambdaEnv.scala
implicit def kleisliLambdaEnv[F[_] : Functor, A, B](implicit evidence$3: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> Kleisli[F, B, _$9], A]

Attributes

Source
LambdaEnv.scala
implicit def optionTLambdaEnv[F[_] : Functor, A](implicit evidence$4: Functor[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> OptionT[F, _$11], A]

Attributes

Source
LambdaEnv.scala
implicit def stateTLambdaEnv[F[_] : Applicative, S, A](implicit evidence$8: Applicative[F], env: LambdaEnv[F, A]): LambdaEnv[[_] =>> StateT[F, S, _$17], A]

Attributes

Source
LambdaEnv.scala
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]

Attributes

Source
LambdaEnv.scala