Revisiting Plutus pioneer code, I see Ledger-related code e.g. ScriptContext Plutus.V1.Ledger.Contexts or Interval Plutus.V1.Ledger.Interval. Is there a github repo equivalent for Ledger Constraints? Why are some code on github and some on haddock?
The repos are these:
You can import Interval, Contexts, and Constraints like this:
import Ledger.Constraints import Ledger.Contexts import Ledger.Interval
In the cabal file you would add them like this:
build-depends: ... , plutus-ledger , plutus-ledger-constraints