Datafix

This is the top-level, import-all, kitchen sink module.

Look at Datafix.Tutorial for a tour guided by use cases.

Documentation

module Datafix.Common

module Datafix.Denotational

module Datafix.Explicit

module Datafix.NodeAllocator

module Datafix.ProblemBuilder

module Datafix.Utils.TypeLevel

module Datafix.Worklist