Pandora.Paradigm.Structure.Some.List

Documentation

type List = Maybe <::> Construction Maybe

Linear data structure that serves as a collection of elements

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

Transform any traversable structure into a stack

Orphan instances

Stack List

Zippable List

Associated Types

type Breadcrumbs List :: Type -> Type

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

Zippable (Construction Maybe)

Associated Types

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

Zippable (Comprehension Maybe)

Associated Types

type Breadcrumbs (Comprehension Maybe) :: Type -> Type

Nullable List

Methods

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

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <::> List) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List

Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Associated Types

type Morphing ('Delete 'All) List :: Type -> Type

Methods

morphing :: (Tagged ('Delete 'All) <::> List) ~> Morphing ('Delete 'All) List

Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Associated Types

type Morphing ('Delete 'First) List :: Type -> Type

Methods

morphing :: (Tagged ('Delete 'First) <::> List) ~> Morphing ('Delete 'First) List

Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List

Associated Types

type Morphing ('Find 'Element) List :: Type -> Type

Methods

morphing :: (Tagged ('Find 'Element) <::> List) ~> Morphing ('Find 'Element) List

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe)

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe) :: Type -> Type

Methods

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

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 ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe)

Associated Types

type Morphing ('Find 'Element) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Find 'Element) <::> Construction Maybe) ~> Morphing ('Find 'Element) (Construction Maybe)

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key)

Associated Types

type Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed (Construction Maybe) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key)

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key)

Associated Types

type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key)

Morphable ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Associated Types

type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

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

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

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

Morphable ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Associated Types

type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Construction Maybe)) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Associated Types

type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Comprehension Maybe)) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Associated Types

type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

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

Morphable ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Associated Types

type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Into List) (Construction Maybe <::> Maybe)

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

morphing :: (Tagged ('Rotate 'Left) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((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 Available 'Tail List :: Type -> Type

type Substance 'Tail List :: Type -> Type

Methods

substructure :: ((Tagged 'Tail <:.> List) #=@ Substance 'Tail List) := Available 'Tail List

sub :: (List #=@ Substance 'Tail List) := Available 'Tail List

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

Associated Types

type Available 'Root List :: Type -> Type

type Substance 'Root List :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> List) #=@ Substance 'Root List) := Available 'Root List

sub :: (List #=@ Substance 'Root List) := Available 'Root List

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 ('Root :: a -> Segment a) (Construction Maybe)

Associated Types

type Available 'Root (Construction Maybe) :: Type -> Type

type Substance 'Root (Construction Maybe) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Construction Maybe) #=@ Substance 'Root (Construction Maybe)) := Available 'Root (Construction Maybe)

sub :: (Construction Maybe #=@ Substance 'Root (Construction Maybe)) := Available 'Root (Construction Maybe)

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

Associated Types

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

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

Methods

substructure :: ((Tagged 'Tail <:.> Construction Maybe) #=@ Substance 'Tail (Construction Maybe)) := Available 'Tail (Construction Maybe)

sub :: (Construction Maybe #=@ Substance 'Tail (Construction Maybe)) := Available 'Tail (Construction Maybe)

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) a -> u (((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) b)

Extendable ((->) :: Type -> Type -> Type) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Methods

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