IsomorphismApplicativePlus
Type members
Inherited classlikes
Value members
Inherited methods
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
Add a unit to any Apply to form an Applicative.
Add a unit to any Apply to form an Applicative.
- Inherited from
- Apply
The composition of Functor F
and Bifunctor G
, [x, y]F[G[x, y]]
, is a Bifunctor
The composition of Functor F
and Bifunctor G
, [x, y]F[G[x, y]]
, is a Bifunctor
- Inherited from
- Functor
The composition of Functors F
and G
, [x]F[G[x]]
, is a Functor
The composition of Functors F
and G
, [x]F[G[x]]
, is a Functor
- Inherited from
- Functor
The composition of Applys F
and G
, [x]F[G[x]]
, is a Apply
The composition of Applys F
and G
, [x]F[G[x]]
, is a Apply
- Inherited from
- Apply
The composition of ApplicativePlus F
and Applicative G
, [x]F[G[x]]
, is a ApplicativePlus
The composition of ApplicativePlus F
and Applicative G
, [x]F[G[x]]
, is a ApplicativePlus
- Definition Classes
- Inherited from
- ApplicativePlus
Combine fa
and fb
according to Apply[F]
with a function that discards the A
(s)
Combine fa
and fb
according to Apply[F]
with a function that discards the A
(s)
- Inherited from
- ApplyParent
Combine fa
and fb
according to Apply[F]
with a function that discards the B
(s)
Combine fa
and fb
according to Apply[F]
with a function that discards the B
(s)
- Inherited from
- ApplyParent
Filter l
according to an applicative predicate.
Filter l
according to an applicative predicate.
- Inherited from
- Applicative
An Applicative
for F
in which effects happen in the opposite order.
An Applicative
for F
in which effects happen in the opposite order.
- Definition Classes
- Inherited from
- Applicative
Repeats an applicative action infinitely
Repeats an applicative action infinitely
- Inherited from
- ApplyParent
Pair all A
s in fa
with the result of function application.
Pair all A
s in fa
with the result of function application.
- Inherited from
- Functor
The composition of Functor F and Contravariant G, [x]F[G[x]]
,
is contravariant.
The composition of Functor F and Contravariant G, [x]F[G[x]]
,
is contravariant.
- Inherited from
- Functor
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
- Inherited from
- Apply
A list of results acquired by repeating a
. Never empty
;
initial failure is an empty list instead.
A list of results acquired by repeating a
. Never empty
;
initial failure is an empty list instead.
- Inherited from
- ApplicativePlus
Lift apply(a)
, and apply the result to f
.
Lift apply(a)
, and apply the result to f
.
- Inherited from
- Functor
A lawful implementation of this that is isomorphic up to the methods defined on Applicative allowing for optimised parallel implementations that would otherwise violate laws of more specific typeclasses (e.g. Monad).
A lawful implementation of this that is isomorphic up to the methods defined on Applicative allowing for optimised parallel implementations that would otherwise violate laws of more specific typeclasses (e.g. Monad).
- Inherited from
- ApplicativeParent
The product of Functors F
and G
, [x](F[x], G[x]])
, is a Functor
The product of Functors F
and G
, [x](F[x], G[x]])
, is a Functor
- Inherited from
- Functor
The product of Applys F
and G
, [x](F[x], G[x]])
, is a Apply
The product of Applys F
and G
, [x](F[x], G[x]])
, is a Apply
- Inherited from
- Apply
The product of Applicatives F
and G
, [x](F[x], G[x]])
, is an Applicative
The product of Applicatives F
and G
, [x](F[x], G[x]])
, is an Applicative
- Inherited from
- Applicative
The product of Plus F
and G
, [x](F[x], G[x]])
, is a Plus
The product of Plus F
and G
, [x](F[x], G[x]])
, is a Plus
- Inherited from
- Plus
The product of PlusEmpty F
and G
, [x](F[x], G[x]])
, is a PlusEmpty
The product of PlusEmpty F
and G
, [x](F[x], G[x]])
, is a PlusEmpty
- Inherited from
- PlusEmpty
The product of ApplicativePlus F
and G
, [x](F[x], G[x]])
, is a ApplicativePlus
The product of ApplicativePlus F
and G
, [x](F[x], G[x]])
, is a ApplicativePlus
- Inherited from
- ApplicativePlus
Performs the action n
times, returning the list of results.
Performs the action n
times, returning the list of results.
- Inherited from
- Applicative
Performs the action n
times, returning nothing.
Performs the action n
times, returning nothing.
- Inherited from
- Applicative
empty
or a non-empty list of results acquired by repeating a
.
empty
or a non-empty list of results acquired by repeating a
.
- Inherited from
- ApplicativePlus
- Inherited from
- Apply
Returns the given argument if cond
is false
, otherwise, unit lifted into F.
Returns the given argument if cond
is false
, otherwise, unit lifted into F.
- Inherited from
- Applicative
Empty fa
of meaningful pure values, preserving its
structure.
Empty fa
of meaningful pure values, preserving its
structure.
- Inherited from
- Functor
Returns the given argument if cond
is true
, otherwise, unit lifted into F.
Returns the given argument if cond
is true
, otherwise, unit lifted into F.
- Inherited from
- Applicative
Functors are covariant by nature, so we can treat an F[A]
as
an F[B]
if A
is a subtype of B
.
Functors are covariant by nature, so we can treat an F[A]
as
an F[B]
if A
is a subtype of B
.
- Inherited from
- Functor
Converts ma
to a value of type F[B]
using the provided bijection.
Converts ma
to a value of type F[B]
using the provided bijection.
- Inherited from
- InvariantFunctor
Converts ma
to a value of type F[B]
using the provided isomorphism.
Converts ma
to a value of type F[B]
using the provided isomorphism.
- Inherited from
- InvariantFunctor