Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype TU ct cu t u a Source #
Instances
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:+:) u, Monoidal (-->) (-->) (:*:) (:+:) t) => Monoidal (-->) (-->) (:*:) (:+:) (t <:.> u) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) u, Monoidal (-->) (-->) (:*:) (:*:) t, Monoidal (-->) (-->) (:*:) (:*:) u) => Monoidal (-->) (-->) (:*:) (:*:) (t <:.> u) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t, Monoidal (<--) (-->) (:*:) (:*:) u) => Monoidal (<--) (-->) (:*:) (:*:) (t <:.> u) Source # | |
(Semigroupoid m, Covariant m m t, Covariant (Betwixt m m) m t, Covariant m (Betwixt m m) u, Interpreted m (t <:.> u)) => Covariant m m (t <:.> u) Source # | |
Defined in Pandora.Paradigm.Schemes.TU (<-|-) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source # (<-|--) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source # (<-|---) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source # (<-|----) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source # (<-|-----) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source # (<-|------) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source # (<-|-------) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source # (<-|--------) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source # (<-|-|-) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b)) Source # (<-|-|--) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b)) Source # (<-|-|---) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b)) Source # (<-|-|----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b)) Source # (<-|-|-----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b)) Source # (<-|-|------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b)) Source # (<-|-|-------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b)) Source # (<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m m)) v, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u0, Covariant (Betwixt (Betwixt m m) m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 (v a))) ((t <:.> u) (u0 (v b))) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:+:) u) => Semimonoidal (-->) (:*:) (:+:) (t <:.> u :: Type -> Type) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => Semimonoidal (-->) (:*:) (:*:) (t <:.> u :: Type -> Type) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:.> u :: Type -> Type) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Impliable (Tape t a :: Type) Source # | |
Morphable ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Morph (Type -> Type)) (Construction List) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Morphing ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) (Construction List) :: Type -> Type Source # morphing :: (Tagged ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) <::> Construction List) ~> Morphing ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) (Construction List) 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 # | |
Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source # | |
Morphable ('Into List) (Tape > Construction Maybe) 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 # | |
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Morphing ('Rotate 'Up) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source # morphing :: (Tagged ('Rotate 'Up) <::> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) ~> Morphing ('Rotate 'Up) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Substructure ('Right ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source # substructure :: (Tagged ('Right 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Right 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Substructure ('Left ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source # substructure :: (Tagged ('Left 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Left 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Substructure ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Substance ('Down 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source # substructure :: (Tagged ('Down 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Down 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Down 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Substructure ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Substance ('Up 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Type -> Type Source # substructure :: (Tagged ('Up 'Forest) <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))))) @>>> Substance ('Up 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Up 'Forest) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) 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.Modification.Tape | |
(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.Modification.Tape | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Hoistable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source # | |
Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List 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 (('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 # | |
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) (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) Source # | |
Defined in Pandora.Paradigm.Structure.Interface.Zipper substructure :: (Tagged 'Root <:.> (Tagged (Zippable structure) <:.> (Exactly <:*:> t))) @>>> Substance 'Root (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) Source # sub :: (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) @>>> Substance 'Root (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Modification.Tape | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Modification.Tape | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Modification.Tape (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source # (<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source # (<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source # (<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source # (<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source # (<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) Source # (<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape t a -> u (Tape t b) 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 # | |
(Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <:.> u) Source # | |
Defined in Pandora.Paradigm.Schemes.TU (<<-) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b) Source # (<<-------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b) Source # (<<------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b) Source # (<<-----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b) Source # (<<----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b) Source # (<<---) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b) Source # (<<--) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (w <:.> u), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v) (w <:.> u) Source # | |
Defined in Pandora.Paradigm.Schemes (-|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (|-) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|--------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|-------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|-----) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|----) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|---) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|--) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (--------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (-------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (-----|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (----|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (w <.:> u), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t) (w <.:> u) Source # | |
Defined in Pandora.Paradigm.Schemes (-|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (|-) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|--------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|-------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|-----) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|----) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|---) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|--) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (--------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (-------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (-----|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (----|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (u <:.> w), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t) (u <:.> w) Source # | |
Defined in Pandora.Paradigm.Schemes (-|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (|-) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|--------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|-------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|-----) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|----) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|---) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|--) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (--------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (-------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (-----|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (----|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # | |
Extendable ((->) :: Type -> Type -> Type) u => Extendable ((->) :: Type -> Type -> Type) ((:*:) e <:.> u) Source # | |
Defined in Pandora.Paradigm.Inventory.Some.Equipment (<<=) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b Source # (<<==) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b Source # (<<===) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b Source # (<<====) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b Source # (<<=====) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b Source # (<<======) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b Source # (<<=======) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b Source # (<<========) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b Source # | |
(Bindable ((->) :: Type -> Type -> Type) t, Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Bindable ((->) :: Type -> Type -> Type) u) => Bindable ((->) :: Type -> Type -> Type) (t <:.> u) Source # | |
Defined in Pandora.Paradigm.Schemes.TU (=<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b Source # (==<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b Source # (===<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b Source # (====<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b Source # (=====<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b Source # (======<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b Source # (=======<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b Source # | |
Monoidal (-->) (-->) (:*:) (:*:) t => Liftable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source # | |
Monoidal (<--) (-->) (:*:) (:*:) t => Lowerable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source # | |
Interpreted ((->) :: Type -> Type -> Type) (TU ct cu t u) Source # | |
Defined in Pandora.Paradigm.Schemes.TU run :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # unite :: ((->) < Primary (TU ct cu t u) a) < TU ct cu t u a Source # (<~~~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # (<~~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # (<~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # (<~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # (<~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # (<~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # (<~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # (<~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a Source # (=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (TU ct cu t u) a) < Primary u0 b) -> ((->) < TU ct cu t u a) < u0 b Source # (-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < TU ct cu t u a) < u0 b) -> ((->) < Primary (TU ct cu t u) a) < Primary u0 b Source # (<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (TU ct cu t u) a) < Primary u0 b) -> (j > TU ct cu t u a) -> (j > u0 b) Source # (-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < TU ct cu t u a) < u0 b) -> (j > Primary (TU ct cu t u) a) -> (j > Primary u0 b) Source # | |
type Nonempty Rose Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose | |
type Arguments (Tape t a :: Type) Source # | |
Defined in Pandora.Paradigm.Structure.Modification.Tape | |
type Morphing ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Morph (Type -> Type)) (Construction List) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Morphing ('Into (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) :: Morph (Type -> Type)) (Construction List) = Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) | |
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 Rose k) Source # | |
type Morphing ('Into List) (Tape > Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List | |
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 Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) = Maybe <::> (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) | |
type Substance ('Right ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
type Substance ('Left ('Forest :: a -> Segment a) :: Wye (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
type Substance ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) Source # | |
type Substance ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Tagged (Zippable structure) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) 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 (('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 (('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) (Tape t) Source # | |
Defined in Pandora.Paradigm.Structure.Modification.Tape | |
type Substance ('Left :: a -> Wye a) (Tape t) Source # | |
type Substance ('Root :: a -> Segment a) (Tagged (Zippable structure) <:.> (Exactly <:*:> t)) 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 (TU ct cu t u) a Source # | |
Defined in Pandora.Paradigm.Schemes.TU |
type (>:.<) = TU Contravariant Contravariant infixr 3 Source #