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.

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

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

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

    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.

Ungrouped