Safe Haskell	Safe-Inferred
Language	Haskell2010

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 showsPrec :: Int -> Product2 f g x y -> ShowS Source # show :: Product2 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) :: Type -> Type Source # Methods from :: Product2 f g x y -> Rep ( Product2 f g x y) x0 Source # to :: Rep ( 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.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "Pair2" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 (f x y)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 (g x y))))