org.scalactic

algebra

package algebra

Visibility
  1. Public
  2. All

Type Members

  1. trait Functor[Context[_]] extends AnyRef

    Algebraic structure containing a map methods that obeys laws of identity and composition.

    Algebraic structure containing a map methods that obeys laws of identity and composition.

  2. trait FunctorProxy[Context[_], T] extends AnyRef

    Proxy for algebraic structure containing a mapping method that obeys laws of identity and composition.

    Proxy for algebraic structure containing a mapping method that obeys laws of identity and composition.

    A FunctorProxy instance wraps an object that in some way behaves as a Functor.

  3. trait Monad[Context[_]] extends AnyRef

    Algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.

    Algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.

  4. trait MonadProxy[Context[_], T] extends AnyRef

    Proxy for algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.

    Proxy for algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.

    A MonadProxy instance wraps an object that in some way behaves as a Monad.

Ungrouped