# Package com.jnape.palatable.lambda.functions.specialized

- Interface Summary
  Interface | Description
  --- | ---
  BiMonoidFactory<A,B,C> |
  BiPredicate<A,B> | A specialized `Fn2` that returns a Boolean when fully applied, or a `Predicate` when partially applied.
  BiSemigroupFactory<A,B,C> |
  Kleisli<A,B,M extends Monad<?,M>,MB extends Monad<B,M>> | The Kleisli arrow of a `Monad`, manifest as simply an ``Fn1`<A, MB>`.
  Lift<B extends MonadBase<?,?,B>> | Generalized, portable lifting operation for lifting a `MonadRec` into a `MonadBase`.
  MonoidFactory<A,B> |
  Predicate<A> | A specialized `Fn1` that returns a `Boolean`.
  Pure<F extends Functor<?,? extends F>> | Generalized, portable `Applicative.pure(Object)`, with a loosened `Functor` constraint.
  SemigroupFactory<A,B> |
  SideEffect | An interface used to represent an effect that requires no input and produces no output, and therefore is only perceivable through inspection of some unreported state.