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