pandora-0.1.1: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure.Stack

Documentation

type Stack = Cofree :>: Maybe Source #

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

top :: Stack a -> Maybe a Source #

pop :: Stack a -> Stack a Source #

empty :: r -> (Cofree Maybe a -> r) -> Stack a -> r Source #