Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Lifting

Documentation

newtype LiftMismatch (f ∷ Type → Type) (g ∷ Type → Type) (xs ∷ [Type]) Source #

Constructors

LiftMismatch (Mismatch f g xs)

Instances

Instances details

(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.Lifting Methods showsPrec ∷ Int → LiftMismatch f g xs → ShowS # show ∷ LiftMismatch f g xs → String # showList ∷ [LiftMismatch f g xs] → ShowS #
(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.Lifting Methods (==) ∷ LiftMismatch f g xs → LiftMismatch f g xs → Bool # (/=) ∷ LiftMismatch f g xs → LiftMismatch f g xs → Bool #
(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.Lifting 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 #

newtype LiftNP (f ∷ Type → Type) (xs ∷ [Type]) Source #

Constructors

LiftNP (NP f xs)

Instances

Instances details

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftNP f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods showsPrec ∷ Int → LiftNP f xs → ShowS # show ∷ LiftNP f xs → String # showList ∷ [LiftNP f xs] → ShowS #
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftNP f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods (==) ∷ LiftNP f xs → LiftNP f xs → Bool # (/=) ∷ LiftNP f xs → LiftNP f xs → Bool #
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Ord (f x)) ⇒ Ord (LiftNP f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting 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 #

newtype LiftNS (f ∷ Type → Type) (xs ∷ [Type]) Source #

Constructors

LiftNS (NS f xs)

Instances

Instances details

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftNS f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods showsPrec ∷ Int → LiftNS f xs → ShowS # show ∷ LiftNS f xs → String # showList ∷ [LiftNS f xs] → ShowS #
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftNS f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods (==) ∷ LiftNS f xs → LiftNS f xs → Bool # (/=) ∷ LiftNS f xs → LiftNS f xs → Bool #
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Ord (f x)) ⇒ Ord (LiftNS f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting 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 #

newtype LiftNamedMismatch (name ∷ Symbol) (f ∷ Type → Type) (g ∷ Type → Type) (xs ∷ [Type]) 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.Lifting 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 #

newtype LiftNamedNP (name ∷ Symbol) (f ∷ Type → Type) (xs ∷ [Type]) 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.Lifting 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 LiftNamedNS (name ∷ Symbol) (f ∷ Type → Type) (xs ∷ [Type]) 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.Lifting 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 LiftNamedTelescope (name ∷ Symbol) (f ∷ Type → Type) (g ∷ Type → Type) (xs ∷ [Type]) 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.Lifting 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 LiftOptNP (empty ∷ Bool) (f ∷ Type → Type) (xs ∷ [Type]) Source #

Constructors

LiftOptNP (OptNP empty f xs)

Instances

Instances details

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftOptNP empty f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods showsPrec ∷ Int → LiftOptNP empty f xs → ShowS # show ∷ LiftOptNP empty f xs → String # showList ∷ [LiftOptNP empty f xs] → ShowS #
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftOptNP empty f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods (==) ∷ LiftOptNP empty f xs → LiftOptNP empty f xs → Bool # (/=) ∷ LiftOptNP empty f xs → LiftOptNP empty f xs → Bool #

newtype LiftTelescope (g ∷ Type → Type) (f ∷ Type → Type) (xs ∷ [Type]) Source #

Constructors

LiftTelescope (Telescope g f xs)

Instances

Instances details

(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.Lifting Methods showsPrec ∷ Int → LiftTelescope g f xs → ShowS # show ∷ LiftTelescope g f xs → String # showList ∷ [LiftTelescope g f xs] → ShowS #
(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.Lifting Methods (==) ∷ LiftTelescope g f xs → LiftTelescope g f xs → Bool # (/=) ∷ LiftTelescope g f xs → LiftTelescope g f xs → Bool #
(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.Lifting 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 #