Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Documentation

newtype LiftMismatch f g xs Source #

Constructors

LiftMismatch ( Mismatch f g xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x), forall x. SingleEraBlock x => Eq (g x)) => Eq ( LiftMismatch f g xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods (==) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool Source # (/=) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x), forall x. SingleEraBlock x => Ord (g x)) => Ord ( LiftMismatch f g xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods compare :: LiftMismatch f g xs -> LiftMismatch f g xs -> Ordering Source # (<) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool Source # (<=) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool Source # (>) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool Source # (>=) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool Source # max :: LiftMismatch f g xs -> LiftMismatch f g xs -> LiftMismatch f g xs Source # min :: LiftMismatch f g xs -> LiftMismatch f g xs -> LiftMismatch f g xs Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x), forall x. SingleEraBlock x => Show (g x)) => Show ( LiftMismatch f g xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods showsPrec :: Int -> LiftMismatch f g xs -> ShowS Source # show :: LiftMismatch f g xs -> String Source # showList :: [ LiftMismatch f g xs] -> ShowS Source #

newtype LiftNP f xs Source #

Constructors

LiftNP ( NP f xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq ( LiftNP f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods (==) :: LiftNP f xs -> LiftNP f xs -> Bool Source # (/=) :: LiftNP f xs -> LiftNP f xs -> Bool Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x)) => Ord ( LiftNP f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods compare :: LiftNP f xs -> LiftNP f xs -> Ordering Source # (<) :: LiftNP f xs -> LiftNP f xs -> Bool Source # (<=) :: LiftNP f xs -> LiftNP f xs -> Bool Source # (>) :: LiftNP f xs -> LiftNP f xs -> Bool Source # (>=) :: LiftNP f xs -> LiftNP f xs -> Bool Source # max :: LiftNP f xs -> LiftNP f xs -> LiftNP f xs Source # min :: LiftNP f xs -> LiftNP f xs -> LiftNP f xs Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show ( LiftNP f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods showsPrec :: Int -> LiftNP f xs -> ShowS Source # show :: LiftNP f xs -> String Source # showList :: [ LiftNP f xs] -> ShowS Source #

newtype LiftNS f xs Source #

Constructors

LiftNS ( NS f xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq ( LiftNS f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods (==) :: LiftNS f xs -> LiftNS f xs -> Bool Source # (/=) :: LiftNS f xs -> LiftNS f xs -> Bool Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x)) => Ord ( LiftNS f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods compare :: LiftNS f xs -> LiftNS f xs -> Ordering Source # (<) :: LiftNS f xs -> LiftNS f xs -> Bool Source # (<=) :: LiftNS f xs -> LiftNS f xs -> Bool Source # (>) :: LiftNS f xs -> LiftNS f xs -> Bool Source # (>=) :: LiftNS f xs -> LiftNS f xs -> Bool Source # max :: LiftNS f xs -> LiftNS f xs -> LiftNS f xs Source # min :: LiftNS f xs -> LiftNS f xs -> LiftNS f xs Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show ( LiftNS f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods showsPrec :: Int -> LiftNS f xs -> ShowS Source # show :: LiftNS f xs -> String Source # showList :: [ LiftNS f xs] -> ShowS Source #

newtype LiftNamedMismatch (name :: Symbol ) f g xs Source #

Constructors

LiftNamedMismatch ( Mismatch f g xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => NoThunks (f x), forall x. SingleEraBlock x => NoThunks (g x), KnownSymbol name) => NoThunks ( LiftNamedMismatch name f g xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods noThunks :: Context -> LiftNamedMismatch name f g xs -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LiftNamedMismatch name f g xs -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LiftNamedMismatch name f g xs) -> String Source #

newtype LiftNamedNP (name :: Symbol ) f xs Source #

Constructors

LiftNamedNP ( NP f xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => NoThunks (f x), KnownSymbol name) => NoThunks ( LiftNamedNP name f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods noThunks :: Context -> LiftNamedNP name f xs -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LiftNamedNP name f xs -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LiftNamedNP name f xs) -> String Source #

newtype LiftNamedNS (name :: Symbol ) f xs Source #

Constructors

LiftNamedNS ( NS f xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => NoThunks (f x), KnownSymbol name) => NoThunks ( LiftNamedNS name f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods noThunks :: Context -> LiftNamedNS name f xs -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LiftNamedNS name f xs -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LiftNamedNS name f xs) -> String Source #

newtype LiftNamedTelescope (name :: Symbol ) f g xs Source #

Constructors

LiftNamedTelescope ( Telescope f g xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => NoThunks (f x), forall x. SingleEraBlock x => NoThunks (g x), KnownSymbol name) => NoThunks ( LiftNamedTelescope name f g xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods noThunks :: Context -> LiftNamedTelescope name f g xs -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LiftNamedTelescope name f g xs -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LiftNamedTelescope name f g xs) -> String Source #

newtype LiftOptNP empty f xs Source #

Constructors

LiftOptNP ( OptNP empty f xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq ( LiftOptNP empty f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods (==) :: LiftOptNP empty f xs -> LiftOptNP empty f xs -> Bool Source # (/=) :: LiftOptNP empty f xs -> LiftOptNP empty f xs -> Bool Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show ( LiftOptNP empty f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods showsPrec :: Int -> LiftOptNP empty f xs -> ShowS Source # show :: LiftOptNP empty f xs -> String Source # showList :: [ LiftOptNP empty f xs] -> ShowS Source #

newtype LiftTelescope g f xs Source #

Constructors

LiftTelescope ( Telescope g f xs)

Instances

Instances details

( All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (g x), forall x. SingleEraBlock x => Eq (f x)) => Eq ( LiftTelescope g f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods (==) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool Source # (/=) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x), forall x. SingleEraBlock x => Ord (g x)) => Ord ( LiftTelescope g f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods compare :: LiftTelescope g f xs -> LiftTelescope g f xs -> Ordering Source # (<) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool Source # (<=) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool Source # (>) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool Source # (>=) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool Source # max :: LiftTelescope g f xs -> LiftTelescope g f xs -> LiftTelescope g f xs Source # min :: LiftTelescope g f xs -> LiftTelescope g f xs -> LiftTelescope g f xs Source #
( All SingleEraBlock xs, forall x. SingleEraBlock x => Show (g x), forall x. SingleEraBlock x => Show (f x)) => Show ( LiftTelescope g f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia Methods showsPrec :: Int -> LiftTelescope g f xs -> ShowS Source # show :: LiftTelescope g f xs -> String Source # showList :: [ LiftTelescope g f xs] -> ShowS Source #