Pandora.Paradigm.Primary.Functor.Exactly

Documentation

newtype Exactly a

Constructors

Exactly a

Instances

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

Zoomable State Exactly

Defined in Pandora.Paradigm.Inventory

Methods

zoom :: forall bg ls (t :: Type -> Type). Adaptable t (->) (State bg) => Lens Exactly bg ls -> State (Simplification Exactly ls) ~> t

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.Ability.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

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)

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

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.Ability.Zipper

Methods

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

Monoidal (-->) (-->) (:*:) (:*:) u => Adaptable (u :: Type -> Type) ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: forall (a :: k). Exactly a -> u a

Impliable (Tape t a :: Type)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

Methods

imply :: Arguments (Tape t a)

Morphable ('Into (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 (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))

Morphable ('Into (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 (Tape (Construction Maybe))) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

Morphable ('Into (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 (Tape List)) (Tape (Construction Maybe))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

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

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

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate 'Up) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Right)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Right)) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Left)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

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

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

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

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

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

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

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

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

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

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

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

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

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

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Right (Tape t) :: Type -> Type

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

Methods

substructure :: ((Tagged 'Right <:.> Tape t) #=@ Substance 'Right (Tape t)) := Available 'Right (Tape t)

sub :: (Tape t #=@ Substance 'Right (Tape t)) := Available 'Right (Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Left (Tape t) :: Type -> Type

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

Methods

substructure :: ((Tagged 'Left <:.> Tape t) #=@ Substance 'Left (Tape t)) := Available 'Left (Tape t)

sub :: (Tape t #=@ Substance 'Left (Tape t)) := Available 'Left (Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

type Available 'Root (Tape t) :: Type -> Type

type Substance 'Root (Tape t) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Tape t) #=@ Substance 'Root (Tape t)) := Available 'Root (Tape t)

sub :: (Tape t #=@ Substance 'Root (Tape t)) := Available 'Root (Tape t)

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

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

Methods

substructure :: ((Tagged 'Right <:.> (Tape t <::> Tape t)) #=@ Substance 'Right (Tape t <::> Tape t)) := Available 'Right (Tape t <::> Tape t)

sub :: ((Tape t <::> Tape t) #=@ Substance 'Right (Tape t <::> Tape t)) := Available 'Right (Tape t <::> Tape t)

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

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

Methods

substructure :: ((Tagged 'Left <:.> (Tape t <::> Tape t)) #=@ Substance 'Left (Tape t <::> Tape t)) := Available 'Left (Tape t <::> Tape t)

sub :: ((Tape t <::> Tape t) #=@ Substance 'Left (Tape t <::> Tape t)) := Available 'Left (Tape t <::> Tape t)

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

Associated Types

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

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

Methods

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

sub :: ((Tape t <::> Tape t) #=@ Substance 'Down (Tape t <::> Tape t)) := Available '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.Ability.Zipper

Associated Types

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

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

Methods

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

sub :: ((Tape t <::> Tape t) #=@ Substance 'Up (Tape t <::> Tape t)) := Available '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 (->) (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)

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

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

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

(<<--------) :: (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 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 Arguments (Tape t a :: Type)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

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

type Morphing ('Into (Tape List)) List

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

type Morphing ('Into (Comprehension Maybe)) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

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

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

Defined in Pandora.Paradigm.Structure.Some.Stream

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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 Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) = Maybe <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) = Maybe <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) = Maybe <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

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 Available ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Right :: a -> Wye a) (Tape t) = Exactly

type Available ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Left :: a -> Wye a) (Tape t) = Exactly

type Available ('Root :: a -> Segment a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Root :: a -> Segment a) (Tape t) = Exactly

type Substance ('Right :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Right :: a -> Wye a) (Tape t) = t

type Substance ('Left :: a -> Wye a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Left :: a -> Wye a) (Tape t) = Reverse t

type Substance ('Root :: a -> Segment a) (Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

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

type Available ('Right :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Right :: a -> Wye a) (Tape t <::> Tape t) = Exactly

type Available ('Left :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Left :: a -> Wye a) (Tape t <::> Tape t) = Exactly

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Available ('Down :: a -> Vertical a) (Tape t <::> Tape t) = Exactly

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

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

type Substance ('Right :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Right :: a -> Wye a) (Tape t <::> Tape t) = Tape t <::> t

type Substance ('Left :: a -> Wye a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Ability.Zipper

type Substance ('Left :: a -> Wye a) (Tape t <::> Tape t) = Tape t <::> Reverse t

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

Defined in Pandora.Paradigm.Structure.Ability.Zipper

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.Ability.Zipper

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

type family Simplification (t :: * -> *) (a :: *) where ...

Equations

Simplification Exactly a = a

Simplification t a = t a