Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype T_U ct cu p t u a Source #
T_U (p (t a) (u a)) |
Instances
Semimonoidal (<--) (:*:) (:*:) t => Monoidal (<--) (-->) (:*:) (:*:) ((Exactly <:.:> t) > (:*:)) Source # | |
Semimonoidal (-->) (:*:) (:*:) t => Semimonoidal (-->) (:*:) (:*:) (Tap ((t <:.:> t) > (:*:)) :: Type -> Type) Source # | |
(Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:*:> u :: Type -> Type) Source # | |
(Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => Semimonoidal (-->) (:*:) (:*:) ((t <:.:> u) > (:*:) :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) t => Semimonoidal (<--) (:*:) (:*:) ((Exactly <:.:> t) > (:*:) :: Type -> Type) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Impliable (Tape t a :: Type) Source # | |
Morphable ('Into Binary) (Construction (Maybe <:*:> Maybe)) Source # | |
Morphable ('Into List) (Tape List) Source # | |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) Source # | |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) Source # | |
Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source # | |
Morphable ('Into Wye) ((Maybe <:.:> Maybe) > (:*:)) Source # | |
Morphable ('Into List) (Tape > Construction Maybe) Source # | |
Chain key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) Source # | |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe) Source # | |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe) Source # | |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) Source # | |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Right :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Left :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List Source # | |
Morphable (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) Binary Source # | |
Morphable (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) Binary Source # | |
Morphable (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source # | |
Morphable (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source # | |
Morphable (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source # | |
Morphable (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source # | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List) Source # | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe) Source # | |
Morphable (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Splay | |
Morphable (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Splay | |
Morphable (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) Source # | |
Morphable (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) Source # | |
Morphable (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) Source # | |
Morphable (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) Source # | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List | |
Extendable ((->) :: Type -> Type -> Type) (Tape Stream) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Stream (<<=) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<==) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<===) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<=====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<=======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # (<<=========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source # | |
Substructure ('Right :: a -> Wye a) Binary Source # | |
Substructure ('Left :: a -> Wye a) Binary Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tap ((t <:.:> t) > (:*:))) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Tap | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tap ((t <:.:> t) > (:*:))) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Tap | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Tap ((t <:.:> t) > (:*:))) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Tap | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tape t) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tape t) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Tape t) Source # | |
Substructure ('Root :: a -> Segment a) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
Substructure ('Right :: a -> Wye a) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
Substructure ('Left :: a -> Wye a) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Substructure ('Right :: a -> Wye a) (t <:*:> u) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Substructure ('Left :: a -> Wye a) (t <:*:> u) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tape List) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List (<<-) :: (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 # | |
(Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, forall a. Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (p (t a)), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, forall b. Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip p (u b))) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t >:.:> u) > p) Source # | |
Defined in Pandora.Paradigm.Schemes.T_U (<-|-) :: (a -> b) -> ((t >:.:> u) > p) a -> ((t >:.:> u) > p) b Source # (<-|--) :: (a -> b) -> ((t >:.:> u) > p) a -> ((t >:.:> u) > p) b Source # (<-|---) :: (a -> b) -> ((t >:.:> u) > p) a -> ((t >:.:> u) > p) b Source # (<-|----) :: (a -> b) -> ((t >:.:> u) > p) a -> ((t >:.:> u) > p) b Source # (<-|-----) :: (a -> b) -> ((t >:.:> u) > p) a -> ((t >:.:> u) > p) b Source # (<-|------) :: (a -> b) -> ((t >:.:> u) > p) a -> ((t >:.:> u) > p) b Source # (<-|-------) :: (a -> b) -> ((t >:.:> u) > p) a -> ((t >:.:> u) > p) b Source # (<-|--------) :: (a -> b) -> ((t >:.:> u) > p) a -> ((t >:.:> u) > p) b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) > p)) => (a -> b) -> ((t >:.:> u) > p) (u0 a) -> ((t >:.:> u) > p) (u0 b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) > p)) => (a -> b) -> ((t >:.:> u) > p) (u0 a) -> ((t >:.:> u) > p) (u0 b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) > p)) => (a -> b) -> ((t >:.:> u) > p) (u0 a) -> ((t >:.:> u) > p) (u0 b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) > p)) => (a -> b) -> ((t >:.:> u) > p) (u0 a) -> ((t >:.:> u) > p) (u0 b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) > p)) => (a -> b) -> ((t >:.:> u) > p) (u0 a) -> ((t >:.:> u) > p) (u0 b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) > p)) => (a -> b) -> ((t >:.:> u) > p) (u0 a) -> ((t >:.:> u) > p) (u0 b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) > p)) => (a -> b) -> ((t >:.:> u) > p) (u0 a) -> ((t >:.:> u) > p) (u0 b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((t >:.:> u) > p)) => (a -> b) -> ((t >:.:> u) > p) (u0 (v a)) -> ((t >:.:> u) > p) (u0 (v b)) Source # | |
(forall i. Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (p i), forall o. Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip p o), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t <:.:> u) > p) Source # | |
Defined in Pandora.Paradigm.Schemes.T_U (<-|-) :: (a -> b) -> ((t <:.:> u) > p) a -> ((t <:.:> u) > p) b Source # (<-|--) :: (a -> b) -> ((t <:.:> u) > p) a -> ((t <:.:> u) > p) b Source # (<-|---) :: (a -> b) -> ((t <:.:> u) > p) a -> ((t <:.:> u) > p) b Source # (<-|----) :: (a -> b) -> ((t <:.:> u) > p) a -> ((t <:.:> u) > p) b Source # (<-|-----) :: (a -> b) -> ((t <:.:> u) > p) a -> ((t <:.:> u) > p) b Source # (<-|------) :: (a -> b) -> ((t <:.:> u) > p) a -> ((t <:.:> u) > p) b Source # (<-|-------) :: (a -> b) -> ((t <:.:> u) > p) a -> ((t <:.:> u) > p) b Source # (<-|--------) :: (a -> b) -> ((t <:.:> u) > p) a -> ((t <:.:> u) > p) b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) > p)) => (a -> b) -> ((t <:.:> u) > p) (u0 a) -> ((t <:.:> u) > p) (u0 b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) > p)) => (a -> b) -> ((t <:.:> u) > p) (u0 a) -> ((t <:.:> u) > p) (u0 b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) > p)) => (a -> b) -> ((t <:.:> u) > p) (u0 a) -> ((t <:.:> u) > p) (u0 b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) > p)) => (a -> b) -> ((t <:.:> u) > p) (u0 a) -> ((t <:.:> u) > p) (u0 b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) > p)) => (a -> b) -> ((t <:.:> u) > p) (u0 a) -> ((t <:.:> u) > p) (u0 b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) > p)) => (a -> b) -> ((t <:.:> u) > p) (u0 a) -> ((t <:.:> u) > p) (u0 b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) > p)) => (a -> b) -> ((t <:.:> u) > p) (u0 a) -> ((t <:.:> u) > p) (u0 b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((t <:.:> u) > p)) => (a -> b) -> ((t <:.:> u) > p) (u0 (v a)) -> ((t <:.:> u) > p) (u0 (v b)) Source # | |
Interpreted ((->) :: Type -> Type -> Type) (T_U ct cu p t u) Source # | |
Defined in Pandora.Paradigm.Schemes.T_U 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 # (<~~~~~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (<~~~~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (<~~~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (<~~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (<~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (<~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (<~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (<~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (<~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a Source # (=#-) :: (Semigroupoid (->), 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 # (-#=) :: (Semigroupoid (->), 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 # (<$=#-) :: (Semigroupoid (->), 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, 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 # | |
type Nonempty Binary Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
type Arguments (Tape t a :: Type) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
type Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
type Morphing ('Into List) (Tape List) Source # | |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) Source # | |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream) Source # | |
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source # | |
type Morphing ('Into Wye) ((Maybe <:.:> Maybe) > (:*:)) Source # | |
type Morphing ('Into List) (Tape > Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List | |
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) Source # | |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe) Source # | |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape > Construction Maybe) Source # | |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) Source # | |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) Source # | |
type Substance ('All ('Right :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) Source # | |
type Substance ('All ('Left :: a -> Wye a) :: Occurrence (a -> Wye a)) (Tape t <::> Tape t) Source # | |
type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List Source # | |
type Morphing (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) Binary Source # | |
type Morphing (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) Binary Source # | |
type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source # | |
type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source # | |
type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source # | |
type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source # | |
type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List) = Comprehension Maybe | |
type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe) Source # | |
type Morphing (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) (Construction (Maybe <:*:> Maybe)) Source # | |
type Morphing (('Rotate :: Wye (a -> Splay a) -> Morph (Wye (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Wye (a -> Splay a))) (Construction (Maybe <:*:> Maybe)) Source # | |
type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe) | |
type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe) | |
type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe) | |
type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing (('Rotate :: Wye (Splay (a -> Splay a)) -> Morph (Wye (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Wye (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Wye (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe) | |
type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) = Construction Maybe | |
type Substance ('Right :: a -> Wye a) Binary Source # | |
type Substance ('Left :: a -> Wye a) Binary Source # | |
type Substance ('Right :: a -> Wye a) (Tap ((t <:.:> t) > (:*:))) Source # | |
type Substance ('Left :: a -> Wye a) (Tap ((t <:.:> t) > (:*:))) Source # | |
type Substance ('Root :: a -> Segment a) (Tap ((t <:.:> t) > (:*:))) Source # | |
type Substance ('Right :: a -> Wye a) (Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Ability.Zipper | |
type Substance ('Left :: a -> Wye a) (Tape t) Source # | |
type Substance ('Root :: a -> Segment a) (Tape t) Source # | |
type Substance ('Root :: a -> Segment a) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
type Substance ('Right :: a -> Wye a) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
type Substance ('Left :: a -> Wye a) (Construction (Maybe <:*:> Maybe)) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Binary | |
type Substance ('Right :: a -> Wye a) (t <:*:> u) Source # | |
type Substance ('Left :: a -> Wye a) (t <:*:> u) Source # | |
type Substance ('Down :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
type Substance ('Up :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
type Primary (T_U ct cu p t u) a Source # | |
Defined in Pandora.Paradigm.Schemes.T_U |
type (>:.:<) t u p = T_U Contravariant Contravariant p t u infixr 2 Source #