Safe Haskell  None 

Language  Haskell2010 
Documentation
newtype LiftMismatch f g xs Source #
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 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 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 #
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 #
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 #
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 #
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 #
LiftTelescope ( Telescope g f xs) 