ouroboros-consensus-0.1.0.1: Consensus layer for the Ouroboros blockchain protocol
Safe Haskell None
Language Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Abstract

Contents

Synopsis

Documentation

Re-exports

class IsNonEmpty xs where 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

ProofNonEmpty :: Proxy x -> Proxy xs -> ProofNonEmpty (x ': xs)