pandora-0.2.5: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure.Nonempty

Synopsis
  • type family Nonempty (structure :: * -> *) where ...

Documentation

type family Nonempty (structure :: * -> *) where ... Source #

Type synonymous for at least one element data structure

Equations

Nonempty Stack = Twister Maybe 
Nonempty Graph = Twister Edges