Pandora.Paradigm.Structure.Interface.Stack

Documentation

class Stack structure where

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

Associated Types

type Topping structure :: * -> *

Methods

top :: ((Lens < Topping structure) < structure e) < e

pop :: (State < structure e) < Topping structure e

push :: e -> (State < structure e) < e

Instances

Stack List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Topping List :: Type -> Type

Methods

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

pop :: (State < List e) < Topping List e

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

Stack (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

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

Methods

top :: ((Lens < Topping (Construction Exactly)) < Construction Exactly e) < e

pop :: (State < Construction Exactly e) < Topping (Construction Exactly) e

push :: e -> (State < Construction Exactly e) < e

Stack (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

pop :: (State < Construction Maybe e) < Topping (Construction Maybe) e

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