Metadata-Version: 2.1
Name: typesafe-monads
Version: 0.4
Summary: Type-annotated monad implementations for Python 3.7+
Home-page: https://github.com/correl/typesafe-monads
Author: Correl Roush
Author-email: correl@gmail.com
License: UNKNOWN
Description: # Type-safe Monads
        
        [![Build Status](https://travis-ci.com/correl/typesafe-monads.svg?branch=master)](https://travis-ci.com/correl/typesafe-monads)
        [![codecov](https://codecov.io/gh/correl/typesafe-monads/branch/master/graph/badge.svg)](https://codecov.io/gh/correl/typesafe-monads)
        
        This is an experiment in building monads in Python supported by strict
        type annotations. The goal is to be able to compose monads with the
        type checker ensuring their correctness.
        
        
        ## Motivation
        
        I'm a fan of monads, but believe they work best with the support of a
        strong type system. I've attempted to use libraries like
        [PyMonad](https://pypi.org/project/PyMonad/), but been frustrated by a
        lack of type constraints preventing incorrect usage. I could've
        attempted to add type annotations to one of those libraries, but
        building my own is more fun.
        
        
Platform: UNKNOWN
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Topic :: Software Development :: Libraries
Description-Content-Type: text/markdown
