Pandora.Paradigm.Primary.Transformer.Tap

Documentation

data Tap t a

Constructors

Tap a (t a)

Instances

Lowerable Tap

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

lower :: forall (u :: Type -> Type). Covariant u => Tap u ~> u

Covariant t => Covariant (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(<$>) :: (a -> b) -> Tap t a -> Tap t b

comap :: (a -> b) -> Tap t a -> Tap t b

(<$) :: a -> Tap t b -> Tap t a

($>) :: Tap t a -> b -> Tap t b

void :: Tap t a -> Tap t ()

loeb :: Tap t (a <:= Tap t) -> Tap t a

(<&>) :: Tap t a -> (a -> b) -> Tap t b

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

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Tap t :. (u :. v)) := a) -> (Tap t :. (u :. v)) := b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Tap t :. (u :. (v :. w))) := a) -> (Tap t :. (u :. (v :. w))) := b

(<&&>) :: Covariant u => ((Tap t :. u) := a) -> (a -> b) -> (Tap t :. u) := b

(<&&&>) :: (Covariant u, Covariant v) => ((Tap t :. (u :. v)) := a) -> (a -> b) -> (Tap t :. (u :. v)) := b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Tap t :. (u :. (v :. w))) := a) -> (a -> b) -> (Tap t :. (u :. (v :. w))) := b

(.#..) :: (Tap t ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d

(.#...) :: (Tap t ~ v a, Tap t ~ v b, Category v, Covariant (v a), Covariant (v b)) => v d e -> ((v a :. (v b :. v c)) := d) -> (v a :. (v b :. v c)) := e

(.#....) :: (Tap t ~ v a, Tap t ~ v b, Tap t ~ v c, Category v, Covariant (v a), Covariant (v b), Covariant (v c)) => v e f -> ((v a :. (v b :. (v c :. v d))) := e) -> (v a :. (v b :. (v c :. v d))) := f

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

(<$$$) :: (Covariant u, Covariant v) => b -> ((Tap t :. (u :. v)) := a) -> (Tap t :. (u :. v)) := b

(<$$$$) :: (Covariant u, Covariant v, Covariant w) => b -> ((Tap t :. (u :. (v :. w))) := a) -> (Tap t :. (u :. (v :. w))) := b

($$>) :: Covariant u => ((Tap t :. u) := a) -> b -> (Tap t :. u) := b

($$$>) :: (Covariant u, Covariant v) => ((Tap t :. (u :. v)) := a) -> b -> (Tap t :. (u :. v)) := b

($$$$>) :: (Covariant u, Covariant v, Covariant w) => ((Tap t :. (u :. (v :. w))) := a) -> b -> (Tap t :. (u :. (v :. w))) := b

(Extractable t, Alternative t, Bindable t) => Bindable (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(>>=) :: Tap t a -> (a -> Tap t b) -> Tap t b

(=<<) :: (a -> Tap t b) -> Tap t a -> Tap t b

bind :: (a -> Tap t b) -> Tap t a -> Tap t b

join :: ((Tap t :. Tap t) := a) -> Tap t a

(>=>) :: (a -> Tap t b) -> (b -> Tap t c) -> a -> Tap t c

(<=<) :: (b -> Tap t c) -> (a -> Tap t b) -> a -> Tap t c

($>>=) :: Covariant u => ((u :. Tap t) := a) -> (a -> Tap t b) -> (u :. Tap t) := b

Applicative t => Applicative (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(<*>) :: Tap t (a -> b) -> Tap t a -> Tap t b

apply :: Tap t (a -> b) -> Tap t a -> Tap t b

(*>) :: Tap t a -> Tap t b -> Tap t b

(<*) :: Tap t a -> Tap t b -> Tap t a

forever :: Tap t a -> Tap t b

(<%>) :: Tap t a -> Tap t (a -> b) -> Tap t b

(<**>) :: Applicative u => ((Tap t :. u) := (a -> b)) -> ((Tap t :. u) := a) -> (Tap t :. u) := b

(<***>) :: (Applicative u, Applicative v) => ((Tap t :. (u :. v)) := (a -> b)) -> ((Tap t :. (u :. v)) := a) -> (Tap t :. (u :. v)) := b

(<****>) :: (Applicative u, Applicative v, Applicative w) => ((Tap t :. (u :. (v :. w))) := (a -> b)) -> ((Tap t :. (u :. (v :. w))) := a) -> (Tap t :. (u :. (v :. w))) := b

Applicative (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

apply :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) (a -> b) -> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a -> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) b

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

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

forever :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a -> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) b

(<%>) :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a -> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) (a -> b) -> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) b

(<**>) :: Applicative u => ((Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. u) := (a -> b)) -> ((Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. u) := a) -> (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. u) := b

(<***>) :: (Applicative u, Applicative v) => ((Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. (u :. v)) := (a -> b)) -> ((Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. (u :. v)) := a) -> (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. (u :. v)) := b

(<****>) :: (Applicative u, Applicative v, Applicative w) => ((Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. (u :. (v :. w))) := (a -> b)) -> ((Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. (u :. (v :. w))) := a) -> (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. (u :. (v :. w))) := b

Applicative (Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

apply :: Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) (a -> b) -> Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) a -> Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) b

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

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

forever :: Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) a -> Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) b

(<%>) :: Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) a -> Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) (a -> b) -> Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) b

(<**>) :: Applicative u => ((Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. u) := (a -> b)) -> ((Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. u) := a) -> (Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. u) := b

(<***>) :: (Applicative u, Applicative v) => ((Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. (u :. v)) := (a -> b)) -> ((Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. (u :. v)) := a) -> (Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. (u :. v)) := b

(<****>) :: (Applicative u, Applicative v, Applicative w) => ((Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. (u :. (v :. w))) := (a -> b)) -> ((Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. (u :. (v :. w))) := a) -> (Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)) :. (u :. (v :. w))) := b

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

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

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

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

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

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

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

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

(<***>) :: (Applicative u, Applicative v) => ((Tap ((List <:.:> List) := (:*:)) :. (u :. v)) := (a -> b)) -> ((Tap ((List <:.:> List) := (:*:)) :. (u :. v)) := a) -> (Tap ((List <:.:> List) := (:*:)) :. (u :. v)) := b

(<****>) :: (Applicative u, Applicative v, Applicative w) => ((Tap ((List <:.:> List) := (:*:)) :. (u :. (v :. w))) := (a -> b)) -> ((Tap ((List <:.:> List) := (:*:)) :. (u :. (v :. w))) := a) -> (Tap ((List <:.:> List) := (:*:)) :. (u :. (v :. w))) := b

Extendable t => Extendable (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(=>>) :: Tap t a -> (Tap t a -> b) -> Tap t b

(<<=) :: (Tap t a -> b) -> Tap t a -> Tap t b

extend :: (Tap t a -> b) -> Tap t a -> Tap t b

duplicate :: Tap t a -> (Tap t :. Tap t) := a

(=<=) :: (Tap t b -> c) -> (Tap t a -> b) -> Tap t a -> c

(=>=) :: (Tap t a -> b) -> (Tap t b -> c) -> Tap t a -> c

($=>>) :: Covariant u => ((u :. Tap t) := a) -> (Tap t a -> b) -> (u :. Tap t) := b

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

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

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

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

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

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

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

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

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

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

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

Covariant t => Extractable (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

extract :: a <:= Tap t

Avoidable t => Pointable (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

point :: a :=> Tap t

pass :: Tap t ()

Traversable t => Traversable (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(->>) :: (Pointable u, Applicative u) => Tap t a -> (a -> u b) -> (u :. Tap t) := b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tap t a -> (u :. Tap t) := b

sequence :: (Pointable u, Applicative u) => ((Tap t :. u) := a) -> (u :. Tap t) := a

(->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tap t) := a) -> (a -> u b) -> (u :. (v :. Tap t)) := b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap t)) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap t))) := b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tap t))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tap t)))) := b

Traversable (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(->>) :: (Pointable u, Applicative u) => Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a -> (a -> u b) -> (u :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a -> (u :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := b

sequence :: (Pointable u, Applicative u) => ((Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. u) := a) -> (u :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := a

(->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := a) -> (a -> u b) -> (u :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) := b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))))) := b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))))) := b

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

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(->>) :: (Pointable u, Applicative u) => Tap ((List <:.:> List) := (:*:)) a -> (a -> u b) -> (u :. Tap ((List <:.:> List) := (:*:))) := b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tap ((List <:.:> List) := (:*:)) a -> (u :. Tap ((List <:.:> List) := (:*:))) := b

sequence :: (Pointable u, Applicative u) => ((Tap ((List <:.:> List) := (:*:)) :. u) := a) -> (u :. Tap ((List <:.:> List) := (:*:))) := a

(->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tap ((List <:.:> List) := (:*:))) := a) -> (a -> u b) -> (u :. (v :. Tap ((List <:.:> List) := (:*:)))) := b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap ((List <:.:> List) := (:*:)))) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap ((List <:.:> List) := (:*:))))) := b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tap ((List <:.:> List) := (:*:))))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tap ((List <:.:> List) := (:*:)))))) := b

Hoistable Tap

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(/|\) :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u => (u ~> v) -> Tap u ~> Tap v

hoist :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u => (u ~> v) -> Tap u ~> Tap v

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

Defined in Pandora.Paradigm.Structure.Some.List

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

Defined in Pandora.Paradigm.Structure.Some.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) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.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) := (:*:)))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

substructure :: (Tagged 'Right <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :~. Substructural 'Right (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

sub :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :~. Substructural 'Right (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

substructure :: (Tagged 'Left <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :~. Substructural 'Left (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

sub :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :~. Substructural 'Left (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Substructure ('Root :: a -> Segment a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) :~. Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

sub :: Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :~. Substructural 'Root (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Substructure ('Right :: a -> Wye a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

substructure :: (Tagged 'Right <:.> Tap ((List <:.:> List) := (:*:))) :~. Substructural 'Right (Tap ((List <:.:> List) := (:*:)))

sub :: Tap ((List <:.:> List) := (:*:)) :~. Substructural 'Right (Tap ((List <:.:> List) := (:*:)))

Substructure ('Left :: a -> Wye a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

substructure :: (Tagged 'Left <:.> Tap ((List <:.:> List) := (:*:))) :~. Substructural 'Left (Tap ((List <:.:> List) := (:*:)))

sub :: Tap ((List <:.:> List) := (:*:)) :~. Substructural 'Left (Tap ((List <:.:> List) := (:*:)))

Substructure ('Root :: a -> Segment a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Root (Tap ((List <:.:> List) := (:*:))) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Tap ((List <:.:> List) := (:*:))) :~. Substructural 'Root (Tap ((List <:.:> List) := (:*:)))

sub :: Tap ((List <:.:> List) := (:*:)) :~. Substructural 'Root (Tap ((List <:.:> List) := (:*:)))

Covariant t => Substructure ('Tail :: a -> Segment a) (Tap t)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Tail (Tap t) :: Type -> Type

Methods

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

sub :: Tap t :~. Substructural 'Tail (Tap t)

type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) List = Maybe <:.> Zipper List

type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) (Tap ((List <:.:> List) := (:*:))) = Maybe <:.> Zipper (Construction Maybe)

type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Zipper List

type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) = Zipper List

type Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Construction Maybe

type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) = Comprehension Maybe

type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = List

type Morphing ('Into List) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) = List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) = Tap ((Stream <:.:> Stream) := (:*:))

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) = Tap ((Stream <:.:> Stream) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) = Maybe <:.> Zipper List

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

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) = Maybe <:.> Zipper List

type Substructural ('Right :: a -> Wye a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Right :: a -> Wye a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Construction Maybe

type Substructural ('Left :: a -> Wye a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Left :: a -> Wye a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Construction Maybe

type Substructural ('Root :: a -> Segment a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Root :: a -> Segment a) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = Identity

type Substructural ('Right :: a -> Wye a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Right :: a -> Wye a) (Tap ((List <:.:> List) := (:*:))) = List

type Substructural ('Left :: a -> Wye a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Left :: a -> Wye a) (Tap ((List <:.:> List) := (:*:))) = List

type Substructural ('Root :: a -> Segment a) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Substructural ('Root :: a -> Segment a) (Tap ((List <:.:> List) := (:*:))) = Identity

type Substructural ('Tail :: a -> Segment a) (Tap t)

Defined in Pandora.Paradigm.Structure

type Substructural ('Tail :: a -> Segment a) (Tap t) = t