pandora-0.1.7: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure

Synopsis

Documentation

module Pandora.Paradigm.Structure.Stack

module Pandora.Paradigm.Structure.Graph

module Pandora.Paradigm.Structure.Binary

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

Type synonymous for at least one element data structure

Equations

Nonempty ((t :.: Twister t) a) = Twister t a