@groovy.transform.TypeChecked abstract class Applicative extends java.lang.Object
Created by MarkPerry on 9/04/2014.
| Type | Name and description |
|---|---|
App<B> |
apply(App<F<A, B>> t1, App<A> t2)Sequence computations and combine their results (<*>) :: f (a -> b) -> f a -> f b |
App<A> |
left(App<A> a1, App<B> a2)(<*) :: f a -> f b -> f a |
App<B> |
liftA(F<A, B> f, App<A> a1)liftA :: Applicative f => (a -> b) -> f a -> f b |
App<C> |
liftA2(fj.F2<A, B, C> f, App<A> apa, App<B> apb)liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c |
fj.F3<fj.F2<A, B, C>, App<A>, App<B>, App<C>> |
liftA2_() |
App<D> |
liftA3(fj.F3<A, B, C, D> f, App<A> apa, App<B> apb, App<C> apc)liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d |
App<A> |
pure(A a)lift value into Applicative pure :: a -> f a |
App<B> |
right(App<A> a1, App<B> a2)(*>) :: f a -> f b -> f b |
App<java.util.List<A>> |
sequenceA(java.util.List<App<A>> list) |
| Methods inherited from class | Name |
|---|---|
class java.lang.Object |
java.lang.Object#wait(), java.lang.Object#wait(long, int), java.lang.Object#wait(long), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |
Sequence computations and combine their results (<*>) :: f (a -> b) -> f a -> f b
(<*) :: f a -> f b -> f a
liftA :: Applicative f => (a -> b) -> f a -> f b
liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
lift value into Applicative pure :: a -> f a
(*>) :: f a -> f b -> f b