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 (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 Available segment (Turnover structure) :: Type -> Type

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

Methods

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

sub :: (Turnover structure #=@ Substance segment (Turnover structure)) := Available segment (Turnover structure)

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Turnover (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 -> Wye a) :: Morph (a -> Wye a)) (Turnover (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

(=#-) :: (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 Available (segment :: k) (Turnover structure)

Defined in Pandora.Paradigm.Structure.Modification.Turnover

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

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 -> Wye a) :: Morph (a -> Wye a)) (Turnover (Tape List))

Defined in Pandora.Paradigm.Structure.Some.List

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

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Turnover (Tape List))

Defined in Pandora.Paradigm.Structure.Some.List

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

type Primary (Turnover t) a

Defined in Pandora.Paradigm.Structure.Modification.Turnover

type Primary (Turnover t) a = t a