Documentation

type Chunks constraint = [Chunk constraint]Source

type Chunk constraint = (ChunkID, Tree constraint)Source

type ChunkID = IntSource

solveChunkConstraints :: (Map Int (Scheme Predicates) -> constraint -> constraint) -> ConstraintSolver constraint info -> (Tree constraint -> [constraint]) -> Chunks constraint -> ConstraintSolver constraint infoSource