primitive libs#

In this documentation we introduce the primitive f-utils libs.

description#

The primitive libs are general and multi context. They contains the implementation of the main concepts, including our systematics.

libs#

  1. f: implements the systematics and the f-systems

  2. f-core: constructs the main instances of the systematics

  3. f-mon: with useful monads

structure#

Each primitive lib provides certain fundamental classes, which are always represented by a single lowercase letter, as follows.

lib        class     scope
-------------------------------------------------
f          f         systematics implementation
f-core     t         fundamental types
f-core     o         main type operations
f-core     s         basic spetra examples
f-core     g         principal global tests
f-mon      m         useful monads