Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 
 
 

These: A Type for Inclusive Disjunction

NOTE: This library is unpublished is unpolished. Use at your own risk!

A (partial and WIP) port and adaptation of C. McCann’s and Oleg Grenrus’ Data.These Haskell library.

These.t is a type for inclusive disjunctions. This code base includes two libraries: the implementation of These.t and it’s associated functions, and the Align library, which uses These.t to enable zipping and unzipping structures with mismatched shapes (e.g., lists of unequal length).

These.t can be leveraged anywhere you want to represent a value which can be this thing of type 'a, that thing of type 'b, or both of these things given together.

About

An OCaml port of Haskell's Data.These and Data.Algin

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages