Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

## Synopsis

- initHardForkState ∷ f x → HardForkState f (x ': xs)
- fromTZ ∷ HardForkState f '[blk] → f blk
- match ∷ SListI xs ⇒ NS h xs → HardForkState f xs → Either (Mismatch h (Current f) xs) (HardForkState (Product h f) xs)
- sequence ∷ ∀ f m xs. (SListI xs, Functor m) ⇒ HardForkState (m :.: f) xs → m (HardForkState f xs)
- tip ∷ SListI xs ⇒ HardForkState f xs → NS f xs
- data Situated h f xs where
- SituatedCurrent ∷ Current f x → h x → Situated h f (x ': xs)
- SituatedNext ∷ Current f x → h y → Situated h f (x ': (y ': xs))
- SituatedFuture ∷ Current f x → NS h xs → Situated h f (x ': (y ': xs))
- SituatedPast ∷ K Past x → h x → Situated h f (x ': xs)
- SituatedShift ∷ Situated h f xs → Situated h f (x ': xs)

- situate ∷ NS h xs → HardForkState f xs → Situated h f xs
- align ∷ ∀ xs f f' f''. All SingleEraBlock xs ⇒ InPairs (Translate f) xs → NP (f' -.-> (f -.-> f'')) xs → HardForkState f' xs → HardForkState f xs → HardForkState f'' xs
- reconstructSummary ∷ Shape xs → TransitionInfo → HardForkState f xs → Summary xs

# Initialization

initHardForkState ∷ f x → HardForkState f (x ': xs) Source #

# Lifting `Telescope`

operations

fromTZ ∷ HardForkState f '[blk] → f blk Source #

match ∷ SListI xs ⇒ NS h xs → HardForkState f xs → Either (Mismatch h (Current f) xs) (HardForkState (Product h f) xs) Source #

sequence ∷ ∀ f m xs. (SListI xs, Functor m) ⇒ HardForkState (m :.: f) xs → m (HardForkState f xs) Source #

# Situated

data Situated h f xs where Source #

A `h`

situated in time

SituatedCurrent ∷ Current f x → h x → Situated h f (x ': xs) | |

SituatedNext ∷ Current f x → h y → Situated h f (x ': (y ': xs)) | |

SituatedFuture ∷ Current f x → NS h xs → Situated h f (x ': (y ': xs)) | |

SituatedPast ∷ K Past x → h x → Situated h f (x ': xs) | |

SituatedShift ∷ Situated h f xs → Situated h f (x ': xs) |

# Aligning

∷ ∀ xs f f' f''. All SingleEraBlock xs | |

⇒ InPairs (Translate f) xs | |

→ NP (f' -.-> (f -.-> f'')) xs | |

→ HardForkState f' xs | State we are aligning with |

→ HardForkState f xs | State we are aligning |

→ HardForkState f'' xs |

# EpochInfo/Summary

∷ Shape xs | |

→ TransitionInfo | At the tip |

→ HardForkState f xs | |

→ Summary xs |