Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Structure.Some.List

Contents

Orphan instances

Synopsis

type List = Maybe <::> Construction Maybe
linearize :: forall t a. Traversable (->) (->) t => t a -> List a

Documentation

type List = Maybe <::> Construction Maybe Source #

Linear data structure that serves as a collection of elements

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

Transform any traversable structure into a list

Orphan instances

Zippable List Source #
Instance details Associated Types type Breadcrumbs List :: Type -> Type Source #
Stack List Source #
Instance details Associated Types type Topping List :: Type -> Type Source # type Popping List :: Type -> Type Source # type Pushing List :: Type -> Type Source # Methods top :: Lens (Topping List) (List e) e Source # pop :: State (Popping List e) (Maybe e) Source # push :: e -> State (Pushing List e) e Source #
Semigroup (List a) Source #
Instance details Methods (+) :: List a -> List a -> List a Source #
Monoid (List a) Source #
Instance details Methods zero :: List a Source #
Setoid a => Setoid (List a) Source #
Instance details Methods (==) :: List a -> List a -> Boolean Source # (!=) :: List a -> List a -> Boolean Source #
Zippable (Construction Maybe) Source #
Instance details Associated Types type Breadcrumbs (Construction Maybe) :: Type -> Type Source #
Zippable (Comprehension Maybe) Source #
Instance details Associated Types type Breadcrumbs (Comprehension Maybe) :: Type -> Type Source #
Stack (Construction Maybe) Source #
Instance details Associated Types type Topping (Construction Maybe) :: Type -> Type Source # type Popping (Construction Maybe) :: Type -> Type Source # type Pushing (Construction Maybe) :: Type -> Type Source # Methods top :: Lens (Topping (Construction Maybe)) (Construction Maybe e) e Source # pop :: State (Popping (Construction Maybe) e) (Maybe e) Source # push :: e -> State (Pushing (Construction Maybe) e) e Source #
Morphable ('Into (Tape List)) List Source #
Instance details Associated Types type Morphing ('Into (Tape List)) List :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tape List)) <::> List) ~> Morphing ('Into (Tape List)) List Source #
Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Associated Types type Morphing ('Delete 'All) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'All) <::> List) ~> Morphing ('Delete 'All) List Source #
Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Associated Types type Morphing ('Delete 'First) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'First) <::> List) ~> Morphing ('Delete 'First) List Source #
Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source #
Instance details Associated Types type Morphing ('Find 'Element) List :: Type -> Type Source # Methods morphing :: (Tagged ('Find 'Element) <::> List) ~> Morphing ('Find 'Element) List Source #
Morphable ('Into (Construction Maybe)) (Tape (Construction Maybe)) Source #
Instance details Associated Types type Morphing ('Into (Construction Maybe)) (Tape (Construction Maybe)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Construction Maybe)) <::> Tape (Construction Maybe)) ~> Morphing ('Into (Construction Maybe)) (Tape (Construction Maybe)) Source #
Morphable ('Into (Comprehension Maybe)) (Tape List) Source #
Instance details Associated Types type Morphing ('Into (Comprehension Maybe)) (Tape List) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Comprehension Maybe)) <::> Tape List) ~> Morphing ('Into (Comprehension Maybe)) (Tape List) Source #
Morphable ('Into (Tape (Construction Maybe))) (Tape List) Source #
Instance details Associated Types type Morphing ('Into (Tape (Construction Maybe))) (Tape List) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tape (Construction Maybe))) <::> Tape List) ~> Morphing ('Into (Tape (Construction Maybe))) (Tape List) Source #
Morphable ('Into (Tape List)) (Construction Maybe) Source #
Instance details Associated Types type Morphing ('Into (Tape List)) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tape List)) <::> Construction Maybe) ~> Morphing ('Into (Tape List)) (Construction Maybe) Source #
Morphable ('Into (Tape List)) (Tape (Construction Maybe)) Source #
Instance details Associated Types type Morphing ('Into (Tape List)) (Tape (Construction Maybe)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tape List)) <::> Tape (Construction Maybe)) ~> Morphing ('Into (Tape List)) (Tape (Construction Maybe)) Source #
Morphable ('Into List) (Construction Maybe) Source #
Instance details Associated Types type Morphing ('Into List) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <::> Construction Maybe) ~> Morphing ('Into List) (Construction Maybe) Source #
Morphable ('Into List) (Tape (Construction Maybe)) Source #
Instance details Associated Types type Morphing ('Into List) (Tape (Construction Maybe)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <::> Tape (Construction Maybe)) ~> Morphing ('Into List) (Tape (Construction Maybe)) Source #
Morphable ('Into List) (Tape List) Source #
Instance details Associated Types type Morphing ('Into List) (Tape List) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <::> Tape List) ~> Morphing ('Into List) (Tape List) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape (Construction Maybe)) Source #
Instance details Associated Types type Morphing ('Rotate 'Right) (Tape (Construction Maybe)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <::> Tape (Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tape (Construction Maybe)) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape (Construction Maybe)) Source #
Instance details Associated Types type Morphing ('Rotate 'Left) (Tape (Construction Maybe)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <::> Tape (Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tape (Construction Maybe)) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape List) Source #
Instance details Associated Types type Morphing ('Rotate 'Right) (Tape List) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <::> Tape List) ~> Morphing ('Rotate 'Right) (Tape List) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape List) Source #
Instance details Associated Types type Morphing ('Rotate 'Left) (Tape List) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <::> Tape List) ~> Morphing ('Rotate 'Left) (Tape List) Source #
Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe) Source #
Instance details Associated Types type Morphing ('Find 'Element) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Find 'Element) <::> Construction Maybe) ~> Morphing ('Find 'Element) (Construction Maybe) Source #
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key) Source #
Instance details Associated Types type Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <::> Prefixed (Construction Maybe) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) Source #
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) Source #
Instance details Associated Types type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <::> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Turnover (Tape List)) Source #
Instance details Associated Types type Morphing ('Rotate 'Right) (Turnover (Tape List)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <::> Turnover (Tape List)) ~> Morphing ('Rotate 'Right) (Turnover (Tape List)) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Turnover (Tape List)) Source #
Instance details Associated Types type Morphing ('Rotate 'Left) (Turnover (Tape List)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <::> Turnover (Tape List)) ~> Morphing ('Rotate 'Left) (Turnover (Tape List)) Source #
Morphable ('Into List) (Construction Maybe <::> Maybe) Source #
Instance details Associated Types type Morphing ('Into List) (Construction Maybe <::> Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <::> (Construction Maybe <::> Maybe)) ~> Morphing ('Into List) (Construction Maybe <::> Maybe) Source #
Semigroup (Construction Maybe a) Source #
Instance details Methods (+) :: Construction Maybe a -> Construction Maybe a -> Construction Maybe a Source #
Extendable ((->) :: Type -> Type -> Type) (Tape List) Source #
Instance details Methods (<<=) :: (Tape List a -> b) -> Tape List a -> Tape List b Source # (<<==) :: (Tape List a -> b) -> Tape List a -> Tape List b Source # (<<===) :: (Tape List a -> b) -> Tape List a -> Tape List b Source # (<<====) :: (Tape List a -> b) -> Tape List a -> Tape List b Source # (<<=====) :: (Tape List a -> b) -> Tape List a -> Tape List b Source # (<<======) :: (Tape List a -> b) -> Tape List a -> Tape List b Source # (<<=======) :: (Tape List a -> b) -> Tape List a -> Tape List b Source # (<<========) :: (Tape List a -> b) -> Tape List a -> Tape List b Source # (<<=========) :: (Tape List a -> b) -> Tape List a -> Tape List b Source #
Morphable ('Pop :: a -> Morph a) List Source #
Instance details Associated Types type Morphing 'Pop List :: Type -> Type Source # Methods morphing :: (Tagged 'Pop <::> List) ~> Morphing 'Pop List Source #
Morphable ('Push :: a -> Morph a) List Source #
Instance details Associated Types type Morphing 'Push List :: Type -> Type Source # Methods morphing :: (Tagged 'Push <::> List) ~> Morphing 'Push List Source #
Substructure ('Tail :: a -> Segment a) List Source #
Instance details Associated Types type Available 'Tail List :: Type -> Type Source # type Substance 'Tail List :: Type -> Type Source # Methods substructure :: ((Tagged 'Tail <:.> List) #=@ Substance 'Tail List) := Available 'Tail List Source # sub :: (List #=@ Substance 'Tail List) := Available 'Tail List Source #
Substructure ('Root :: a -> Segment a) List Source #
Instance details Associated Types type Available 'Root List :: Type -> Type Source # type Substance 'Root List :: Type -> Type Source # Methods substructure :: ((Tagged 'Root <:.> List) #=@ Substance 'Root List) := Available 'Root List Source # sub :: (List #=@ Substance 'Root List) := Available 'Root List Source #
Morphable ('Push :: a -> Morph a) (Construction Maybe) Source #
Instance details Associated Types type Morphing 'Push (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged 'Push <::> Construction Maybe) ~> Morphing 'Push (Construction Maybe) Source #
Substructure ('Root :: a -> Segment a) (Construction Maybe) Source #
Instance details Associated Types type Available 'Root (Construction Maybe) :: Type -> Type Source # type Substance 'Root (Construction Maybe) :: Type -> Type Source # Methods substructure :: ((Tagged 'Root <:.> Construction Maybe) #=@ Substance 'Root (Construction Maybe)) := Available 'Root (Construction Maybe) Source # sub :: (Construction Maybe #=@ Substance 'Root (Construction Maybe)) := Available 'Root (Construction Maybe) Source #
Substructure ('Tail :: a -> Segment a) (Construction Maybe) Source #
Instance details Associated Types type Available 'Tail (Construction Maybe) :: Type -> Type Source # type Substance 'Tail (Construction Maybe) :: Type -> Type Source # Methods substructure :: ((Tagged 'Tail <:.> Construction Maybe) #=@ Substance 'Tail (Construction Maybe)) := Available 'Tail (Construction Maybe) Source # sub :: (Construction Maybe #=@ Substance 'Tail (Construction Maybe)) := Available 'Tail (Construction Maybe) Source #
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tape List) Source #
Instance details Methods (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<--------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source # (<<---------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source #