Where to find the latest repo Ledger.Constraints?

Question

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?

Answer 1

The repos are these:

https://github.com/input-output-hk/plutus

https://github.com/input-output-hk/plutus-apps

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