A

ap(M, M) - Method in Monad

In many situations, the liftM operations can be replaced by uses of ap, which promotes function application.

append(A, A) - Method in Semigroup

(<>) :: a -> a -> a

Applicative - Class in com.github.mperry.fg.typeclass

Created by MarkPerry on 9/04/2014.

apply(App, App) - Method in Applicative

(<*>) :: f (a -> b) -> f a -> f b

apply(List, List) - Method in ListApplicative

apply(M, M) - Method in Monad

Implements Applicative.apply using Monad combinators (<*>) :: f (a -> b) -> f a -> f b

apply(Option, Option) - Method in OptionApplicative

B

C

compose(F, F) - Method in Monad

Right-to-left Kleisli composition of monads. (>=>), with the arguments flipped http://hackage.haskell.org/package/base-4.6.0.1/docs/Control-Monad.html#v:-60--61--60-

D

defaultSet() - Method in SetMonad

E

F

filterM(List, F) - Method in Monad

This generalizes the list-based filter function.

flatMap(List, F) - Method in ListMonad

flatMap(M, F) - Method in Monad

Sequentially compose two actions, passing any value produced by the first as an argument to the second. (>>=) :: forall a b. m a -> (a -> m b) -> m b

flatMap(Option, F) - Method in OptionMonad

flatMap(Set, F) - Method in SetMonad

fmap(F, Object) - Method in Functor

fmap :: (a -> b) -> f a -> f b

fmap(F, List) - Method in ListApplicative

fmap(F, List) - Method in ListFunctor

fmap(F, M) - Method in Monad

Implements Functor interface using Monad combinators fmap :: (a -> b) -> f a -> f b

fmap(F, Option) - Method in OptionApplicative

fmap(F, Option) - Method in OptionFunctor

foldM_(List, B, F2) - Method in Monad

foldM(List, B, F2) - Method in Monad

Functor - Interface in com.github.mperry.fg.typeclass

Created by MarkPerry on 9/04/2014.

G

H

I

J

join(M) - Method in Monad

The join function is the conventional monad join operator.

K

L

left(App, App) - Method in Applicative

(<*) :: f a -> f b -> f a

liftA2(F2, App, App) - Method in Applicative

liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c

liftA3(F3, App, App, App) - Method in Applicative

liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d

liftA(F, App) - Method in Applicative

liftA :: Applicative f => (a -> b) -> f a -> f b

liftM2(M, M, F2) - Method in Monad

Promote a function to a monad, scanning the monadic arguments from left to right.

liftM3(M, M, M, F3) - Method in Monad

Promote a function to a monad, scanning the monadic arguments from left to right (cf. liftM2).

liftM(M, F) - Method in Monad

Promote a function to a monad.

ListApplicative - Class in com.github.mperry.fg.typeclass.concrete

Created by MarkPerry on 10/04/2014.

ListFunctor - Class in com.github.mperry.fg.typeclass.concrete

Created by MarkPerry on 10/04/2014.

ListMonad - Class in com.github.mperry.fg.typeclass.concrete

Created by MarkPerry on 10/04/2014.

M

map2(M, M, F2) - Method in Monad

map(M, F) - Method in Monad

mappend(A, A) - Method in Monoid

mappend :: a -> a -> a

mempty() - Method in Monoid

mempty :: a

Monad - Class in com.github.mperry.fg.typeclass

Created by MarkPerry on 30/12/13.

MonadPlus - Class in com.github.mperry.fg.typeclass

Created by MarkPerry on 12/04/2014.

Monoid - Interface in com.github.mperry.fg.typeclass

Created by MarkPerry on 9/04/2014.

N

O

OptionApplicative - Class in com.github.mperry.fg.typeclass.concrete

Created by MarkPerry on 10/04/2014.

OptionFunctor - Class in com.github.mperry.fg.typeclass.concrete

Created by MarkPerry on 10/04/2014.

OptionMonad - Class in com.github.mperry.fg.typeclass.concrete

Created by MarkPerry on 10/04/2014.

P

pure(A) - Method in Applicative

pure :: a -> f a

pure(A) - Method in ListApplicative

pure(A) - Method in Monad

Implements Applicative.pure using Monad combinators pure :: a -> f a

pure(A) - Method in OptionApplicative

Q

R

replicateM(Integer, M) - Method in Monad

replicateM n act performs the action n times, gathering the results.

right(App, App) - Method in Applicative

(*>) :: f a -> f b -> f b

S

Semigroup - Interface in com.github.mperry.fg.typeclass

Created by MarkPerry on 9/04/2014.

sequence(List) - Method in Monad

Evaluate each action in the sequence from left to right, and collect the results.

SetMonad - Class in com.github.mperry.fg.typeclass.concrete

Created by MarkPerry on 10/04/2014.

skip(M) - Method in Monad

T

to(M, B) - Method in Monad

traverse(List, F) - Method in Monad

Map each element of a structure to an action, evaluate these actions from left to right and collect the results.

U

unit(B) - Method in ListMonad

unit() - Method in Monad

Returns a function representing unit

unit(B) - Method in OptionMonad

unit(B) - Method in SetMonad

unless(Boolean, M) - Method in Monad

The reverse of when.

V

W

when(Boolean, M) - Method in Monad

Conditional execution of monadic expressions.

X

Y

Z

_

Groovy Documentation