dep-software-0.1.0.0

Signatures

Modules

• Dep
  Submodules

  • Algorithm
    Submodules

    •  Dep.Algorithm.Levenshtein A module to determine the edit distance between two sequences.
    •  Dep.Algorithm.Synthesis A module to convert a Three of ThreeValues into a sum-of-products of a product-of-sums.
  • Bricks
    Submodules

    •  Dep.Bricks.Box A module to define characters that are used in the other modules for the bricks.
    •  Dep.Bricks.Circuit A module that exports widgets to render circuits effectively.
    •  Dep.Bricks.Gate A module to render different types of gates for the bricks UI.
    •  Dep.Bricks.Karnaugh A module to render Karnaugh cards in an interactive way.
    •  Dep.Bricks.Layered A module to combine several Image layers to one Layer.
    •  Dep.Bricks.Layout A module to specify how a circuit is rendered.
    •  Dep.Bricks.Negation A module to create images with negations for the gate and wires.
    •  Dep.Bricks.Palette A module to aims to make it easier to select colors that are distant from each other.
    •  Dep.Bricks.Utils A module that provides utility functions to render Images.
  • Class
    Submodules

    •  Dep.Class.Mergeable A module to define logic to merge two values about.
    •  Dep.Class.NonDeterministicWalkable A module that exposes a type class that allows non-deterministic "walking" through a data structure.
    •  Dep.Class.Opposite A module that exposes a type class that specifies that for an item of a specific type, there is an item that is the opposite of the given item.
    •  Dep.Class.Renderable A module that has a type class to render an object.
    •  Dep.Class.Simplify A module that exposes a type class Simplify that can simplify objects of types that are a member of that typeclass.
    •  Dep.Class.Walkable A module that exposes a type class that allows "walking" through a data structure.
  • Data
    Submodules

    •  Dep.Data.LogicItem A module that defines data structures for a sums, products, sum-of-products and product-of-sums.
    •  Dep.Data.Product A module that defines data structures for a product, and a sum-of-products.
    •  Dep.Data.Sum A module that defines data structures for a sum, and a product-of-sums.
    •  Dep.Data.Three A module that defines a three data structure, used for lookup tables with don't cares.
    •  Dep.Data.ThreeValue A module to define three-value logic.
  •  Dep.Utils A module that defines helper functions and data structures.