@hackage / TrivialMonadWithUnitType

Trivial monad with Unit type

Latest0.1.0.0

About

Metadata

  • Last updated , by AlexisSoutient
  • License BSD-2-Clause
  • Categories Development

  • Maintained by: retablies@hotmail.com

  • Lottery factor: 1

Links

Installation

Readme

In a theoretical sense, this code describes a monadic group for producing a singleton or a single point, which is a compressible space or set because it can be continuously deformed to zero. It is not a free group with one generator, because there is no generator in this group. It is a free group with zero generators (the trivial group) for each object.