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=ab25cd106937fefef265abc6e7157a1d48c5ea6663fab7d782914d9659ff4aee

md5=5367c3fe8d5a3b645c719b48889a6fce

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