Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftMismatch (f :: Type -> Type) (g :: Type -> Type) (xs :: [Type])

Instances3Eq, Ord, Show

(All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x), forall x. SingleEraBlock x => Eq (g x)) => Eq (LiftMismatch f g xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x), forall x. SingleEraBlock x => Ord (g x)) => Ord (LiftMismatch f g xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x), forall x. SingleEraBlock x => Show (g x)) => Show (LiftMismatch f g xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftNP (f :: Type -> Type) (xs :: [Type])

Instances3Eq, Ord, Show

(All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq (LiftNP f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x)) => Ord (LiftNP f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show (LiftNP f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftNS (f :: Type -> Type) (xs :: [Type])

Instances3Eq, Ord, Show

(All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq (LiftNS f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x)) => Ord (LiftNS f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show (LiftNS f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftNamedMismatch (name :: Symbol) (f :: Type -> Type) (g :: Type -> Type) (xs :: [Type])

Instances1NoThunks

(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)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftNamedNP (name :: Symbol) (f :: Type -> Type) (xs :: [Type])

Instances1NoThunks

(All SingleEraBlock xs, forall x. SingleEraBlock x => NoThunks (f x), KnownSymbol name) => NoThunks (LiftNamedNP name f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftNamedNS (name :: Symbol) (f :: Type -> Type) (xs :: [Type])

Instances1NoThunks

(All SingleEraBlock xs, forall x. SingleEraBlock x => NoThunks (f x), KnownSymbol name) => NoThunks (LiftNamedNS name f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftNamedTelescope (name :: Symbol) (f :: Type -> Type) (g :: Type -> Type) (xs :: [Type])

Instances1NoThunks

(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)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftOptNP (empty :: Bool) (f :: Type -> Type) (xs :: [Type])

Instances2Eq, Show

(All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq (LiftOptNP empty f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show (LiftOptNP empty f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting

newtypenewtype LiftTelescope (g :: Type -> Type) (f :: Type -> Type) (xs :: [Type])

Instances3Eq, Ord, Show

(All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (g x), forall x. SingleEraBlock x => Eq (f x)) => Eq (LiftTelescope g f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x), forall x. SingleEraBlock x => Ord (g x)) => Ord (LiftTelescope g f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting
(All SingleEraBlock xs, forall x. SingleEraBlock x => Show (g x), forall x. SingleEraBlock x => Show (f x)) => Show (LiftTelescope g f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Lifting