pandora-0.1.0: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure

Documentation

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

Equations

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