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

Ouroboros.Consensus.HardFork.Combinator.Util.InPairs

Description

Intended for qualified import

import Ouroboros.Consensus.HardFork.Combinator.Util.InPairs (InPairs(..))
import qualified Ouroboros.Consensus.HardFork.Combinator.Util.InPairs as InPairs
Synopsis

InPairs

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

We have an f x y for each pair (x, y) of successive list elements

Constructors

PNilInPairs f '[x] 
PCons ∷ f x y → InPairs f (y ': zs) → InPairs f (x ': (y ': zs)) 

Convenience constructors

mk1InPairs f '[x] Source #

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

mk3 ∷ f x y → f y z → InPairs 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) → InPairs f xs → InPairs g xs Source #

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

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

hpure ∷ (SListI xs, IsNonEmpty xs) ⇒ (∀ x y. f x y) → InPairs f xs Source #

Requiring

data Requiring h f x y Source #

Constructors

Require 

Fields

data RequiringBoth h f x y Source #

Constructors

RequireBoth 

Fields

ignoring ∷ f x y → Requiring h f x y Source #

ignoringBoth ∷ f x y → RequiringBoth h f x y Source #

requiringSListI xs ⇒ NP h xs → InPairs (Requiring h f) xs → InPairs f xs Source #

requiringBothNP h xs → InPairs (RequiringBoth h f) xs → InPairs f xs Source #