ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.HardFork.Combinator.Abstract

Contents

Synopsis

Documentation

Re-exports

class IsNonEmpty xs where Source #

Methods

isNonEmpty ∷ proxy xs → ProofNonEmpty xs Source #

Instances

Instances details
IsNonEmpty (x ': xs ∷ [a]) Source # 
Instance details

Defined in Ouroboros.Consensus.Util.SOP

Methods

isNonEmpty ∷ proxy (x ': xs) → ProofNonEmpty (x ': xs) Source #

data ProofNonEmpty ∷ [a] → Type where Source #

Constructors

ProofNonEmptyProxy x → Proxy xs → ProofNonEmpty (x ': xs)