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 # (?=) :: List a -> List a -> r -> r -> r 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 ('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 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 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 ('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 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 ('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) (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 #
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 #
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)) ((Turnover :: (Type -> Type) -> Type -> Type) < 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 :: (Type -> Type) -> Type -> Type) < 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 :: (Type -> Type) -> Morph (Type -> Type)) > 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 (('Into :: (Type -> Type) -> Morph (Type -> Type)) > 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 :: (Type -> Type) -> Morph (Type -> Type)) > 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 :: (Type -> Type) -> Morph (Type -> Type)) > 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 #
Semigroup (Construction Maybe a) Source #
Instance details Methods (+) :: Construction Maybe a -> Construction Maybe a -> Construction Maybe a 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 ('Rest :: a -> Segment a) List Source #
Instance details Associated Types type Substance 'Rest List :: Type -> Type Source # Methods substructure :: (Tagged 'Rest <:.> List) @>>> Substance 'Rest List Source # sub :: List @>>> Substance 'Rest List Source #
Substructure ('Root :: a -> Segment a) List Source #
Instance details Associated Types type Substance 'Root List :: Type -> Type Source # Methods substructure :: (Tagged 'Root <:.> List) @>>> Substance 'Root List Source # sub :: List @>>> Substance '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 #
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 #