Cardano.Ledger.State.Transform
intern ∷ Ord k ⇒ k → Map k a → k Source #
internMaybe ∷ Ord k ⇒ k → Map k a → Maybe k Source #
internVal ∷ (Eq a, Ord k) ⇒ k → a → Map k a → a Source #
internsVal ∷ (Eq a, Ord k) ⇒ k → a → [Map k a] → a Source #
internValMaybe ∷ (Eq a, Ord k) ⇒ k → a → Map k a → Maybe a Source #