cnocco/cover

Functions for finding a canonical cover. This is the main file of the library. For an example of how to use this library, see the README.

Values

</>

pub fn from_dependencies(
  deps: List(dependency.Dependency),
) -> List(dependency.Dependency)

Finds a canonical cover for the list of functional dependencies.

</>

pub fn from_lists(
  entries: List(#(List(Int), List(Int))),
) -> Result(List(dependency.Dependency), Nil)

Finds a canonical cover for the list of functional dependencies.

The entries are converted to Dependencys before anything. This is just a short-hand for from_dependencies.

</>

pub fn from_sets(
  entries: List(#(set.Set(Int), set.Set(Int))),
) -> Result(List(dependency.Dependency), Nil)

Finds a canonical cover for the list of functional dependencies.

The entries are converted to Dependencys before anything. This is just a short-hand for from_dependencies.