pandora-0.2.6: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure.Variation.Nonempty

Synopsis
  • type family Nonempty (s :: * -> *) = (r :: * -> *) | r -> s

Documentation

type family Nonempty (s :: * -> *) = (r :: * -> *) | r -> s Source #

Type synonymous for at least one element data structure

Instances
type Nonempty Stack Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Stack

type Nonempty Stack = Twister Maybe
type Nonempty Graph Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Graph

type Nonempty Graph = Twister Edges
type Nonempty Binary Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary

type Nonempty Binary = Twister Wye