feral-lambda
0.2.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
feral-lambda/feral.lambda/LambdaEnv

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

Members list

Concise view

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
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL