<p>The repos are these:</p>
<p><a href="https://github.com/input-output-hk/plutus" rel="nofollow noreferrer">https://github.com/input-output-hk/plutus</a></p>
<p><a href="https://github.com/input-output-hk/plutus-apps" rel="nofollow noreferrer">https://github.com/input-output-hk/plutus-apps</a></p>
<p>You can import Interval, Contexts, and Constraints like this:</p>
<pre><code>import Ledger.Constraints
import Ledger.Contexts
import Ledger.Interval
</code></pre>
<p>In the cabal file you would add them like this:</p>
<pre><code>build-depends: ...
             , plutus-ledger
             , plutus-ledger-constraints
</code></pre>

CC BY-SA 4.0
2021-12-21T18:43:12.033Z
2021-12-21T18:43:12.033Z
Jey
<p>Revisiting Plutus pioneer code, I see Ledger-related code e.g.
ScriptContext <a href="https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/Plutus/V1/Ledger/Contexts.hs" rel="nofollow noreferrer">Plutus.V1.Ledger.Contexts</a> or Interval <a href="https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/Plutus/V1/Ledger/Interval.hs" rel="nofollow noreferrer">Plutus.V1.Ledger.Interval</a>. Is there a github repo equivalent for <a href="https://playground.plutus.iohkdev.io/doc/haddock/plutus-ledger-constraints/html/Ledger-Constraints-TxConstraints.html#v:icRedeemer" rel="nofollow noreferrer">Ledger Constraints</a>? Why are some code on github and some on haddock?</p>

<plutus><ledger><documentation>
Where to find the latest repo Ledger.Constraints?
# Where to find the latest repo Ledger.Constraints?

(Asked by: username_0 on 2021-12-21)

Revisiting Plutus pioneer code, I see Ledger-related code e.g.
ScriptContext [Plutus.V1.Ledger.Contexts](https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/Plutus/V1/Ledger/Contexts.hs) or Interval [Plutus.V1.Ledger.Interval](https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/Plutus/V1/Ledger/Interval.hs). Is there a github repo equivalent for [Ledger Constraints](https://playground.plutus.iohkdev.io/doc/haddock/plutus-ledger-constraints/html/Ledger-Constraints-TxConstraints.html#v:icRedeemer)? Why are some code on github and some on haddock?

**Tags:** plutus, ledger, documentation

---

## 1 answers

### Answer by username_1 on 2021-12-21. Score: 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


---

