Pandora.Paradigm.Structure.Interface.Stack

Documentation

class Stack t where

When providing a new instance, you should ensure it satisfies:
* Idempotency: item @Push x . morph @Pop ≡ identity

Associated Types

type Topping t :: * -> *

type Popping t :: * -> *

type Pushing t :: * -> *

Methods

top :: Lens (Topping t) (t e) e

pop :: State (Popping t e) (Maybe e)

push :: e -> State (Pushing t e) e

Instances

Stack List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Topping List :: Type -> Type

type Popping List :: Type -> Type

type Pushing List :: Type -> Type

Methods

top :: Lens (Topping List) (List e) e

pop :: State (Popping List e) (Maybe e)

push :: e -> State (Pushing List e) e

Stack (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Topping (Construction Maybe) :: Type -> Type

type Popping (Construction Maybe) :: Type -> Type

type Pushing (Construction Maybe) :: Type -> Type

Methods

top :: Lens (Topping (Construction Maybe)) (Construction Maybe e) e

pop :: State (Popping (Construction Maybe) e) (Maybe e)

push :: e -> State (Pushing (Construction Maybe) e) e