Applicative t => Applicative (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
Applicative (Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Applicative (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Extendable (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Extendable (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Traversable t => Traversable (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap Methods (->>) :: (Pointable u (->), Applicative u) => Tap ((t <:.:> t) := (:*:)) a -> (a -> u b) -> (u :. Tap ((t <:.:> t) := (:*:))) := b Source # traverse :: (Pointable u (->), Applicative u) => (a -> u b) -> Tap ((t <:.:> t) := (:*:)) a -> (u :. Tap ((t <:.:> t) := (:*:))) := b Source # sequence :: (Pointable u (->), Applicative u) => ((Tap ((t <:.:> t) := (:*:)) :. u) := a) -> (u :. Tap ((t <:.:> t) := (:*:))) := a Source # (->>>) :: (Pointable u (->), Applicative u, Traversable v) => ((v :. Tap ((t <:.:> t) := (:*:))) := a) -> (a -> u b) -> (u :. (v :. Tap ((t <:.:> t) := (:*:)))) := b Source # (->>>>) :: (Pointable u (->), Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap ((t <:.:> t) := (:*:)))) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap ((t <:.:> t) := (:*:))))) := b Source # (->>>>>) :: (Pointable u (->), Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tap ((t <:.:> t) := (:*:))))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tap ((t <:.:> t) := (:*:)))))) := b Source # |
Traversable (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List Methods (->>) :: (Pointable u (->), Applicative u) => Tap ((List <:.:> List) := (:*:)) a -> (a -> u b) -> (u :. Tap ((List <:.:> List) := (:*:))) := b Source # traverse :: (Pointable u (->), Applicative u) => (a -> u b) -> Tap ((List <:.:> List) := (:*:)) a -> (u :. Tap ((List <:.:> List) := (:*:))) := b Source # sequence :: (Pointable u (->), Applicative u) => ((Tap ((List <:.:> List) := (:*:)) :. u) := a) -> (u :. Tap ((List <:.:> List) := (:*:))) := a Source # (->>>) :: (Pointable u (->), Applicative u, Traversable v) => ((v :. Tap ((List <:.:> List) := (:*:))) := a) -> (a -> u b) -> (u :. (v :. Tap ((List <:.:> List) := (:*:)))) := b Source # (->>>>) :: (Pointable u (->), Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap ((List <:.:> List) := (:*:)))) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap ((List <:.:> List) := (:*:))))) := b Source # (->>>>>) :: (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 Source # |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into List) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
(Covariant t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Substructure ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
(Covariant t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Substructure ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
(Covariant t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Substructure ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
(Covariant t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Substructure ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
(Covariant t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Substructure ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
(forall i. Covariant (p i), Bivariant p, Contravariant t, Contravariant u) => Contravariant ((t >:.:< u) := p) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U |
(Divariant p, Contravariant t, Covariant u) => Covariant ((t >:.:> u) := p) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U Methods (<$>) :: (a -> b) -> ((t >:.:> u) := p) a -> ((t >:.:> u) := p) b Source # comap :: (a -> b) -> ((t >:.:> u) := p) a -> ((t >:.:> u) := p) b Source # (<$) :: a -> ((t >:.:> u) := p) b -> ((t >:.:> u) := p) a Source # ($>) :: ((t >:.:> u) := p) a -> b -> ((t >:.:> u) := p) b Source # void :: ((t >:.:> u) := p) a -> ((t >:.:> u) := p) () Source # loeb :: ((t >:.:> u) := p) (a <:= ((t >:.:> u) := p)) -> ((t >:.:> u) := p) a Source # (<&>) :: ((t >:.:> u) := p) a -> (a -> b) -> ((t >:.:> u) := p) b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((((t >:.:> u) := p) :. u0) := a) -> (((t >:.:> u) := p) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((((t >:.:> u) := p) :. (u0 :. v)) := a) -> (((t >:.:> u) := p) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((((t >:.:> u) := p) :. (u0 :. (v :. w))) := a) -> (((t >:.:> u) := p) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((((t >:.:> u) := p) :. u0) := a) -> (a -> b) -> (((t >:.:> u) := p) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((((t >:.:> u) := p) :. (u0 :. v)) := a) -> (a -> b) -> (((t >:.:> u) := p) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((((t >:.:> u) := p) :. (u0 :. (v :. w))) := a) -> (a -> b) -> (((t >:.:> u) := p) :. (u0 :. (v :. w))) := b Source # (.#..) :: (((t >:.:> u) := p) ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d Source # (.#...) :: (((t >:.:> u) := p) ~ v a, ((t >:.:> u) := p) ~ 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 Source # (.#....) :: (((t >:.:> u) := p) ~ v a, ((t >:.:> u) := p) ~ v b, ((t >:.:> u) := p) ~ 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 Source # (<$$) :: Covariant u0 => b -> ((((t >:.:> u) := p) :. u0) := a) -> (((t >:.:> u) := p) :. u0) := b Source # (<$$$) :: (Covariant u0, Covariant v) => b -> ((((t >:.:> u) := p) :. (u0 :. v)) := a) -> (((t >:.:> u) := p) :. (u0 :. v)) := b Source # (<$$$$) :: (Covariant u0, Covariant v, Covariant w) => b -> ((((t >:.:> u) := p) :. (u0 :. (v :. w))) := a) -> (((t >:.:> u) := p) :. (u0 :. (v :. w))) := b Source # ($$>) :: Covariant u0 => ((((t >:.:> u) := p) :. u0) := a) -> b -> (((t >:.:> u) := p) :. u0) := b Source # ($$$>) :: (Covariant u0, Covariant v) => ((((t >:.:> u) := p) :. (u0 :. v)) := a) -> b -> (((t >:.:> u) := p) :. (u0 :. v)) := b Source # ($$$$>) :: (Covariant u0, Covariant v, Covariant w) => ((((t >:.:> u) := p) :. (u0 :. (v :. w))) := a) -> b -> (((t >:.:> u) := p) :. (u0 :. (v :. w))) := b Source # |
(forall i. Covariant (p i), Bivariant p, Covariant t, Covariant u) => Covariant ((t <:.:> u) := p) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U Methods (<$>) :: (a -> b) -> ((t <:.:> u) := p) a -> ((t <:.:> u) := p) b Source # comap :: (a -> b) -> ((t <:.:> u) := p) a -> ((t <:.:> u) := p) b Source # (<$) :: a -> ((t <:.:> u) := p) b -> ((t <:.:> u) := p) a Source # ($>) :: ((t <:.:> u) := p) a -> b -> ((t <:.:> u) := p) b Source # void :: ((t <:.:> u) := p) a -> ((t <:.:> u) := p) () Source # loeb :: ((t <:.:> u) := p) (a <:= ((t <:.:> u) := p)) -> ((t <:.:> u) := p) a Source # (<&>) :: ((t <:.:> u) := p) a -> (a -> b) -> ((t <:.:> u) := p) b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((((t <:.:> u) := p) :. u0) := a) -> (((t <:.:> u) := p) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((((t <:.:> u) := p) :. (u0 :. v)) := a) -> (((t <:.:> u) := p) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((((t <:.:> u) := p) :. (u0 :. (v :. w))) := a) -> (((t <:.:> u) := p) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((((t <:.:> u) := p) :. u0) := a) -> (a -> b) -> (((t <:.:> u) := p) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((((t <:.:> u) := p) :. (u0 :. v)) := a) -> (a -> b) -> (((t <:.:> u) := p) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((((t <:.:> u) := p) :. (u0 :. (v :. w))) := a) -> (a -> b) -> (((t <:.:> u) := p) :. (u0 :. (v :. w))) := b Source # (.#..) :: (((t <:.:> u) := p) ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d Source # (.#...) :: (((t <:.:> u) := p) ~ v a, ((t <:.:> u) := p) ~ 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 Source # (.#....) :: (((t <:.:> u) := p) ~ v a, ((t <:.:> u) := p) ~ v b, ((t <:.:> u) := p) ~ 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 Source # (<$$) :: Covariant u0 => b -> ((((t <:.:> u) := p) :. u0) := a) -> (((t <:.:> u) := p) :. u0) := b Source # (<$$$) :: (Covariant u0, Covariant v) => b -> ((((t <:.:> u) := p) :. (u0 :. v)) := a) -> (((t <:.:> u) := p) :. (u0 :. v)) := b Source # (<$$$$) :: (Covariant u0, Covariant v, Covariant w) => b -> ((((t <:.:> u) := p) :. (u0 :. (v :. w))) := a) -> (((t <:.:> u) := p) :. (u0 :. (v :. w))) := b Source # ($$>) :: Covariant u0 => ((((t <:.:> u) := p) :. u0) := a) -> b -> (((t <:.:> u) := p) :. u0) := b Source # ($$$>) :: (Covariant u0, Covariant v) => ((((t <:.:> u) := p) :. (u0 :. v)) := a) -> b -> (((t <:.:> u) := p) :. (u0 :. v)) := b Source # ($$$$>) :: (Covariant u0, Covariant v, Covariant w) => ((((t <:.:> u) := p) :. (u0 :. (v :. w))) := a) -> b -> (((t <:.:> u) := p) :. (u0 :. (v :. w))) := b Source # |
Applicative t => Applicative ((t <:.:> t) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(forall i. Covariant_ (p i) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Bivariant_ p ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant_ u ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Covariant_ ((t <:.:> u) := p) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U |
Interpreted (T_U ct cu p t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U Methods run :: T_U ct cu p t u a -> Primary (T_U ct cu p t u) a Source # unite :: Primary (T_U ct cu p t u) a -> T_U ct cu p t u a Source # (||=) :: Interpreted u0 => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> T_U ct cu p t u a -> u0 b Source # (=||) :: Interpreted u0 => (T_U ct cu p t u a -> u0 b) -> Primary (T_U ct cu p t u) a -> Primary u0 b Source # (<$||=) :: (Covariant j, Interpreted u0) => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> (j := T_U ct cu p t u a) -> j := u0 b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> ((j :. k) := T_U ct cu p t u a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> ((j :. (k :. l)) := T_U ct cu p t u a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := T_U ct cu p t u a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (Covariant j, Interpreted u0) => (T_U ct cu p t u a -> u0 b) -> (j := Primary (T_U ct cu p t u) a) -> j := Primary u0 b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (T_U ct cu p t u a -> u0 b) -> ((j :. k) := Primary (T_U ct cu p t u) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (T_U ct cu p t u a -> u0 b) -> ((j :. (k :. l)) := Primary (T_U ct cu p t u) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (T_U ct cu p t u a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (T_U ct cu p t u) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Available ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
type Available ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
type Available ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
type Substance ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
type Substance ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
type Substance ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
type Available ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Available ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Substance ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Substance ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Primary (T_U ct cu p t u) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U |