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
( All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq ( LiftNP f xs) Source # | |
( All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x)) => Ord ( LiftNP f xs) Source # | |
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 # |
|
( All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show ( LiftNP f xs) Source # | |
Instances
( All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq ( LiftNS f xs) Source # | |
( All SingleEraBlock xs, forall x. SingleEraBlock x => Ord (f x)) => Ord ( LiftNS f xs) Source # | |
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 # |
|
( All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show ( LiftNS f xs) Source # | |
newtype LiftNamedMismatch (name :: Symbol ) f g xs Source #
Constructors
LiftNamedMismatch ( Mismatch f g xs) |
Instances
( 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 # | |
newtype LiftNamedNP (name :: Symbol ) f xs Source #
Constructors
LiftNamedNP ( NP f xs) |
Instances
( All SingleEraBlock xs, forall x. SingleEraBlock x => NoThunks (f x), KnownSymbol name) => NoThunks ( LiftNamedNP name f xs) Source # | |
newtype LiftNamedNS (name :: Symbol ) f xs Source #
Constructors
LiftNamedNS ( NS f xs) |
Instances
( All SingleEraBlock xs, forall x. SingleEraBlock x => NoThunks (f x), KnownSymbol name) => NoThunks ( LiftNamedNS name f xs) Source # | |
newtype LiftNamedTelescope (name :: Symbol ) f g xs Source #
Constructors
LiftNamedTelescope ( Telescope f g xs) |
Instances
( 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 # | |
newtype LiftOptNP empty f xs Source #
Instances
( All SingleEraBlock xs, forall x. SingleEraBlock x => Eq (f x)) => Eq ( LiftOptNP empty f xs) Source # | |
( All SingleEraBlock xs, forall x. SingleEraBlock x => Show (f x)) => Show ( LiftOptNP empty f xs) Source # | |
newtype LiftTelescope g f xs Source #
Constructors
LiftTelescope ( Telescope g f xs) |