Pandora.Paradigm.Structure.Some.List

Documentation

type List = Maybe <:.> Construction Maybe

Linear data structure that serves as a collection of elements

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

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

Transform any traversable structure into a stack

Orphan instances

Deletable List

Methods

(-=) :: Setoid a => a :=:=> List

Stack List

Measurable 'Length List

Associated Types

type Measural 'Length List a

Methods

measurement :: Tagged 'Length (List a) -> Measural 'Length List 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

Extendable (Tap ((List <:.:> List) := (:*:)))

Methods

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

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

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

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

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

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

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

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

Semigroup (List a)

Methods

(+) :: List a -> List a -> List a

Monoid (List a)

Methods

zero :: List a

Setoid a => Setoid (List a)

Methods

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

(!=) :: List a -> List a -> Boolean

Nullable List

Methods

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

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

Associated Types

type Focusing 'Head List a

Methods

focusing :: Tagged 'Head (List a) :-. Focusing 'Head List 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 List) (Construction Maybe)

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

Semigroup (Construction Maybe a)

Methods

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

Morphable ('Pop :: a -> Morph a) List

Associated Types

type Morphing 'Pop List :: Type -> Type

Methods

morphing :: (Tagged 'Pop <:.> List) ~> Morphing 'Pop List

Morphable ('Push :: a -> Morph a) List

Associated Types

type Morphing 'Push List :: Type -> Type

Methods

morphing :: (Tagged 'Push <:.> List) ~> Morphing 'Push List

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

Associated Types

type Substructural 'Tail List :: Type -> Type

Methods

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

sub :: List :~. Substructural 'Tail List

subview :: List ~> Substructural 'Tail List

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

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

Morphable ('Push :: a -> Morph a) (Construction Maybe)

Associated Types

type Morphing 'Push (Construction Maybe) :: Type -> Type

Methods

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

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