ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol

Ouroboros.Consensus.HardFork.Combinator.Util.Tails

Synopsis

# Documentation

data Tails (f ∷ k → k → Type) (xs ∷ [k]) where Source #

For every tail (x ': xs) of the list, an f x y for every y in xs

Constructors

 TNil ∷ Tails f '[] TCons ∷ NP (f x) xs → Tails f xs → Tails f (x ': xs)

# Convenience constructors

mk1Tails f '[x] Source #

mk2 ∷ f x y → Tails f '[x, y] Source #

mk3 ∷ f x y → f x z → f y z → Tails f '[x, y, z] Source #

# SOP-like operators

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 Source #

hcpure ∷ ∀ proxy f c xs. All c xs ⇒ proxy c → (∀ x y. (c x, c y) ⇒ f x y) → Tails f xs Source #

hmapSListI xs ⇒ (∀ x y. f x y → g x y) → Tails f xs → Tails g xs Source #

hpureSListI xs ⇒ (∀ x y. f x y) → Tails f xs Source #