Pandora.Paradigm.Primary.Functor.Exactly

Documentation

newtype Exactly a

Constructors

Exactly a

Instances

Representable Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Associated Types

type Representation Exactly

Methods

(<#>) :: Representation Exactly -> a <:= Exactly

tabulate :: (Representation Exactly -> a) -> Exactly a

index :: Exactly a -> Representation Exactly -> a

Lensic Exactly Maybe

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Lensally Exactly Maybe :: Type -> Type

Methods

(>>>) :: Lens Exactly source between -> Lens Maybe between target -> Lens (Lensally Exactly Maybe) source target

Lensic Maybe Exactly

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Lensally Maybe Exactly :: Type -> Type

Methods

(>>>) :: Lens Maybe source between -> Lens Exactly between target -> Lens (Lensally Maybe Exactly) source target

Monoidal (-->) (-->) (:*:) (:*:) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Exactly a

Monoidal (<--) (-->) (:*:) (:*:) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Exactly a

Semimonoidal (<--) (:*:) (:*:) t => Monoidal (<--) (-->) (:*:) (:*:) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Interface.Zipper

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (Exactly <:*:> t) a

Accessible a (Exactly a)

Defined in Pandora.Paradigm.Structure

Methods

access :: Lens Exactly (Exactly a) a

Semigroup a => Semigroup (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(+) :: Exactly a -> Exactly a -> Exactly a

Ringoid a => Ringoid (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(*) :: Exactly a -> Exactly a -> Exactly a

Monoid a => Monoid (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

zero :: Exactly a

Quasiring a => Quasiring (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

one :: Exactly a

Group a => Group (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

invert :: Exactly a -> Exactly a

(-) :: Exactly a -> Exactly a -> Exactly a

Supremum a => Supremum (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(\/) :: Exactly a -> Exactly a -> Exactly a

Infimum a => Infimum (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(/\) :: Exactly a -> Exactly a -> Exactly a

Lattice a => Lattice (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Setoid a => Setoid (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(==) :: Exactly a -> Exactly a -> Boolean

(!=) :: Exactly a -> Exactly a -> Boolean

(?=) :: Exactly a -> Exactly a -> r -> r -> r

Chain a => Chain (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(<=>) :: Exactly a -> Exactly a -> Ordering

(<) :: Exactly a -> Exactly a -> Boolean

(<=) :: Exactly a -> Exactly a -> Boolean

(>) :: Exactly a -> Exactly a -> Boolean

(>=) :: Exactly a -> Exactly a -> Boolean

Semigroupoid (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

(.) :: Lens Exactly b c -> Lens Exactly a b -> Lens Exactly a c

Category (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

identity :: Lens Exactly a a

(<--------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<-------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<-----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<---) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<--) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(-------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(------>) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(----->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(---->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(--->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(-->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

Zippable (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Breadcrumbs (Construction Exactly) :: Type -> Type

Stack (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Topping (Construction Exactly) :: Type -> Type

Methods

top :: ((Lens < Topping (Construction Exactly)) < Construction Exactly e) < e

pop :: (State < Construction Exactly e) < Topping (Construction Exactly) e

push :: e -> (State < Construction Exactly e) < e

Semimonoidal (-->) (:*:) (:*:) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

mult :: forall (a :: k) (b :: k). (Exactly a :*: Exactly b) --> Exactly (a :*: b)

Semimonoidal (<--) (:*:) (:*:) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

mult :: forall (a :: k) (b :: k). (Exactly a :*: Exactly b) <-- Exactly (a :*: b)

Semimonoidal (-->) (:*:) (:*:) (Lens Exactly source :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

mult :: forall (a :: k) (b :: k). (Lens Exactly source a :*: Lens Exactly source b) --> Lens Exactly source (a :*: b)

Semimonoidal (<--) (:*:) (:*:) t => Semimonoidal (<--) (:*:) (:*:) (Exactly <:*:> t :: Type -> Type)

Defined in Pandora.Paradigm.Structure.Interface.Zipper

Methods

mult :: forall (a :: k) (b :: k). ((Exactly <:*:> t) a :*: (Exactly <:*:> t) b) <-- (Exactly <:*:> t) (a :*: b)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Impliable (Tape t a :: Type)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Arguments (Tape t a) = (args :: Type)

Methods

imply :: Arguments (Tape t a)

Morphable ('Into (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Morphing ('Into (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) (Construction List) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) <::> Construction List) ~> Morphing ('Into (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) (Construction List)

Morphable ('Into List) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> Tape List) ~> Morphing ('Into List) (Tape List)

Morphable ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Right) (Tape Stream) :: Type -> Type

Methods

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

Morphable ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Left) (Tape Stream) :: Type -> Type

Methods

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

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Morphing ('Rotate 'Up) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <::> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) ~> Morphing ('Rotate 'Up) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Substructure ('Right ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Right 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) :: Type -> Type

Methods

substructure :: (Tagged ('Right 'Forest) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Right 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

sub :: (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) @>>> Substance ('Right 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Substructure ('Left ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Left 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) :: Type -> Type

Methods

substructure :: (Tagged ('Left 'Forest) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Left 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

sub :: (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) @>>> Substance ('Left 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Substructure ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Down 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) :: Type -> Type

Methods

substructure :: (Tagged ('Down 'Forest) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Down 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

sub :: (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) @>>> Substance ('Down 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Substructure ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Up 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) :: Type -> Type

Methods

substructure :: (Tagged ('Up 'Forest) <:.> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) @>>> Substance ('Up 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

sub :: (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) @>>> Substance ('Up 'Forest) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Morphable ('Into List) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> (Tape > Construction Maybe)) ~> Morphing ('Into List) (Tape > Construction Maybe)

Morphable ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tape > Construction Maybe)

Morphable ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tape > Construction Maybe)

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)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Right :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Substance ('All 'Right) (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: (Tagged ('All 'Right) <:.> (Tape t <::> Tape t)) @>>> Substance ('All 'Right) (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance ('All 'Right) (Tape t <::> Tape t)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Left :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Substance ('All 'Left) (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: (Tagged ('All 'Left) <:.> (Tape t <::> Tape t)) @>>> Substance ('All 'Left) (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance ('All 'Left) (Tape t <::> Tape t)

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Tape List) List :: Type -> Type

Methods

morphing :: (Tagged ('Into > Tape List) <::> List) ~> Morphing ('Into > Tape List) List

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Comprehension Maybe) (Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Into > Comprehension Maybe) <::> Tape List) ~> Morphing ('Into > Comprehension Maybe) (Tape List)

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Tape List) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into > Tape List) <::> Construction Maybe) ~> Morphing ('Into > Tape List) (Construction Maybe)

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Construction Maybe) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into > Construction Maybe) <::> (Tape > Construction Maybe)) ~> Morphing ('Into > Construction Maybe) (Tape > Construction Maybe)

Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Arguments (P_Q_T (->) Store Exactly source target) = (args :: Type)

Methods

imply :: Arguments (P_Q_T (->) Store Exactly source target)

Extendable ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(<<=) :: (Exactly a -> b) -> Exactly a -> Exactly b

(<<==) :: (Exactly a -> b) -> Exactly a -> Exactly b

(<<===) :: (Exactly a -> b) -> Exactly a -> Exactly b

(<<====) :: (Exactly a -> b) -> Exactly a -> Exactly b

(<<=====) :: (Exactly a -> b) -> Exactly a -> Exactly b

(<<======) :: (Exactly a -> b) -> Exactly a -> Exactly b

(<<=======) :: (Exactly a -> b) -> Exactly a -> Exactly b

(<<========) :: (Exactly a -> b) -> Exactly a -> Exactly b

Bindable ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(=<<) :: (a -> Exactly b) -> Exactly a -> Exactly b

(==<<) :: (a -> Exactly b) -> Exactly a -> Exactly b

(===<<) :: (a -> Exactly b) -> Exactly a -> Exactly b

(====<<) :: (a -> Exactly b) -> Exactly a -> Exactly b

(=====<<) :: (a -> Exactly b) -> Exactly a -> Exactly b

(======<<) :: (a -> Exactly b) -> Exactly a -> Exactly b

(=======<<) :: (a -> Exactly b) -> Exactly a -> Exactly b

Monad ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Comonad ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Gettable (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Getting (Lens Exactly) e r

Methods

get :: Getting (Lens Exactly) e r

Extendable ((->) :: Type -> Type -> Type) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

(<<=) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<==) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<===) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<=====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<=======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Stack structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure)) => Slidable ('Right :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Sliding 'Right (Tape structure) :: Type -> Type

Methods

slide :: ((State < Tape structure e) :> Sliding 'Right (Tape structure)) >>> ()

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure), Stack structure) => Slidable ('Left :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Sliding 'Left (Tape structure) :: Type -> Type

Methods

slide :: ((State < Tape structure e) :> Sliding 'Left (Tape structure)) >>> ()

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Rest :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Rest (Exactly <:*:> t) :: Type -> Type

Methods

substructure :: (Tagged 'Rest <:.> (Exactly <:*:> t)) @>>> Substance 'Rest (Exactly <:*:> t)

sub :: (Exactly <:*:> t) @>>> Substance 'Rest (Exactly <:*:> t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Root (Exactly <:*:> t) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> (Exactly <:*:> t)) @>>> Substance 'Root (Exactly <:*:> t)

sub :: (Exactly <:*:> t) @>>> Substance 'Root (Exactly <:*:> t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Substance 'Down (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: (Tagged 'Down <:.> (Tape t <::> Tape t)) @>>> Substance 'Down (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance 'Down (Tape t <::> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Substance 'Up (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: (Tagged 'Up <:.> (Tape t <::> Tape t)) @>>> Substance 'Up (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance 'Up (Tape t <::> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(<-|-) :: (a -> b) -> Exactly a -> Exactly b

(<-|--) :: (a -> b) -> Exactly a -> Exactly b

(<-|---) :: (a -> b) -> Exactly a -> Exactly b

(<-|----) :: (a -> b) -> Exactly a -> Exactly b

(<-|-----) :: (a -> b) -> Exactly a -> Exactly b

(<-|------) :: (a -> b) -> Exactly a -> Exactly b

(<-|-------) :: (a -> b) -> Exactly a -> Exactly b

(<-|--------) :: (a -> b) -> Exactly a -> Exactly b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Exactly) => (a -> b) -> Exactly (u (v a)) -> Exactly (u (v b))

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b)

(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b)

(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b)

(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b)

(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b)

(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b)

(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Exactly a -> u (Exactly b)

Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Exactly Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(-|) :: (Exactly a -> b) -> a -> Exactly b

(|-) :: (a -> Exactly b) -> Exactly a -> b

(|--------) :: (a -> Exactly b) -> Exactly a -> b

(|-------) :: (a -> Exactly b) -> Exactly a -> b

(|------) :: (a -> Exactly b) -> Exactly a -> b

(|-----) :: (a -> Exactly b) -> Exactly a -> b

(|----) :: (a -> Exactly b) -> Exactly a -> b

(|---) :: (a -> Exactly b) -> Exactly a -> b

(|--) :: (a -> Exactly b) -> Exactly a -> b

(--------|) :: (Exactly a -> b) -> a -> Exactly b

(-------|) :: (Exactly a -> b) -> a -> Exactly b

(------|) :: (Exactly a -> b) -> a -> Exactly b

(-----|) :: (Exactly a -> b) -> a -> Exactly b

(----|) :: (Exactly a -> b) -> a -> Exactly b

(---|) :: (Exactly a -> b) -> a -> Exactly b

(--|) :: (Exactly a -> b) -> a -> Exactly b

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

type Representation Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

type Representation Exactly = ()

type Lensally Exactly Maybe

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Lensally Exactly Maybe = Maybe

type Lensally Maybe Exactly

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Lensally Maybe Exactly = Maybe

type Breadcrumbs (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Breadcrumbs (Construction Exactly) = Reverse Stream <:*:> Stream

type Topping (Construction Exactly)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Topping (Construction Exactly) = Exactly

type Arguments (Tape t a :: Type)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Arguments (Tape t a :: Type) = a -> t a -> t a -> Tape t a

type Morphing ('Into (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Morphing ('Into (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))) (Construction List) = Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))

type Morphing ('Into List) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tape List) = List

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream) = Tape Stream

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream) = Tape Stream

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = Maybe <::> (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

type Substance ('Right ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Right ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = Roses

type Substance ('Left ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Left ('Forest :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = Reverse Roses

type Substance ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Down ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = Roses

type Substance ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses)))))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Up ('Forest :: a -> Segment a) :: Vertical (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (Reverse Roses <:*:> (Roses <:*:> (List <::> Tape Roses))))) = List <::> Tape Roses

type Morphing ('Into List) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tape > Construction Maybe) = List

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe) = Maybe <::> Tape (Construction Maybe)

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe) = Maybe <::> (Tape > Construction Maybe)

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 Substance ('All ('Right :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('All ('Right :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t) = Tape t <::> t

type Substance ('All ('Left :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('All ('Left :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t) = Tape t <::> Reverse t

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List = Maybe <::> Tape List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List)

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)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe) = Tape List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) = Construction Maybe

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type) = (source -> target) -> (source -> target -> source) -> Lens Exactly source target

type Getting (Lens Exactly) source target

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Getting (Lens Exactly) source target = Lens Exactly source target -> source -> target

type Sliding ('Right :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Sliding ('Right :: a -> Horizontal a) (Tape structure) = Topping structure

type Sliding ('Left :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Sliding ('Left :: a -> Horizontal a) (Tape structure) = Topping structure

type Substance ('Rest :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Rest :: a -> Segment a) (Exactly <:*:> t) = t

type Substance ('Root :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Root :: a -> Segment a) (Exactly <:*:> t) = Exactly

type Substance ('Down :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('Down :: a -> Vertical a) (Tape t <::> Tape t) = Reverse t <::> Tape t

type Substance ('Up :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('Up :: a -> Vertical a) (Tape t <::> Tape t) = t <::> Tape t