| 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
:: [a] ->
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 :: [a]) Source # | |
|
Defined in Ouroboros.Consensus.Util.SOP Methods isNonEmpty :: proxy (x ': xs) -> ProofNonEmpty (x ': xs) Source # |
|
data ProofNonEmpty :: [a] -> Type where Source #
Constructors
| ProofNonEmpty :: Proxy x -> Proxy xs -> ProofNonEmpty (x ': xs) |