Safe Haskell | Safe |
---|---|
Language | Haskell98 |
UniqueLogic.ST.Duplicate
Description
This module provides several ways to cope with over-determined values.
Documentation
Minimal complete definition
Ignore duplicate ways to determine a variable. The chosen value depends on the particular algorithm.
Constructors
Ignore a |
Duplicate ways to determine a variable value
are always considered an error.
If you use Rule
s or Expression
s this is not a good idea,
since every rule is over-determined.
Constructors
Forbid a |