pandora-0.1.2: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure.Property.Nonempty

Synopsis
  • type family Nonempty structure a :: * where ...

Documentation

type family Nonempty structure a :: * where ... Source #

Type synonymous for at least one element data structure

Equations

Nonempty (Cofree :>: t) a = Cofree t a