| Safe Haskell | None |
|---|---|
| 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 where
- isNonEmpty :: proxy xs -> ProofNonEmpty xs
- data ProofNonEmpty :: [Type] -> Type where
- ProofNonEmpty :: Proxy x -> Proxy xs -> ProofNonEmpty (x ': xs)
Documentation
Re-exports
class IsNonEmpty xs where Source #
Methods
isNonEmpty :: proxy xs -> ProofNonEmpty xs Source #
Instances
| IsNonEmpty (x ': xs) Source # | |
Defined in Ouroboros.Consensus.Util.SOP Methods isNonEmpty :: proxy (x ': xs) -> ProofNonEmpty (x ': xs) Source # | |
data ProofNonEmpty :: [Type] -> Type where Source #
Constructors
| ProofNonEmpty :: Proxy x -> Proxy xs -> ProofNonEmpty (x ': xs) |