ouroboros-consensus-0.1.0.2: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

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, ∀ x. SingleEraBlock x ⇒ Eq (f x), ∀ 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, ∀ x. SingleEraBlock x ⇒ Ord (f x), ∀ x. SingleEraBlock x ⇒ Ord (g x)) ⇒ Ord (LiftMismatch f g xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

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

maxLiftMismatch f g xs → LiftMismatch f g xs → LiftMismatch f g xs Source #

minLiftMismatch f g xs → LiftMismatch f g xs → LiftMismatch f g xs Source #

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x), ∀ x. SingleEraBlock x ⇒ Show (g x)) ⇒ Show (LiftMismatch f g xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

showsPrecIntLiftMismatch f g xs → ShowS Source #

showLiftMismatch 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, ∀ 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, ∀ x. SingleEraBlock x ⇒ Ord (f x)) ⇒ Ord (LiftNP f xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

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

maxLiftNP f xs → LiftNP f xs → LiftNP f xs Source #

minLiftNP f xs → LiftNP f xs → LiftNP f xs Source #

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftNP f xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

showsPrecIntLiftNP f xs → ShowS Source #

showLiftNP 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, ∀ 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, ∀ x. SingleEraBlock x ⇒ Ord (f x)) ⇒ Ord (LiftNS f xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

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

maxLiftNS f xs → LiftNS f xs → LiftNS f xs Source #

minLiftNS f xs → LiftNS f xs → LiftNS f xs Source #

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftNS f xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

showsPrecIntLiftNS f xs → ShowS Source #

showLiftNS 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, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), ∀ 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) #

wNoThunks ∷ Context → LiftNamedMismatch name f g xs → IO (Maybe ThunkInfo) #

showTypeOfProxy (LiftNamedMismatch name f g xs) → String #

newtype LiftNamedNP (name ∷ Symbol) f xs Source #

Constructors

LiftNamedNP (NP f xs) 

Instances

Instances details
(All SingleEraBlock xs, ∀ 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) #

wNoThunks ∷ Context → LiftNamedNP name f xs → IO (Maybe ThunkInfo) #

showTypeOfProxy (LiftNamedNP name f xs) → String #

newtype LiftNamedNS (name ∷ Symbol) f xs Source #

Constructors

LiftNamedNS (NS f xs) 

Instances

Instances details
(All SingleEraBlock xs, ∀ 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) #

wNoThunks ∷ Context → LiftNamedNS name f xs → IO (Maybe ThunkInfo) #

showTypeOfProxy (LiftNamedNS name f xs) → String #

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

Constructors

LiftNamedTelescope (Telescope f g xs) 

Instances

Instances details
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), ∀ 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) #

wNoThunks ∷ Context → LiftNamedTelescope name f g xs → IO (Maybe ThunkInfo) #

showTypeOfProxy (LiftNamedTelescope name f g xs) → String #

newtype LiftOptNP empty f xs Source #

Constructors

LiftOptNP (OptNP empty f xs) 

Instances

Instances details
(All SingleEraBlock xs, ∀ 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, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftOptNP empty f xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

showsPrecIntLiftOptNP empty f xs → ShowS Source #

showLiftOptNP 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, ∀ x. SingleEraBlock x ⇒ Eq (g x), ∀ 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, ∀ x. SingleEraBlock x ⇒ Ord (f x), ∀ x. SingleEraBlock x ⇒ Ord (g x)) ⇒ Ord (LiftTelescope g f xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

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

maxLiftTelescope g f xs → LiftTelescope g f xs → LiftTelescope g f xs Source #

minLiftTelescope g f xs → LiftTelescope g f xs → LiftTelescope g f xs Source #

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (g x), ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftTelescope g f xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Util.DerivingVia

Methods

showsPrecIntLiftTelescope g f xs → ShowS Source #

showLiftTelescope g f xs → String Source #

showList ∷ [LiftTelescope g f xs] → ShowS Source #