| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Abstract
Contents
Synopsis
- module Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
- module Ouroboros.Consensus.HardFork.Combinator.Abstract.NoHardForks
- module Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork
- class IsNonEmpty (xs ∷ [a]) where
- isNonEmpty ∷ proxy xs → ProofNonEmpty xs
- data ProofNonEmpty (xs ∷ [a]) where
- ProofNonEmpty ∷ ∀ {a} (x ∷ a) (xs1 ∷ [a]). Proxy x → Proxy xs1 → ProofNonEmpty (x ': xs1)
Documentation
Re-exports
class IsNonEmpty (xs ∷ [a]) where Source #
Methods
isNonEmpty ∷ proxy xs → ProofNonEmpty xs Source #
Instances
| IsNonEmpty (x ': xs ∷ [a]) | |
Defined in Data.SOP.NonEmpty Methods isNonEmpty ∷ proxy (x ': xs) → ProofNonEmpty (x ': xs) Source # | |
data ProofNonEmpty (xs ∷ [a]) where Source #
Constructors
| ProofNonEmpty ∷ ∀ {a} (x ∷ a) (xs1 ∷ [a]). Proxy x → Proxy xs1 → ProofNonEmpty (x ': xs1) |