| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Rewrite
Synopsis
- rewrite ∷ Era era ⇒ [Pred era] → [Pred era]
- rewriteGen ∷ Era era ⇒ (Int, [Pred era]) → Gen (Int, [Pred era])
- rewritePred ∷ Era era ⇒ Int → Pred era → Gen ([Pred era], Int)
- compile ∷ Era era ⇒ OrderInfo → [Pred era] → Typed (DependGraph era)
- compileGenWithSubst ∷ Era era ⇒ OrderInfo → Subst era → [Pred era] → Gen (Int, DependGraph era)
- removeSameVar ∷ Era era ⇒ [Pred era] → [Pred era] → [Pred era]
- removeEqual ∷ Era era ⇒ [Pred era] → [Pred era] → [Pred era]
- newtype DependGraph era = DependGraph [([Name era], [Pred era])]
- accumdep ∷ Era era ⇒ OrderInfo → Map (Name era) (HashSet (Name era)) → Pred era → Map (Name era) (HashSet (Name era))
- data OrderInfo = OrderInfo {}
- standardOrderInfo ∷ OrderInfo
- initialOrder ∷ ∀ era. Era era ⇒ OrderInfo → [Pred era] → Typed [Name era]
- showGraph ∷ (Vertex → String) → Graph → String
- listEq ∷ (a → b → Bool) → [a] → [b] → Bool
- mkDependGraph ∷ ∀ era. Era era ⇒ Int → [([Name era], [Pred era])] → HashSet (Name era) → [Name era] → [Name era] → [Pred era] → Typed (DependGraph era)
- notBefore ∷ Pred era → Bool
- cpeq ∷ Era era ⇒ Pred era → Pred era → Bool
- cteq ∷ Era era ⇒ Term era t → Term era t → Bool
- mkNewVar ∷ ∀ era d r. Term era (Map d r) → Term era (Set d)
- addP ∷ Era era ⇒ Pred era → [Pred era] → [Pred era]
- addPred ∷ Era era ⇒ HashSet (Name era) → Pred era → [Name era] → [Pred era] → [Pred era] → [Pred era]
- partitionE ∷ (a → Either b a) → [a] → ([b], [a])
- rename ∷ Name era → [Int] → [Name era]
Documentation
compile ∷ Era era ⇒ OrderInfo → [Pred era] → Typed (DependGraph era) Source #
Construct the DependGraph
compileGenWithSubst ∷ Era era ⇒ OrderInfo → Subst era → [Pred era] → Gen (Int, DependGraph era) Source #
Construct the DependGraph
newtype DependGraph era Source #
An Ordering
Constructors
| DependGraph [([Name era], [Pred era])] |
Instances
| Era era ⇒ Show (DependGraph era) Source # | |
Defined in Test.Cardano.Ledger.Constrained.Rewrite | |
accumdep ∷ Era era ⇒ OrderInfo → Map (Name era) (HashSet (Name era)) → Pred era → Map (Name era) (HashSet (Name era)) Source #
Constructors
| OrderInfo | |
Fields | |
mkDependGraph ∷ ∀ era. Era era ⇒ Int → [([Name era], [Pred era])] → HashSet (Name era) → [Name era] → [Name era] → [Pred era] → Typed (DependGraph era) Source #
addPred ∷ Era era ⇒ HashSet (Name era) → Pred era → [Name era] → [Pred era] → [Pred era] → [Pred era] Source #
partitionE ∷ (a → Either b a) → [a] → ([b], [a]) Source #