module Test.Cardano.Ledger.Api.State.Query.Examples (
  queryConstitutionExamples,
) where

import Cardano.Ledger.Api.Governance (Constitution (..))
import Cardano.Ledger.BaseTypes (StrictMaybe (..))
import Test.Cardano.Ledger.Conway.Examples (exampleAnchor)
import Test.Cardano.Ledger.Shelley.Examples (mkScriptHash)

queryConstitutionExamples :: [Constitution era]
queryConstitutionExamples :: forall era. [Constitution era]
queryConstitutionExamples =
  [ Constitution
      { constitutionAnchor :: Anchor
constitutionAnchor = Anchor
exampleAnchor
      , constitutionGuardrailsScriptHash :: StrictMaybe ScriptHash
constitutionGuardrailsScriptHash = ScriptHash -> StrictMaybe ScriptHash
forall a. a -> StrictMaybe a
SJust (Int -> ScriptHash
mkScriptHash Int
1)
      }
  , Constitution
      { constitutionAnchor :: Anchor
constitutionAnchor = Anchor
exampleAnchor
      , constitutionGuardrailsScriptHash :: StrictMaybe ScriptHash
constitutionGuardrailsScriptHash = StrictMaybe ScriptHash
forall a. StrictMaybe a
SNothing
      }
  ]