pandora-0.4.7: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Structure.Ability.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

Instances details
type Nonempty List Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Some.List

type Nonempty List = Construction Maybe
type Nonempty Rose Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Some.Rose

type Nonempty Rose = Construction List
type Nonempty Binary Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Some.Binary

type Nonempty Binary = Construction Wye
type Nonempty (Prefixed t k) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

type Nonempty (Prefixed t k) = Prefixed (Nonempty t) k