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
newtype LiftNP (f ∷ Type → Type) (xs ∷ [Type]) Source #
Instances
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftNP f xs) Source # | |
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftNP f xs) Source # | |
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Ord (f x)) ⇒ Ord (LiftNP f xs) Source # | |
newtype LiftNS (f ∷ Type → Type) (xs ∷ [Type]) Source #
Instances
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftNS f xs) Source # | |
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftNS f xs) Source # | |
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Ord (f x)) ⇒ Ord (LiftNS f xs) Source # | |
newtype LiftNamedMismatch (name ∷ Symbol) (f ∷ Type → Type) (g ∷ Type → Type) (xs ∷ [Type]) Source #
Constructors
LiftNamedMismatch (Mismatch f g xs) |
Instances
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), ∀ x. SingleEraBlock x ⇒ NoThunks (g x), KnownSymbol name) ⇒ NoThunks (LiftNamedMismatch name f g xs) Source # | |
newtype LiftNamedNP (name ∷ Symbol) (f ∷ Type → Type) (xs ∷ [Type]) Source #
Constructors
LiftNamedNP (NP f xs) |
Instances
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), KnownSymbol name) ⇒ NoThunks (LiftNamedNP name f xs) Source # | |
newtype LiftNamedNS (name ∷ Symbol) (f ∷ Type → Type) (xs ∷ [Type]) Source #
Constructors
LiftNamedNS (NS f xs) |
Instances
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), KnownSymbol name) ⇒ NoThunks (LiftNamedNS name f xs) Source # | |
newtype LiftNamedTelescope (name ∷ Symbol) (f ∷ Type → Type) (g ∷ Type → Type) (xs ∷ [Type]) Source #
Constructors
LiftNamedTelescope (Telescope f g xs) |
Instances
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), ∀ x. SingleEraBlock x ⇒ NoThunks (g x), KnownSymbol name) ⇒ NoThunks (LiftNamedTelescope name f g xs) Source # | |
newtype LiftOptNP (empty ∷ Bool) (f ∷ Type → Type) (xs ∷ [Type]) Source #
Instances
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftOptNP empty f xs) Source # | |
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftOptNP empty f xs) Source # | |
newtype LiftTelescope (g ∷ Type → Type) (f ∷ Type → Type) (xs ∷ [Type]) Source #
Constructors
LiftTelescope (Telescope g f xs) |