Pandora.Paradigm.Structure.Modification.Turnover

Documentation

newtype Turnover t a

Constructors

Turnover (t a)

Instances

(Covariant m m t, Interpreted m (Turnover t)) => Covariant m m (Turnover t)

Defined in Pandora.Paradigm.Structure.Modification.Turnover

Methods

(<-|-) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|--) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|---) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|----) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|-----) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|------) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|-------) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|--------) :: m a b -> m (Turnover t a) (Turnover t b)

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

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

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

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

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

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

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

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

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Substructure segment structure) => Substructure (segment :: k) (Turnover structure)

Defined in Pandora.Paradigm.Structure.Modification.Turnover

Associated Types

type Substance segment (Turnover structure) :: Type -> Type

Methods

substructure :: (Tagged segment <:.> Turnover structure) @>>> Substance segment (Turnover structure)

sub :: Turnover structure @>>> Substance segment (Turnover structure)

Morphable ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) (Turnover < Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Right) (Turnover < Tape List)

Morphable ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) (Turnover < Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Left) (Turnover < Tape List)

Interpreted ((->) :: Type -> Type -> Type) (Turnover t)

Defined in Pandora.Paradigm.Structure.Modification.Turnover

Associated Types

type Primary (Turnover t) a

Methods

run :: ((->) < Turnover t a) < Primary (Turnover t) a

unite :: ((->) < Primary (Turnover t) a) < Turnover t a

(<~~~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Turnover t) a) < Primary u b) -> ((->) < Turnover t a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Turnover t a) < u b) -> ((->) < Primary (Turnover t) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Turnover t) a) < Primary u b) -> (j > Turnover t a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Turnover t a) < u b) -> (j > Primary (Turnover t) a) -> (j > Primary u b)

type Substance (segment :: k) (Turnover structure)

Defined in Pandora.Paradigm.Structure.Modification.Turnover

type Substance (segment :: k) (Turnover structure) = Substance segment structure

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) = (Turnover :: (Type -> Type) -> Type -> Type) < Tape List

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) = (Turnover :: (Type -> Type) -> Type -> Type) < Tape List

type Primary (Turnover t) a

Defined in Pandora.Paradigm.Structure.Modification.Turnover

type Primary (Turnover t) a = t a