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

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

Semimonoidal t ((->) :: Type -> Type -> Type) (:*:) (:*:) => Semimonoidal (Tap t :: Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:*:)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

multiply_ :: forall (a :: k) (b :: k). (Tap t a :*: Tap t b) -> Tap t (a :*: b)

Semimonoidal t ((->) :: Type -> Type -> Type) (:*:) (:*:) => Semimonoidal (Tap ((t <:.:> t) := (:*:)) :: Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:*:)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

multiply_ :: forall (a :: k) (b :: k). (Tap ((t <:.:> t) := (:*:)) a :*: Tap ((t <:.:> t) := (:*:)) b) -> Tap ((t <:.:> t) := (:*:)) (a :*: b)

Semimonoidal (Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:))) ((->) :: Type -> Type -> Type) (:*:) (:*:)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Extractable (Tap t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

extract :: Tap t a -> a

(Extendable t ((->) :: Type -> Type -> Type), Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Extendable (Tap t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

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

Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Covariant (Tap t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

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

Traversable t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Traversable (Tap t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> Tap t a -> u (Tap t b)

Traversable t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Traversable (Tap ((t <:.:> t) := (:*:))) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> Tap ((t <:.:> t) := (:*:)) a -> u (Tap ((t <:.:> t) := (:*:)) b)

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

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Substructure ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

type Available 'Right (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

type Substance 'Right (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Tap ((t <:.:> t) := (:*:))) #=@ Substance 'Right (Tap ((t <:.:> t) := (:*:)))) := Available 'Right (Tap ((t <:.:> t) := (:*:)))

sub :: (Tap ((t <:.:> t) := (:*:)) #=@ Substance 'Right (Tap ((t <:.:> t) := (:*:)))) := Available 'Right (Tap ((t <:.:> t) := (:*:)))

Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Substructure ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

type Available 'Left (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

type Substance 'Left (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Tap ((t <:.:> t) := (:*:))) #=@ Substance 'Left (Tap ((t <:.:> t) := (:*:)))) := Available 'Left (Tap ((t <:.:> t) := (:*:)))

sub :: (Tap ((t <:.:> t) := (:*:)) #=@ Substance 'Left (Tap ((t <:.:> t) := (:*:)))) := Available 'Left (Tap ((t <:.:> t) := (:*:)))

Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Substructure ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Associated Types

type Available 'Root (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

type Substance 'Root (Tap ((t <:.:> t) := (:*:))) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Tap ((t <:.:> t) := (:*:))) #=@ Substance 'Root (Tap ((t <:.:> t) := (:*:)))) := Available 'Root (Tap ((t <:.:> t) := (:*:)))

sub :: (Tap ((t <:.:> t) := (:*:)) #=@ Substance 'Root (Tap ((t <:.:> t) := (:*:)))) := Available 'Root (Tap ((t <:.:> t) := (:*:)))

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

Defined in Pandora.Paradigm.Structure

Associated Types

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

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

Methods

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

sub :: (Tap t #=@ Substance 'Tail (Tap t)) := Available '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 <:.> Tap ((List <:.:> 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 (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 <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

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 <:.> Tap ((Construction Maybe <:.:> 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 <:.> Tap ((Construction Maybe <:.:> 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 <:.> Tap ((List <:.:> 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 <:.> Tap ((List <:.:> List) := (:*:))

type Available ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

type Available ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = Identity

type Available ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

type Available ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = Identity

type Available ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

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

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

Defined in Pandora.Paradigm.Structure

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

type Substance ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

type Substance ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = t

type Substance ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

type Substance ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = t

type Substance ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:)))

Defined in Pandora.Paradigm.Primary.Transformer.Tap

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

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

Defined in Pandora.Paradigm.Structure

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