lib:unique-logic
Modules
- UniqueLogic.ST.Duplicate
- UniqueLogic.ST.Example.Expression
- UniqueLogic.ST.Example.Label
- UniqueLogic.ST.Example.Rule
- UniqueLogic.ST.Example.Term
- UniqueLogic.ST.Example.Verify
- UniqueLogic.ST.Expression
- UniqueLogic.ST.MonadTrans
- UniqueLogic.ST.Rule
- UniqueLogic.ST.System
- UniqueLogic.ST.System.Label
- UniqueLogic.ST.System.Simple
Dependencies
- base lib:base >=4 && <5
- explicit-exception lib:explicit-exception >=0.1.7 && <0.3
- transformers lib:transformers >=0.2 && <0.7
- utility-ht lib:utility-ht >=0.0.9 && <0.1
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- unique-logic test:test-unique-logic