Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Util.Tails
Synopsis
- data Tails (f ∷ k → k → Type) (xs ∷ [k]) where
- mk1 ∷ Tails f '[x]
- mk2 ∷ f x y → Tails f '[x, y]
- mk3 ∷ f x y → f x z → f y z → Tails f '[x, y, z]
- hcmap ∷ ∀ proxy c f g xs. All c xs ⇒ proxy c → (∀ x y. (c x, c y) ⇒ f x y → g x y) → Tails f xs → Tails g xs
- hcpure ∷ ∀ proxy f c xs. All c xs ⇒ proxy c → (∀ x y. (c x, c y) ⇒ f x y) → Tails f xs
- hmap ∷ SListI xs ⇒ (∀ x y. f x y → g x y) → Tails f xs → Tails g xs
- hpure ∷ SListI xs ⇒ (∀ x y. f x y) → Tails f xs