package exenum

You can search for identifiers within the package.

in-package search v0.2.0

Build efficient enumerations for datatypes. Inspired by Feat for Haskell.

Install

sha256=d1d0f10e592895ecce69fe31cacd7572077dff4f960a6f16d223f56274be4a8f

md5=f4d7c0bf20a74918f68919ff28739b4f

Sourcetype 'a part = {

}

Sourceval empty_part : 'a part

Sourceval uninitialized_part : 'a part

Sourceval part_from_list : 'a list -> 'a part

Sourceval map_part : ('a -> 'b) -> 'a part -> 'b part

Sourceval union_parts : 'a part list -> 'a part

Sourceval product_parts : 'a part list -> 'a list part