Hackage :: [Package]

Metadata revisions for TrivialMonadWithUnitType-0.1.0.0

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r2 (TrivialMonadWithUnitType-0.1.0.0-r2) 2025-11-24T20:42:33Z AlexisSoutient 514060a6b4631ceae323fbb8dcd5e2bd802d32ad958c2e77fb9af576e3ac9b06

  • Changed description from 

    This code demonstrates how algebraic structures can be encoded in types. You can't actually "embed" any information, because the structure is trivial: it always erases any input.
    to 
    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.
-r1 (TrivialMonadWithUnitType-0.1.0.0-r1) 2025-11-24T20:00:09Z AlexisSoutient 5de21adaaa4e405444e8d9bbdbe731b7c07d63e48147fdff71655f353a0effed

  • Changed description 

    This code demonstrates how algebraic structures can be encoded in types. You can't actually "embed" any information, because the structure is trivial: it always erases any input.

  • Changed category 

    Development
-r0 (TrivialMonadWithUnitType-0.1.0.0-r0) 2025-11-24T18:43:23Z AlexisSoutient 12da06e5930b7be9effa97f618ba4092e21af50f73f129b511907be2f283357e