Pandora.Paradigm.Structure.Stack

Documentation

type Stack = Maybe <:.> Construction Maybe

Linear data structure that serves as a collection of elements

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

Measurable 'Length Stack

Associated Types

type Measural 'Length Stack a

Methods

measurement :: Tagged 'Length (Stack a) -> Measural 'Length Stack a

Measurable 'Length (Construction Maybe)

Associated Types

type Measural 'Length (Construction Maybe) a

Methods

measurement :: Tagged 'Length (Construction Maybe a) -> Measural 'Length (Construction Maybe) a

Monotonic a (Construction Maybe a)

Methods

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

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

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

Methods

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

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

Insertable (Construction Maybe)

Methods

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

Extendable (Tap (Delta <:.> Stack))

Methods

(=>>) :: Tap (Delta <:.> Stack) a -> (Tap (Delta <:.> Stack) a -> b) -> Tap (Delta <:.> Stack) b

(<<=) :: (Tap (Delta <:.> Stack) a -> b) -> Tap (Delta <:.> Stack) a -> Tap (Delta <:.> Stack) b

extend :: (Tap (Delta <:.> Stack) a -> b) -> Tap (Delta <:.> Stack) a -> Tap (Delta <:.> Stack) b

duplicate :: Tap (Delta <:.> Stack) a -> (Tap (Delta <:.> Stack) :. Tap (Delta <:.> Stack)) := a

(=<=) :: (Tap (Delta <:.> Stack) b -> c) -> (Tap (Delta <:.> Stack) a -> b) -> Tap (Delta <:.> Stack) a -> c

(=>=) :: (Tap (Delta <:.> Stack) a -> b) -> (Tap (Delta <:.> Stack) b -> c) -> Tap (Delta <:.> Stack) a -> c

($=>>) :: Covariant u => ((u :. Tap (Delta <:.> Stack)) := a) -> (Tap (Delta <:.> Stack) a -> b) -> (u :. Tap (Delta <:.> Stack)) := b

(<<=$) :: Covariant u => ((u :. Tap (Delta <:.> Stack)) := a) -> (Tap (Delta <:.> Stack) a -> b) -> (u :. Tap (Delta <:.> Stack)) := b

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

Nullable Stack

Methods

null :: forall (a :: k). (Predicate :. Stack) := a

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

Setoid a2 => Substructure ('Delete ('First :: a1 -> Segment a1) :: Command (a1 -> Segment a1)) Stack a2

Associated Types

type Substructural ('Delete 'First) Stack a2

Methods

substructure :: Tagged ('Delete 'First) (Stack a2) :-. Substructural ('Delete 'First) Stack a2

Setoid a2 => Substructure ('Delete ('All :: a1 -> Segment a1) :: Command (a1 -> Segment a1)) (Construction Maybe) a2

Associated Types

type Substructural ('Delete 'All) (Construction Maybe) a2

Methods

substructure :: Tagged ('Delete 'All) (Construction Maybe a2) :-. Substructural ('Delete 'All) (Construction Maybe) a2

Setoid a2 => Substructure ('Delete ('First :: a1 -> Segment a1) :: Command (a1 -> Segment a1)) (Construction Maybe) a2

Associated Types

type Substructural ('Delete 'First) (Construction Maybe) a2

Methods

substructure :: Tagged ('Delete 'First) (Construction Maybe a2) :-. Substructural ('Delete 'First) (Construction Maybe) a2

Substructure ('Tail :: a1 -> Segment a1) Stack a2

Associated Types

type Substructural 'Tail Stack a2

Methods

substructure :: Tagged 'Tail (Stack a2) :-. Substructural 'Tail Stack a2

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

Substructure ('Tail :: a1 -> Segment a1) (Construction Maybe) a2

Associated Types

type Substructural 'Tail (Construction Maybe) a2

Methods

substructure :: Tagged 'Tail (Construction Maybe a2) :-. Substructural 'Tail (Construction Maybe) a2