Package com.github.tonivade.purefun.typeclasses

Class Instance<F extends Kind<F,?>>

java.lang.Object

com.github.tonivade.purefun.typeclasses.Instance<F>

public abstract class Instance<F extends Kind<F,?>>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final Class<?>	kindType
private final Type	type

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Instance()
protected	Instance(Class<F> clazz)

Method Summary

Modifier and Type	Method	Description
Applicative<F>	applicative(Object... params)
<E> ApplicativeError<F,E>	applicativeError(Object... params)
Async<F>	async(Object... params)
Comonad<F>	comonad(Object... params)
Concurrent<F>	concurrent(Object... params)
Console<F>	console(Object... params)
private static <F extends Kind<F, ?>> Class<?>	findClass(Instance<F> instance)
private static Method	findMethod(Class<?> instanceClass, Class<?> typeClass, Object... args)
Foldable<F>	foldable(Object... params)
Functor<F>	functor(Object... params)
private static Type	genericType(Type type)
private static <T> T	getInstance(Method method, Object... args)
Class<?>	getKindType()
Type	getType()
protected String	instanceName()
private static Class<?>	kindType(Type type)
private static <F extends Kind<F, ?>, T> T	load(Instance<F> instance, Class<?> typeClass, Object... args)
Monad<F>	monad(Object... params)
MonadDefer<F>	monadDefer(Object... params)
<E> MonadError<F,E>	monadError(Object... params)
<R> MonadReader<F,R>	monadReader(Object... params)
<S> MonadState<F,S>	monadState(Object... params)
MonadThrow<F>	monadThrow(Object... params)
<W> MonadWriter<F,W>	monadWriter(Object... params)
Runtime<F>	runtime(Object... params)
Selective<F>	selective(Object... params)
Traverse<F>	traverse(Object... params)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

kindType

private final Class<?> kindType

type

private final Type type

Constructor Details

Instance

protected Instance(Class<F> clazz)

Instance

protected Instance()

Method Details

getKindType

public Class<?> getKindType()

getType

public Type getType()

functor

public Functor<F> functor(Object... params)

applicative

public Applicative<F> applicative(Object... params)

monad

public Monad<F> monad(Object... params)

monadReader

public <R> MonadReader<F,R> monadReader(Object... params)

monadState

public <S> MonadState<F,S> monadState(Object... params)

monadWriter

public <W> MonadWriter<F,W> monadWriter(Object... params)

comonad

public Comonad<F> comonad(Object... params)

selective

public Selective<F> selective(Object... params)

applicativeError

public <E> ApplicativeError<F,E> applicativeError(Object... params)

monadError

public <E> MonadError<F,E> monadError(Object... params)

monadThrow

public MonadThrow<F> monadThrow(Object... params)

monadDefer

public MonadDefer<F> monadDefer(Object... params)

async

public Async<F> async(Object... params)

concurrent

public Concurrent<F> concurrent(Object... params)

runtime

public Runtime<F> runtime(Object... params)

console

public Console<F> console(Object... params)

foldable

public Foldable<F> foldable(Object... params)

traverse

public Traverse<F> traverse(Object... params)

instanceName

protected String instanceName()

genericType

private static Type genericType(Type type)

kindType

private static Class<?> kindType(Type type)

load

private static <F extends Kind<F,
?>,
T> T load(Instance<F> instance,
 Class<?> typeClass,
 Object... args)

findClass

private static <F extends Kind<F,
?>> Class<?> findClass(Instance<F> instance)
                                                  throws ClassNotFoundException

Throws:

ClassNotFoundException

findMethod

private static Method findMethod(Class<?> instanceClass,
 Class<?> typeClass,
 Object... args)
                          throws NoSuchMethodException

Throws:

NoSuchMethodException

getInstance

private static <T> T getInstance(Method method,
 Object... args)
                          throws IllegalAccessException,
InvocationTargetException

Throws:

IllegalAccessException

InvocationTargetException