A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _

A

addArbs(Map<Class<?>, Arbitrary>) - Method in Model

addGenerator(Generator) - Method in Comprehension

and(F2, F2) - Method in SkiCalculus

andThen(Lens<B, C>) - Method in Lens

andThen(F<B, C>) - Method in ReaderM

ap(List<A>, List<F<A, B>>) - Method in ListMonadExtension

ap(Set<A>, Set<F<A, B>>) - Method in SetExtension2

ap(Set<A>, Set<F<A, B>>) - Method in SetMonadExtension

append1(SimpleIO<B>) - Method in SimpleIO

append(SimpleIO<B>) - Method in SimpleIO

applicative() - Method in ListMonadExtension

apply(List<A>, List<F<A, B>>) - Method in ListMonadExtension

apply(Set<A>, Set<F<A, B>>) - Method in SetExtension2

apply(Set<A>, Set<F<A, B>>) - Method in SetMonadExtension

asyncFj(SimpleIO<A>) - Method in SimpleIOExtension

asyncGpars(SimpleIO<A>) - Method in SimpleIOExtension

asyncJava(SimpleIO<A>, ExecutorService) - Method in SimpleIOExtension

B

C

callCommon(List<Object>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

check(Property, Boolean) - Method in Specification

checkTypes(List<Object>, Closure<Boolean>) - Method in Specification

CollectionExtension2 - Class in com.github.mperry.fg

Created by MarkPerry on 12/04/2014.

CollectionStaticExtension2 - Class in com.github.mperry.fg

Created by MarkPerry on 12/04/2014.

common(Object, Method, List) - Method in MethodVerifier

compose(Lens<C, A>) - Method in Lens

compose(List, F<B, List<C>>, F<A, List<B>>) - Method in ListMonadStaticExtension

compose(Set, F<B, Set<C>>, F<A, Set<B>>) - Method in SetMonadStaticExtension

compose(Set, F<B, Set<C>>, F<A, Set<B>>) - Method in SetStaticExtension2

Comprehension - Class in com.github.mperry.fg

Created with IntelliJ IDEA.

console() - Method in IOConstants

consoleReadLineOption() - Method in IOConstants

contractsOk(Throwable) - Method in DbcContractValidator

contractViolation(Throwable) - Method in DbcContractValidator

create() - Method in SetExtension2

createArb(Method) - Method in MethodVerifier

createProp0(List<Arbitrary<?>>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

createProp1(Object, Method, List) - Method in MethodVerifier

createProp1(List<Arbitrary<?>>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

createProp2(Object, Method, List) - Method in MethodVerifier

createProp2(List<Arbitrary<?>>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

createProp3(Object, Method, List) - Method in MethodVerifier

createProp3(List<Arbitrary<?>>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

createProp4(Object, Method, List) - Method in MethodVerifier

createProp4(List<Arbitrary<?>>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

createProp5(Object, Method, List) - Method in MethodVerifier

createProp5(List<Arbitrary<?>>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

createProp6(Object, Method, List) - Method in MethodVerifier

createProp7(Object, Method, List) - Method in MethodVerifier

createProp8(Object, Method, List) - Method in MethodVerifier

createProp(Object, Method, List) - Method in MethodVerifier

createProp(Map<Class<?>, Arbitrary>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

D

DbcContractValidator - Class in com.github.mperry.fg.test

Created with IntelliJ IDEA.

defaultService() - Method in SimpleIO

defaultStrategy() - Method in SimpleIO

dynamicCreateProp(List<Arbitrary>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

E

empty() - Method in IOConstants

empty() - Method in SimpleIOStaticExtension

eval(S) - Method in State

exec(S) - Method in State

F

f(A) - Method in ReaderM

False_() - Method in SkiCalculus

False(X, Y) - Method in SkiCalculus

false

filterM(List, List<A>, F<A, List<Boolean>>) - Method in ListMonadStaticExtension

filterM(Set, List<A>, F<A, Set<Boolean>>) - Method in SetMonadStaticExtension

filterM(Set, List<A>, F<A, Set<Boolean>>) - Method in SetStaticExtension2

fjPromise() - Method in SimpleIO

flatMap1(F<A, SimpleIO<B>>) - Method in SimpleIO

flatMap(F<A, IdentityM<B>>) - Method in IdentityM

flatMap(Identity<A>, F<A, Identity<B>>) - Method in IdentityMonad

flatMap(F<B, State<A, C>>) - Method in Lens

flatMap(F<B, ReaderM<A, C>>) - Method in ReaderM

flatMap(Set<A>, F<A, Set<B>>) - Method in SetExtension2

flatMap(F<A, SimpleIO<B>>) - Method in SimpleIO

flatMap(Closure<State<S, B>>) - Method in State

flatMap(F<A, StateInt<B>>) - Method in StateInt

flatMap(StateInt<B>, F<B, StateInt<C>>) - Method in StateIntMonad

flatMap(F<A, WriterM<W, B>>) - Method in WriterM

fold(Sql, String, F<ResultSet, A>, F<Stream<A>, B>) - Method in SqlExtension

foldM_(List, List<A>, B, F2<B, A, List<B>>) - Method in ListMonadStaticExtension

foldM_(Set, Stream<A>, B, F2<B, A, Set<B>>) - Method in SetMonadStaticExtension

foldM_(Set, List<A>, B, F2<B, A, Set<B>>) - Method in SetStaticExtension2

foldM(List, List<A>, B, F2<B, A, List<B>>) - Method in ListMonadStaticExtension

foldM(Set, Stream<A>, B, F2<B, A, Set<B>>) - Method in SetMonadStaticExtension

foldM(Set, List<A>, B, F2<B, A, Set<B>>) - Method in SetStaticExtension2

foldRowResult(Sql, String, F<GroovyRowResult, A>, F<Stream<A>, B>) - Method in SqlExtension

foreach(Closure) - Method in Comprehension

funcType(List) - Method in MethodVerifier

funcType(List) - Method in Specification

future(ExecutorService) - Method in SimpleIO

FutureExtension - Class in com.github.mperry.fg

Created by MarkPerry on 18/04/2014.

FutureMonad - Class in com.github.mperry.fg

Created by MarkPerry on 18/04/2014.

G

Generator - Class in com.github.mperry.fg

Created with IntelliJ IDEA.

get(A) - Method in Lens

get() - Method in State

gets(F<S, A>) - Method in State

gparsPromise() - Method in SimpleIO

H

hasType(Object, Class) - Method in DbcContractValidator

I

I(X) - Method in SkiCalculus

Identity - Class in com.github.mperry.fg

Created by mperry on 1/07/2014.

IdentityM - Class in com.github.mperry.fg

Created by MarkPerry on 9/01/14.

IdentityMonad - Class in com.github.mperry.fg

Created by mperry on 1/07/2014.

idUnit() - Method in IdentityM

implies(Boolean, Boolean) - Method in Specification

invariantOk(Throwable) - Method in DbcContractValidator

IOConstants - Class in com.github.mperry.fg

Created with IntelliJ IDEA.

isGuard(String) - Method in Comprehension

J

join(List, List<List<A>>) - Method in ListMonadStaticExtension

join(Set, Set<Set<A>>) - Method in SetMonadStaticExtension

join(Set, Set<Set<A>>) - Method in SetStaticExtension2

K

K(X) - Method in SkiCalculus

L

leftShift(Object) - Method in Generator

Lens - Class in com.github.mperry.fg

Created by MarkPerry on 14/01/14.

Lens(F<A, B>, F2<A, B, A>) - Constructor in Lens

lift(B) - Method in IdentityM

lift(F<C, D>, F2<C, D, C>) - Method in Lens

lift(F<C, D>) - Method in ReaderM

lift(P1<B>) - Method in SimpleIO

lift(F<S1, P2<S1, A1>>) - Method in State

lift(B) - Method in WriterM

liftA2(List<A>, List<B>, F2<A, B, C>) - Method in ListMonadExtension

liftA2(Set<A>, Set<B>, F2<A, B, C>) - Method in SetMonadExtension

liftA3(List<A>, List<B>, List<C>, F3<A, B, C, D>) - Method in ListMonadExtension

liftA3(Set<A>, Set<B>, Set<C>, F3<A, B, C, D>) - Method in SetMonadExtension

liftA(List<A>, F<A, B>) - Method in ListMonadExtension

liftA(Set<A>, F<A, B>) - Method in SetMonadExtension

liftM2(List<A>, List<B>, F2<A, B, R>) - Method in ListMonadExtension

liftM2(Set<A>, Set<B>, F2<A, B, R>) - Method in SetExtension2

liftM2(Set<A>, Set<B>, F2<A, B, R>) - Method in SetMonadExtension

liftM3(List<A>, List<B>, List<C>, F3<A, B, C, R>) - Method in ListMonadExtension

liftM3(Set<A>, Set<B>, Set<C>, F3<A, B, C, R>) - Method in SetExtension2

liftM3(Set<A>, Set<B>, Set<C>, F3<A, B, C, R>) - Method in SetMonadExtension

liftM(List<A>, F<A, B>) - Method in ListMonadExtension

liftM(Set<A>, F<A, B>) - Method in SetExtension2

liftM(Set<A>, F<A, B>) - Method in SetMonadExtension

liftS(F<S1, S1>) - Method in State

ListMonadExtension - Class in com.github.mperry.fg

Created by MarkPerry on 16/01/14.

ListMonadStaticExtension - Class in com.github.mperry.fg

Created by MarkPerry on 16/01/14.

log() - Method in WriterM

M

map2(List<A>, List<B>, F2<A, B, C>) - Method in ListMonadExtension

map2(Set<A>, Set<B>, F2<A, B, C>) - Method in SetExtension2

map2(Set<A>, Set<B>, F2<A, B, C>) - Method in SetMonadExtension

map(F<B, C>) - Method in Lens

map(F<B, C>) - Method in ReaderM

map(Set<A>, F<A, B>) - Method in SetExtension2

map(F<A, B>) - Method in SimpleIO

map(Closure<B>) - Method in State

map(F<A, B>) - Method in WriterM

mapLens(K) - Method in Lens

mapState(F<P2<S, A>, P2<S, B>>) - Method in State

MethodVerifier - Class in com.github.mperry.fg.test

Created with IntelliJ IDEA.

mod(Closure<B>) - Method in Lens

Model - Class in com.github.mperry.fg.test

Created with IntelliJ IDEA.

modify(F<S, S>) - Method in State

monad() - Method in ListMonadExtension

monad() - Method in ListMonadStaticExtension

monad() - Method in SetExtension2

monad() - Method in SetMonadExtension

monad() - Method in SetMonadStaticExtension

monad() - Method in SetStaticExtension2

N

newLoader() - Method in TypeLambda

not(F2<A, B, C>) - Method in SkiCalculus

O

observableResultSet(ResultSet, F<ResultSet, A>) - Method in SqlExtension

observableRowResult(ResultSet, F<GroovyRowResult, A>) - Method in SqlExtension

observableRowResultI(ResultSet, F<GroovyRowResult, A>) - Method in SqlExtension

or(F2, F2) - Method in SkiCalculus

P

p(Future<A>) - Method in FutureExtension

partialStateApplication(GroovyClassLoader, Class<S>) - Method in TypeLambda

perform(Closure<Boolean>, List) - Method in Specification

postOk(Throwable) - Method in DbcContractValidator

preOk(Throwable) - Method in DbcContractValidator

product(Lens<C, D>) - Method in Lens

promise(Future<A>, Strategy) - Method in FutureExtension

propertyMissing(String) - Method in Comprehension

propertyMissing(String) - Method in Yield

pure(Set, A) - Method in SetStaticExtension2

put(S1) - Method in State

Q

R

RandStateInteger - Class in com.github.mperry.fg

Created by MarkPerry on 17/02/14.

ReaderM - Class in com.github.mperry.fg

Created by MarkPerry on 11/01/14.

ReaderM(F<A, B>) - Constructor in ReaderM

replicateM(List<A>, Integer) - Method in ListMonadExtension

replicateM(Set<A>, Integer) - Method in SetExtension2

replicateM(Set<A>, Integer) - Method in SetMonadExtension

rowResult() - Method in SqlExtension

run() - Method in SimpleIO

run(S) - Method in State

S

S(F<Z, F<A, B>>, F<Z, A>, Z) - Method in SkiCalculus

sequence(List, List<List<A>>) - Method in ListMonadStaticExtension

sequence(Set, List<Set<A>>) - Method in SetMonadStaticExtension

sequence(Set, List<Set<A>>) - Method in SetStaticExtension2

sequenceWhileC(SimpleIO, Stream<SimpleIO<A>>, F<A, Boolean>) - Method in SimpleIOStaticExtension

sequenceWhileR(SimpleIO, Stream<SimpleIO<A>>, F<A, Boolean>) - Method in SimpleIOStaticExtension

set(A, B) - Method in Lens

SetExtension2 - Class in com.github.mperry.fg

Created by MarkPerry on 12/04/2014.

setLens(K) - Method in Lens

SetMonadExtension - Class in com.github.mperry.fg

Created by MarkPerry on 13/04/2014.

SetMonadStaticExtension - Class in com.github.mperry.fg

Created by MarkPerry on 13/04/2014.

SetStaticExtension2 - Class in com.github.mperry.fg

Created by MarkPerry on 12/04/2014.

showAllWithMap(Boolean, Map<Class<?>, Arbitrary>, Option<Closure<Boolean>>, Closure<Boolean>, F<Validation<Throwable, Boolean>, Boolean>) - Method in Specification

SimpleIO - Class in com.github.mperry.fg

Created with IntelliJ IDEA.

SimpleIOExtension - Class in com.github.mperry.fg

SimpleIOStaticExtension - Class in com.github.mperry.fg

Created with IntelliJ IDEA.

SkiCalculus - Class in com.github.mperry.fg

Created by MarkPerry on 14/01/14.

skip(List<A>) - Method in ListMonadExtension

skip(Set<A>) - Method in SetExtension2

skip(Set<A>) - Method in SetMonadExtension

spec(Closure<Boolean>) - Method in Specification

specAssert(Property) - Method in Specification

Specification - Class in com.github.mperry.fg.test

Created with IntelliJ IDEA.

SqlExtension - Class in com.github.mperry.fg

Created by MarkPerry on 2/02/14.

SqlExtensionJava - Class in com.github.mperry.fg

Created by MarkPerry on 2/02/14.

State - Class in com.github.mperry.fg

Created by MarkPerry on 9/01/14.

state() - Method in Lens

StateInt - Class in com.github.mperry.fg

Created by MarkPerry on 9/01/14.

StateInt(F<Integer, P2<Integer, A>>) - Constructor in StateInt

StateIntMonad - Class in com.github.mperry.fg

Created by MarkPerry on 9/01/14.

stateMonad(GroovyClassLoader, Class<? extends State<S, ?>>, Class<S>) - Method in TypeLambda

stdinReadLine() - Method in IOConstants

stdoutWriteLine(String) - Method in IOConstants

stream(Sql, String) - Method in SqlExtension

StreamExtension2 - Class in com.github.mperry.fg

Created by MarkPerry on 20/01/14.

streamResultSet(ResultSet, F<ResultSet, A>) - Method in SqlExtension

streamRowResult(ResultSet, F<GroovyRowResult, A>) - Method in SqlExtension

StreamStaticExtension2 - Class in com.github.mperry.fg

Created by MarkPerry on 20/01/14.

sum(Lens<C, B>) - Method in Lens

T

tell(W) - Method in WriterM

to(List<A>, B) - Method in ListMonadExtension

to(Set<A>, B) - Method in SetExtension2

to(Set<A>, B) - Method in SetMonadExtension

transform(SimpleIO<Trampoline<SimpleIO<Stream<A>>>>) - Method in SimpleIO

traverse(List<A>, F<A, List<B>>) - Method in ListMonadExtension

traverse(Set, List<A>, F<A, Set<B>>) - Method in SetStaticExtension2

True_() - Method in SkiCalculus

True(X, Y) - Method in SkiCalculus

true

TypeLambda - Class in com.github.mperry.fg

Created by MarkPerry on 9/01/14.

U

unfold(Stream, B, Closure<Option<P2<A, B>>>) - Method in StreamStaticExtension2

unit(B) - Method in IdentityM

unit(B) - Method in IdentityMonad

unit(Set) - Method in SetStaticExtension2

unit(F<S1, P2<S1, A1>>) - Method in State

unit(B) - Method in StateIntMonad

update(F<Unit, B>) - Method in Lens

V

validateThrowable() - Method in DbcContractValidator

validateValidation() - Method in DbcContractValidator

validator(F<Throwable, Boolean>) - Method in Model

verify(Object, Method) - Method in MethodVerifier

W

withs(F<S, S>) - Method in State

WriterM - Class in com.github.mperry.fg

Created by MarkPerry on 11/01/14.

WriterM(A, W, F2<W, W, W>) - Constructor in WriterM

X

Y

Yield - Class in com.github.mperry.fg

Created with IntelliJ IDEA.

yield(Closure<?>) - Method in Comprehension

Z

_