net.categoricaldata.category

SmallCategory

trait SmallCategory extends Category

Self Type
SmallCategory
Source
SmallCategory.scala
Linear Supertypes
Category, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SmallCategory
  2. Category
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Type Members

  1. trait CategoriesOver extends Category

    Attributes
    protected
  2. trait CategoryOver extends withSmallTarget

    Attributes
    protected
  3. abstract type D <: FunctorsToSet

  4. trait EndoFunctor extends FunctorFrom with FunctorTo with ParametrizedFunctor[Category.this.type, Category.this.type]

    Attributes
    protected
  5. trait FunctorFrom extends Functor

    Attributes
    protected
  6. trait FunctorOver extends AnyRef

    Attributes
    protected
  7. trait FunctorTo extends Functor

    Attributes
    protected
  8. trait FunctorToSet extends FunctorFrom with FunctorToSet with withSmallSource

  9. trait FunctorsToSet extends FunctorsToSet with InitialObject with TerminalObject with Products with Coproducts

  10. trait Identity extends EndoFunctor

  11. abstract type M

    Definition Classes
    Category
  12. trait NaturalTransformationFrom extends NaturalTransformation

    Attributes
    protected
  13. trait NaturalTransformationOver extends NaturalTransformation

    Attributes
    protected
  14. trait NaturalTransformationTo extends NaturalTransformation

    Attributes
    protected
  15. trait NaturalTransformationToSet extends NaturalTransformationFrom with NaturalTransformationToSet

  16. abstract type O

    Definition Classes
    Category
  17. trait Opposite extends Category

    Attributes
    protected

Abstract Value Members

  1. abstract def compose(m1: M, m2: M): M

    Definition Classes
    Category
  2. abstract val functorsToSet: D

  3. abstract def identity(o: O): M

    Definition Classes
    Category
  4. abstract val opposite: SmallCategory

  5. abstract def source(m: M): O

    Definition Classes
    Category
  6. abstract def target(m: M): O

    Definition Classes
    Category

Concrete Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. object AllFunctorsToSet extends FunctorsToSet

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  8. def categoriesOver: CategoriesOver

  9. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  10. def compose(o: O, ms: List[M]): M

    Definition Classes
    Category
  11. def compose(m0: M, ms: M*): M

    Definition Classes
    Category
  12. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  14. def exponentiate(m: M, k: Int): M

    Definition Classes
    Category
  15. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  16. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  18. val identityFunctor: Identity

    Definition Classes
    Category
  19. def internalize(t: NaturalTransformationToSet): M

  20. def internalize(f: FunctorToSet): O

  21. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  22. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  23. final def notify(): Unit

    Definition Classes
    AnyRef
  24. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  25. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  26. def toString(): String

    Definition Classes
    AnyRef → Any
  27. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  28. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  29. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Category

Inherited from AnyRef

Inherited from Any