Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Documentation

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 # (/=) :: LiftNS f xs -> LiftNS f xs -> Bool #
(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 # (<) :: LiftNS f xs -> LiftNS f xs -> Bool # (<=) :: LiftNS f xs -> LiftNS f xs -> Bool # (>) :: LiftNS f xs -> LiftNS f xs -> Bool # (>=) :: LiftNS f xs -> LiftNS f xs -> Bool # max :: LiftNS f xs -> LiftNS f xs -> LiftNS f xs # min :: LiftNS f xs -> LiftNS f xs -> LiftNS f xs #
(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 # show :: LiftNS f xs -> String # showList :: [LiftNS f xs] -> ShowS #

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 # (/=) :: LiftNP f xs -> LiftNP f xs -> Bool #
(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 # (<) :: LiftNP f xs -> LiftNP f xs -> Bool # (<=) :: LiftNP f xs -> LiftNP f xs -> Bool # (>) :: LiftNP f xs -> LiftNP f xs -> Bool # (>=) :: LiftNP f xs -> LiftNP f xs -> Bool # max :: LiftNP f xs -> LiftNP f xs -> LiftNP f xs # min :: LiftNP f xs -> LiftNP f xs -> LiftNP f xs #
(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 # show :: LiftNP f xs -> String # showList :: [LiftNP f xs] -> ShowS #

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 # (/=) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool #
(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 # (<) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool # (<=) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool # (>) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool # (>=) :: LiftTelescope g f xs -> LiftTelescope g f xs -> Bool # max :: LiftTelescope g f xs -> LiftTelescope g f xs -> LiftTelescope g f xs # min :: LiftTelescope g f xs -> LiftTelescope g f xs -> LiftTelescope g f xs #
(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 # show :: LiftTelescope g f xs -> String # showList :: [LiftTelescope g f xs] -> ShowS #

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 # (/=) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool #
(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 # (<) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool # (<=) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool # (>) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool # (>=) :: LiftMismatch f g xs -> LiftMismatch f g xs -> Bool # max :: LiftMismatch f g xs -> LiftMismatch f g xs -> LiftMismatch f g xs # min :: LiftMismatch f g xs -> LiftMismatch f g xs -> LiftMismatch f g xs #
(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 # show :: LiftMismatch f g xs -> String # showList :: [LiftMismatch f g xs] -> ShowS #

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