Pandora.Paradigm.Structure.Stack

Documentation

type Stack = Maybe <:.> Construction Maybe

Linear data structure that serves as a collection of elements

pop :: Stack ~> Stack

delete :: Setoid a => a -> Stack a -> Stack a

filter :: forall a. Predicate a -> Stack a -> Stack a

linearize :: forall t a. Traversable t => t a -> Stack a

Transform any traversable structure into a stack

Orphan instances

Insertable Stack

Methods

insert :: a -> Stack a -> Stack a

Insertable (Construction Maybe)

Methods

insert :: a -> Construction Maybe a -> Construction Maybe a

Semigroup (Stack a)

Methods

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

Monoid (Stack a)

Methods

zero :: Stack a

Setoid a => Setoid (Stack a)

Methods

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

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

Focusable ('Head :: Type -> Location Type) Stack

Associated Types

type Focusing 'Head Stack a

Methods

focusing :: Tagged 'Head (Stack a) :-. Focusing 'Head Stack a

Focusable ('Head :: Type -> Location Type) (Construction Maybe)

Associated Types

type Focusing 'Head (Construction Maybe) a

Methods

focusing :: Tagged 'Head (Construction Maybe a) :-. Focusing 'Head (Construction Maybe) a

Monotonic (Construction Maybe a) a

Methods

reduce :: (a -> r -> r) -> r -> Construction Maybe a -> r

resolve :: (a -> r) -> r -> Construction Maybe a -> r

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Construction Maybe))

Associated Types

type Rotational 'Right (Tap (Delta <:.> Construction Maybe)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Construction Maybe) a0) -> Rotational 'Right (Tap (Delta <:.> Construction Maybe)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Construction Maybe))

Associated Types

type Rotational 'Left (Tap (Delta <:.> Construction Maybe)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Construction Maybe) a0) -> Rotational 'Left (Tap (Delta <:.> Construction Maybe)) a0

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stack))

Associated Types

type Rotational 'Right (Tap (Delta <:.> Stack)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Stack) a0) -> Rotational 'Right (Tap (Delta <:.> Stack)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stack))

Associated Types

type Rotational 'Left (Tap (Delta <:.> Stack)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Stack) a0) -> Rotational 'Left (Tap (Delta <:.> Stack)) a0

Monotonic ((Maybe <:.> Construction Maybe) := a) a

Methods

reduce :: (a -> r -> r) -> r -> ((Maybe <:.> Construction Maybe) := a) -> r

resolve :: (a -> r) -> r -> ((Maybe <:.> Construction Maybe) := a) -> r