Pandora.Paradigm.Structure.Modification.Turnover
newtype Turnover t a Source #
Constructors
Defined in Pandora.Paradigm.Structure.Modification.Turnover
Methods
(<-|-) :: m a b -> m (Turnover t a) (Turnover t b) Source #
(<-|--) :: m a b -> m (Turnover t a) (Turnover t b) Source #
(<-|---) :: m a b -> m (Turnover t a) (Turnover t b) Source #
(<-|----) :: m a b -> m (Turnover t a) (Turnover t b) Source #
(<-|-----) :: m a b -> m (Turnover t a) (Turnover t b) Source #
(<-|------) :: m a b -> m (Turnover t a) (Turnover t b) Source #
(<-|-------) :: m a b -> m (Turnover t a) (Turnover t b) Source #
(<-|--------) :: m a b -> m (Turnover t a) (Turnover t b) Source #
(<-|-|-) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b)) Source #
(<-|-|--) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b)) Source #
(<-|-|---) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b)) Source #
(<-|-|----) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b)) Source #
(<-|-|-----) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b)) Source #
(<-|-|------) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b)) Source #
(<-|-|-------) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b)) Source #
(<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m m)) v, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u, Covariant (Betwixt (Betwixt m m) m) m (Turnover t)) => m a b -> m (Turnover t (u (v a))) (Turnover t (u (v b))) Source #
Associated Types
type Substance segment (Turnover structure) :: Type -> Type Source #
substructure :: (Tagged segment <:.> Turnover structure) @>>> Substance segment (Turnover structure) Source #
sub :: Turnover structure @>>> Substance segment (Turnover structure) Source #
Defined in Pandora.Paradigm.Structure.Some.List
type Morphing ('Rotate 'Right) (Turnover < Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Right) (Turnover < Tape List) Source #
type Morphing ('Rotate 'Left) (Turnover < Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Left) (Turnover < Tape List) Source #
type Primary (Turnover t) a Source #
run :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
unite :: ((->) < Primary (Turnover t) a) < Turnover t a Source #
(<~~~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
(<~~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
(<~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
(<~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
(<~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
(<~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
(<~~) :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
(<~) :: ((->) < Turnover t a) < Primary (Turnover t) a Source #
(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Turnover t) a) < Primary u b) -> ((->) < Turnover t a) < u b Source #
(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Turnover t a) < u b) -> ((->) < Primary (Turnover t) a) < Primary u b Source #
(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Turnover t) a) < Primary u b) -> (j > Turnover t a) -> (j > u b) Source #
(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Turnover t a) < u b) -> (j > Primary (Turnover t) a) -> (j > Primary u b) Source #