Pandora.Paradigm.Structure.Some.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

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

Deletable Stack

Methods

(-=) :: Setoid a => 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

(+=) :: a -> Construction Maybe a -> Construction Maybe a

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

Methods

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

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

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

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

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

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

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

(<<=$) :: Covariant u => ((u :. Tap ((:*:) <:.:> Stack)) := a) -> (Tap ((:*:) <:.:> Stack) a -> b) -> (u :. Tap ((:*:) <:.:> 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

Morphable ('Into Stack) (Construction Maybe)

Associated Types

type Morphing ('Into Stack) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into Stack) <:.> Construction Maybe) ~> Morphing ('Into Stack) (Construction Maybe)

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Construction Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Construction Maybe))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Construction Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Construction Maybe))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stack)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Stack)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stack))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stack)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Stack)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stack))

Semigroup (Construction Maybe a)

Methods

(+) :: Construction Maybe a -> Construction Maybe a -> Construction Maybe a

Substructure ('Tail :: a -> Segment a) Stack

Associated Types

type Substructural 'Tail Stack :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Stack) :~. Substructural 'Tail Stack

sub :: Stack :~. Substructural 'Tail Stack

subview :: Stack ~> Substructural 'Tail Stack

substitute :: (Substructural 'Tail Stack a0 -> Substructural 'Tail Stack a0) -> Stack a0 -> Stack a0

subplace :: Substructural 'Tail Stack a0 -> Stack a0 -> Stack a0

Substructure ('Tail :: a -> Segment a) (Construction Maybe)

Associated Types

type Substructural 'Tail (Construction Maybe) :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Construction Maybe) :~. Substructural 'Tail (Construction Maybe)

sub :: Construction Maybe :~. Substructural 'Tail (Construction Maybe)

subview :: Construction Maybe ~> Substructural 'Tail (Construction Maybe)

substitute :: (Substructural 'Tail (Construction Maybe) a0 -> Substructural 'Tail (Construction Maybe) a0) -> Construction Maybe a0 -> Construction Maybe a0

subplace :: Substructural 'Tail (Construction Maybe) a0 -> Construction Maybe a0 -> Construction Maybe a0