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

Ouroboros.Consensus.HardFork.Combinator.Util.Functors

Documentation

data Product2 f g x y Source #

Constructors

Pair2 (f x y) (g x y) 

Instances

Instances details
(Eq (f x y), Eq (g x y)) ⇒ Eq (Product2 f g x y) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.Functors

Methods

(==)Product2 f g x y → Product2 f g x y → Bool Source #

(/=)Product2 f g x y → Product2 f g x y → Bool Source #

(Show (f x y), Show (g x y)) ⇒ Show (Product2 f g x y) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.Functors

Methods

showsPrecIntProduct2 f g x y → ShowS Source #

showProduct2 f g x y → String Source #

showList ∷ [Product2 f g x y] → ShowS Source #

Generic (Product2 f g x y) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.Functors

Associated Types

type Rep (Product2 f g x y) ∷ TypeType Source #

Methods

fromProduct2 f g x y → Rep (Product2 f g x y) x0 Source #

toRep (Product2 f g x y) x0 → Product2 f g x y Source #

type Rep (Product2 f g x y) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.Functors

type Rep (Product2 f g x y) = D1 ('MetaData "Product2" "Ouroboros.Consensus.HardFork.Combinator.Util.Functors" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Pair2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f x y)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g x y))))