just-fp-core
just-fp-core
just.fp
Applicative
ApplicativeLaw
Applicative
EitherEqualInstance
EitherT
EitherT
EitherTApplicativeInstance
EitherTFunctorInstance
EitherTMonadInstance
Equal
EqualLaw
Equal
Functor
FunctorLaw
Functor
ListEqualInstance
Monad
MonadLaw
Monad
Monoid
MonoidLaw
Monoid
NatualEqual
NatualEqual
OptionEqualInstance
OptionT
OptionT
OptionTApplicativeInstance
OptionTFunctorInstance
OptionTMonadInstance
SemiGroup
SemiGroup
ListSemiGroup
VectorSemiGroup
StringSemiGroup
ByteSemiGroup
ShortSemiGroup
CharSemiGroup
IntSemiGroup
LongSemiGroup
BigIntSemiGroup
BigDecimalSemiGroup
VectorEqualInstance
Writer
WriterMonadInstance
WriterT
WriterT
WriterTApplicativeInstance
WriterTFunctorInstance
WriterTMonadInstance
WriterTMonadInstances
just.fp.compat
EitherCompat
just.fp.instances
BigDecimalEqualInstance
BigIntEqualInstance
BooleanEqualInstance
ByteEqualInstance
CharEqualInstance
DoubleEqualInstance
FloatEqualInstance
IntEqualInstance
LongEqualInstance
ShortEqualInstance
StringEqualInstance
just.fp.syntax
EitherFunctions
EitherOps
ToEither
LeftOps
RightOps
RightBiasedEither
EitherSyntax
EqualSyntax
EqualOps
EqualSyntax
OptionOps
ToSome
ToEither
OptionSyntax
SemiGroupSyntax
SemiGroupOps
SemiGroupSyntax
WriterOps
ToWriter
WriterSyntax
just-fp-core
/
just.fp
/
Applicative
Applicative
trait
Applicative
[F[_]] extends
Functor
[
F
]
Authors
Kevin Lee
Since
2019-03-16
Companion
object
Graph
Supertypes
Known subtypes
trait
Functor
[
F
]
class
Object
trait
Matchable
class
Any
trait
Monad
[
M
]
Type members
Value members
Type members
Classlikes
trait
ApplicativeLaw
extends
FunctorLaw
Inherited classlikes
trait
FunctorLaw
Inherited from
Functor
Value members
Abstract methods
def
ap
[A, B](fa: =>
F
[A])(fab: =>
F
[A => B]):
F
[B]
def
pure
[A](a: => A):
F
[A]
Concrete methods
def
applicativeLaw
:
ApplicativeLaw
override
def
map
[A, B](fa:
F
[A])(f: A => B):
F
[B]
Definition Classes
Functor
Inherited methods
def
functorLaw
:
FunctorLaw
Inherited from
Functor
def
lift
[A, B](f: A => B):
F
[A] =>
F
[B]
Inherited from
Functor