Documentation

scriptFL ∷ Reflect era ⇒ Lens' (Script era) (ScriptF era) Source #

strictMaybeMaybeL ∷ Lens' (StrictMaybe a) (Maybe a) Source #

txoutRefScriptL ∷ (Reflect era, BabbageEraTxOut era) ⇒ Lens' (TxOutF era) (Maybe (ScriptF era)) Source #

liftMaybeL ∷ Lens' a b → Lens' (Maybe a) (Maybe b) Source #

txoutScriptF ∷ (Reflect era, BabbageEraTxOut era) ⇒ Field era (TxOutF era) (Maybe (ScriptF era)) Source #

txoutScript ∷ (Reflect era, BabbageEraTxOut era) ⇒ Term era (Maybe (ScriptF era)) Source #

txoutDatumF ∷ (Reflect era, BabbageEraTxOut era) ⇒ Field era (TxOutF era) (Datum era) Source #

txoutDatum ∷ (Reflect era, BabbageEraTxOut era) ⇒ Term era (Datum era) Source #

txoutDataHashF ∷ (Reflect era, AlonzoEraTxOut era) ⇒ Field era (TxOutF era) (Maybe DataHash) Source #

txoutDataHash ∷ (Reflect era, AlonzoEraTxOut era) ⇒ Term era (Maybe DataHash) Source #

isBootstrapAddr ∷ Addr → Bool Source #

txOutPreds ∷ Reflect era ⇒ UnivSize → Proof era → Term era Coin → Term era [TxOutF era] → [Pred era] Source #

demo ∷ ReplMode → IO () Source #

demoTest ∷ TestTree Source #

main ∷ IO () Source #