pandora-0.2.8: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure.Stack

Contents

Synopsis

Documentation

type Stack = TU Covariant Covariant Maybe (Construction Maybe) Source #

Linear data structure that serves as a collection of elements

push :: a -> Stack a -> Stack a Source #

pop :: Stack ~> Stack Source #

filter :: Predicate a -> Stack a -> Stack a Source #

linearize :: Traversable t => t ~> Stack Source #

Transform any traversable structure into a stack

Orphan instances

Focusable Stack Source # 
Instance details

Associated Types

type Focus Stack a :: Type Source #

Methods

top :: Stack a :-. Focus Stack a Source #

singleton :: a |-> Stack Source #

Semigroup (Stack a) Source # 
Instance details

Methods

(+) :: Stack a -> Stack a -> Stack a Source #

Monoid (Stack a) Source # 
Instance details

Methods

zero :: Stack a Source #

Setoid a => Setoid (Stack a) Source # 
Instance details

Methods

(==) :: Stack a -> Stack a -> Boolean Source #

(/=) :: Stack a -> Stack a -> Boolean Source #

Focusable (Construction Maybe) Source # 
Instance details

Associated Types

type Focus (Construction Maybe) a :: Type Source #

Methods

top :: Construction Maybe a :-. Focus (Construction Maybe) a Source #

singleton :: a |-> Construction Maybe Source #